What people are saying - Write a review
We haven't found any reviews in the usual places.
The usual notion of constructibility
The constructive universe A
1 other sections not shown
4*-extendable abbreviation abstraction term Ackermann-like theories Ackermann's schema Ackermanns set theory Ad(i Ad(ii Ad(v Assume atomic formula axiom axiom of foundation axiom of separation classes constructed Clearly collection v0 conservative extension constructible levels constructible order constructible universe contradicts Lemma Corollary 3.11 Definition 3.1 DISSERTATIONES MATHEMATICAE e-formula P(v e-sentence easily proved easily seen elementary extension equiconsistent exists expressed follows from Lemma formula free variable Hence HODK holds inaccessible cardinal induction inner model K)-absolute Kand large cardinal Lemma 2.4(viii Lemma l.l(i Let P(v main result minimal model model of ZF natural number notion of constructibility Obvious ordinal definable class premisses proof of Lemma provable Q.E.D. Corollary Q.E.D. Finally Q.E.D. Lemma reflection principles Reinhardt's schema relativized satisfaction function set-reflected Sniadeckich Sp(a standard transitive model Suppose T-absolute T-extendable th level transitive closure universe of sets upward absolute v0eAa v0eV v0ew veAa