Pages that link to "Item:Q5946048"

The following pages link to The strength of Mac Lane set theory (Q5946048):

Displaying 30 items.

• Relating first-order set theories, toposes and categories of classes (Q386623) (← links)
• Relativized ordinal analysis: the case of power Kripke-Platek set theory (Q392292) (← links)
• A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP (Q476116) (← links)
• Largest initial segments pointwise fixed by automorphisms of models of set theory (Q684228) (← links)
• The usual model construction for NFU preserves information (Q691132) (← links)
• Rank-initial embeddings of non-standard models of set theory (Q781504) (← links)
• Unordered pairs in the set theory of Bourbaki 1949 (Q849219) (← links)
• A note on the schemes of replacement and collection (Q866884) (← links)
• The seven virtues of simple type theory (Q946569) (← links)
• Comparing material and structural set theories (Q1715477) (← links)
• The scope of Feferman's semi-intuitionistic set theories and his second conjecture (Q1740613) (← links)
• Automorphisms of models of set theory and extensions of NFU (Q2255737) (← links)
• Rudimentary recursion, gentle functions and provident sets (Q2345391) (← links)
• End extending models of set theory via power admissible covers (Q2672157) (← links)
• Mathias and set theory (Q2813682) (← links)
• The Operational Perspective: Three Routes (Q3305557) (← links)
• From Mathesis Universalis to Fixed Points and Related Set-Theoretic Concepts (Q3305630) (← links)
• Relating First-Order Set Theories and Elementary Toposes (Q3533518) (← links)
• ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS (Q4579812) (← links)
• Non-well-foundedness of well-orderable power sets (Q4650262) (← links)
• Forcing in Proof Theory (Q4678943) (← links)
• INITIAL SELF-EMBEDDINGS OF MODELS OF SET THEORY (Q5021929) (← links)
• THE LARGE STRUCTURES OF GROTHENDIECK FOUNDED ON FINITE-ORDER ARITHMETIC (Q5107535) (← links)
• On the strength of a weak variant of the axiom of counting (Q5108092) (← links)
• On the relative strengths of fragments of collection (Q5108847) (← links)
• Feferman’s Forays into the Foundations of Category Theory (Q5214790) (← links)
• Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions (Q5253934) (← links)
• Set-theoretic foundations (Q5351860) (← links)
• Constructing the constructible universe constructively (Q6145038) (← links)
• Independence results for finite set theories in well-founded locally finite graphs (Q6636382) (← links)