scientific article; zbMATH DE number 3425598

Cited in

(32)

Relativized ordinal analysis: the case of power Kripke-Platek set theory
Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions
From the weak to the strong existence property
The self-embedding theorem of \(\text{WKL}_ 0\) and a non-standard method
Countably decomposable admissible sets
Largest initial segments pointwise fixed by automorphisms of models of set theory
Model theory via set theory
The strength of Mac Lane set theory
Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)
On the relative strengths of fragments of collection
Complexity of conjugacy classes of \(A(\mathbb Q)\)
The scope of Feferman's semi-intuitionistic set theories and his second conjecture
Outer models and genericity
Structures interpretable in models of bounded arithmetic
Ordinal analysis of intuitionistic power and exponentiation Kripke Platek set theory
Hierarchical incompleteness results for arithmetically definable extensions of fragments of arithmetic
Automorphisms of models of set theory and extensions of NFU
Adding propositional connectives to countable infinitary logic
Indivisible sets and well-founded orientations of the Rado graph
Model theory for \(L_{\infty \omega _ 1}\)
Self-embeddings of models of arithmetic; fixed points, small submodels, and extendability
End extending models of set theory via power admissible covers
The countable admissible ordinal equivalence relation
INITIAL SELF-EMBEDDINGS OF MODELS OF SET THEORY
The prehistory of the subsystems of second-order arithmetic
On some semi-constructive theories related to Kripke-Platek set theory
Incomparable \(\omega_1\)-like models of set theory
Fixed points of self-embeddings of models of arithmetic
Tanaka's theorem revisited
Topics in invariant descriptive set theory
Condensable models of set theory
Embeddings into outer models

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3215216)