The following pages link to (Q3215216):
Displaying 32 items.
- Relativized ordinal analysis: the case of power Kripke-Platek set theory (Q392292) (← links)
- From the weak to the strong existence property (Q448335) (← links)
- The self-embedding theorem of \(\text{WKL}_ 0\) and a non-standard method (Q676310) (← links)
- Largest initial segments pointwise fixed by automorphisms of models of set theory (Q684228) (← links)
- Countably decomposable admissible sets (Q762060) (← links)
- Model theory for \(L_{\infty \omega _ 1}\) (Q762061) (← links)
- Model theory via set theory (Q1244220) (← links)
- Fixed points of self-embeddings of models of arithmetic (Q1709680) (← links)
- The scope of Feferman's semi-intuitionistic set theories and his second conjecture (Q1740613) (← links)
- Complexity of conjugacy classes of \(A(\mathbb Q)\) (Q1873303) (← links)
- Condensable models of set theory (Q2144608) (← links)
- Tanaka's theorem revisited (Q2204369) (← links)
- Automorphisms of models of set theory and extensions of NFU (Q2255737) (← links)
- The countable admissible ordinal equivalence relation (Q2400501) (← links)
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
- Structures interpretable in models of bounded arithmetic (Q2570136) (← links)
- End extending models of set theory via power admissible covers (Q2672157) (← links)
- Outer models and genericity (Q3160547) (← links)
- Ordinal Analysis of Intuitionistic Power and Exponentiation Kripke Platek Set Theory (Q3305554) (← links)
- Adding propositional connectives to countable infinitary logic (Q4085693) (← links)
- INITIAL SELF-EMBEDDINGS OF MODELS OF SET THEORY (Q5021929) (← links)
- HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC (Q5024504) (← links)
- EMBEDDINGS INTO OUTER MODELS (Q5052000) (← links)
- Incomparable ω<sub>1</sub>‐like models of set theory (Q5108089) (← links)
- Indivisible sets and well‐founded orientations of the Rado graph (Q5108845) (← links)
- On the relative strengths of fragments of collection (Q5108847) (← links)
- On Some Semi-constructive Theories Related to Kripke–Platek Set Theory (Q5214791) (← links)
- Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions (Q5253934) (← links)
- THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC (Q5274882) (← links)
- The strength of Mac Lane set theory (Q5946048) (← links)
- Topics in invariant descriptive set theory (Q5946084) (← links)
- Self-embeddings of models of arithmetic; fixed points, small submodels, and extendability (Q6642874) (← links)
