1 page matching minimal element in this book
Results 1-1 of 1
What people are saying - Write a review
We haven't found any reviews in the usual places.
Basic facts to be used in the sequel
8 other sections not shown
absolute with respect Assume axiomatization of ZF axioms Basis Theorem belongs to r.an class coding class parameter codable codes the formula codes wellorderings conjuction construction continuous functions Corollary KM denote diagram DISSERTATIONES MATHEMATICAE equivalent eSentZF exists formula of rank formula Sup formulas with set free variables Hence hereditary hereditary-!1 impredicative formulas induction initial segment inner model isomorphic K-model keco Lemma Let us define Let us note Let us suppose limit of wellorderings linear Marek mean a theory metalanguage metamathematics minimal element model for GB Moreover Mostowski operation ordinal number Peano Arithmetic predicative definable predicative formula Principle of Reflection r.a X r.aG ramified analysis recursive recursive set relativization represented in r.aD respect to r.aD Riemannian manifold RSat satisfying the formula schema selector Sels set of sentences set parameters set theory Sniadeckich theory KM universal formula Vaught Vx)(xeDom wellorderings coded xeDom ZFKM