scientific article

zbMath0271.02036MaRDI QIDQ3215216

Harvey M. Friedman

Publication date: 1973

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Model theory (03C99) Axiomatics of classical set theory and its fragments (03E30)

Related Items (31)

Complexity of conjugacy classes of \(A(\mathbb Q)\) ⋮ Outer models and genericity ⋮ EMBEDDINGS INTO OUTER MODELS ⋮ Condensable models of set theory ⋮ The countable admissible ordinal equivalence relation ⋮ Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) ⋮ End extending models of set theory via power admissible covers ⋮ Relativized ordinal analysis: the case of power Kripke-Platek set theory ⋮ Incomparable ω₁‐like models of set theory ⋮ Indivisible sets and well‐founded orientations of the Rado graph ⋮ On the relative strengths of fragments of collection ⋮ Tanaka's theorem revisited ⋮ Fixed points of self-embeddings of models of arithmetic ⋮ From the weak to the strong existence property ⋮ Adding propositional connectives to countable infinitary logic ⋮ Ordinal Analysis of Intuitionistic Power and Exponentiation Kripke Platek Set Theory ⋮ The scope of Feferman's semi-intuitionistic set theories and his second conjecture ⋮ The self-embedding theorem of \(\text{WKL}_ 0\) and a non-standard method ⋮ Largest initial segments pointwise fixed by automorphisms of models of set theory ⋮ Automorphisms of models of set theory and extensions of NFU ⋮ The strength of Mac Lane set theory ⋮ Topics in invariant descriptive set theory ⋮ Model theory via set theory ⋮ On Some Semi-constructive Theories Related to Kripke–Platek Set Theory ⋮ Countably decomposable admissible sets ⋮ Model theory for \(L_{\infty \omega _ 1}\) ⋮ Structures interpretable in models of bounded arithmetic ⋮ Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions ⋮ INITIAL SELF-EMBEDDINGS OF MODELS OF SET THEORY ⋮ HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC ⋮ THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC

This page was built for publication: