Pages that link to "Item:Q2540888"
From MaRDI portal
The following pages link to Axiom schemata of strong infinity in axiomatic set theory (Q2540888):
Displaying 32 items.
- The iterative conception of set. A (bi-)modal axiomatisation (Q380997) (← links)
- Transfinite recursion and computation in the iterative conception of set (Q510712) (← links)
- Principles of reflection and second-order logic (Q1097275) (← links)
- On the formal definition of categories (Q1130907) (← links)
- Toward a modal-structural interpretation of set theory (Q1202500) (← links)
- On some new metamathematical results concerning set theory (Q1215607) (← links)
- Measurable cardinals and the continuum hypothesis (Q1846869) (← links)
- The metatheory of sets (Q2366366) (← links)
- Tarski's staggering existential assumptions (Q2386112) (← links)
- Levy and set theory (Q2493914) (← links)
- Proper classes as members of extended sets (Q2532386) (← links)
- A generalization of Mahlo's method for obtaining large cardinal numbers (Q2543186) (← links)
- TRANSFINITE CARDINALS IN PARACONSISTENT SET THEORY (Q2890698) (← links)
- Constructive Versions of Ordinal Number Classes (Q3281066) (← links)
- FREGE MEETS ZERMELO: A PERSPECTIVE ON INEFFABILITY AND REFLECTION (Q3580672) (← links)
- Bernays and Set Theory (Q3616429) (← links)
- A Proof of Projective Determinacy (Q3820593) (← links)
- Expansions of models of ZFC (Q3941396) (← links)
- Generalized Quantifiers and Compact Logic (Q4083390) (← links)
- Internal set theory: A new approach to nonstandard analysis (Q4149449) (← links)
- Remarks on Levy's reflection axiom (Q4304801) (← links)
- On power-like models for hyperinaccessible cardinals (Q4405155) (← links)
- The Mathematical Development of Set Theory from Cantor to Cohen (Q4879892) (← links)
- THE POTENTIAL HIERARCHY OF SETS (Q4928771) (← links)
- On models with power-like orderings (Q5181681) (← links)
- Gödel and Set Theory (Q5421029) (← links)
- Transcendence of cardinals (Q5586263) (← links)
- A Partition Property Characterizing Cardinals Hyperinaccessible of Finite Type (Q5666553) (← links)
- Forcing for the impredicative theory of classes (Q5668478) (← links)
- Gödel's Program Revisited Part I: The Turn to Phenomenology (Q5754717) (← links)
- LARGE CARDINALS AS PRINCIPLES OF STRUCTURAL REFLECTION (Q5884254) (← links)
- Substitutional validity for modal logic (Q6187414) (← links)
