scientific article; zbMATH DE number 3425598

zbMATH Open0271.02036MaRDI QIDQ3215216FDOQ3215216

Authors: Harvey M. Friedman 

Publication date: 1973

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

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

Cited In (32)

• Relativized ordinal analysis: the case of power Kripke-Platek set theory
• From the weak to the strong existence property
• The self-embedding theorem of \(\text{WKL}_ 0\) and a non-standard method
• The strength of Mac Lane set theory
• Countably decomposable admissible sets
• Largest initial segments pointwise fixed by automorphisms of models of set theory
• Model theory via set theory
• On the relative strengths of fragments of collection
• Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)
• 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
• Ordinal analysis of intuitionistic power and exponentiation Kripke Platek set theory
• Structures interpretable in models of bounded arithmetic
• 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
• Self-embeddings of models of arithmetic; fixed points, small submodels, and extendability
• Model theory for \(L_{\infty \omega _ 1}\)
• 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
• Topics in invariant descriptive set theory
• Fixed points of self-embeddings of models of arithmetic
• Embeddings into outer models
• Tanaka's theorem revisited
• Condensable models of set theory
• Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions

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)