scientific article; zbMATH DE number 3534482
From MaRDI portal
Publication:4110995
zbMath0343.02031MaRDI QIDQ4110995
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Model-theoretic algebra (03C60) Consistency and independence results (03E35) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Nonstandard models (03H99)
Related Items
Definable sets and expansions of models of Peano arithmetic ⋮ Term extraction and Ramsey's theorem for pairs ⋮ Set theoretical analogues of the Barwise-Schlipf theorem ⋮ Automorphisms of models of arithmetic: a unified view ⋮ Automorphisms of countable recursively saturated models of PA: A survey ⋮ Recursively Saturated Models of Set Theory ⋮ Characterizations of ordinal analysis ⋮ Comparing Peano arithmetic, Basic Law V, and Hume's Principle ⋮ The Barwise-Schlipf theorem ⋮ On Relating Theories: Proof-Theoretical Reduction ⋮ On expandability of models of Peano arithmetic. I ⋮ On expandability of models of Peano arithmetic. II ⋮ Saturation and simple extensions of models of Peano arithmetic ⋮ A Generalized Kleene-Moschovakis Theorem ⋮ Having a Look Again at Some Theories ofProof-Theoretic Strengths around $$ \varGamma_{0} $$ ⋮ On the consistency of the \(\Delta_1^1\)-CA fragment of Frege's Grundgesetze ⋮ Saturated models of universal theories ⋮ A Rather Classless Model