The rise and fall of typed sentences
Marcel Crabbé · Journal of Symbolic Logic · 2000
Abstract We characterize the 3-stratiflable theorems ofNFas a 3-stratifiable extension ofNF3: and show thatNFis equiconsistent withTTplus raising type axioms for sentences asserting the existence of some predicate over an atomic Boolean algebra.