Abstract
AbstractWe characterize the 3-stratiflable theorems of NF as a 3-stratifiable extension of NF3: and show that NF is equiconsistent with TT plus raising type axioms for sentences asserting the existence of some predicate over an atomic Boolean algebra.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have