Toward model theory through recursive saturation

DOI10.2307/2272817zbMATH Open0409.03019OpenAlexW1992704116MaRDI QIDQ4196409FDOQ4196409

John S. Schlipf

Publication date: 1978

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2272817

zbMATH Keywords

Interpolation TheoremsCountable ModelsInfinitary LanguagesDefinability TheoremsRecursively Saturated ModelsResplendent Models

Mathematics Subject Classification ID

Models with special properties (saturated, rigid, etc.) (03C50) Model theory of denumerable and separable structures (03C15) Computability and recursion theory (03D99) Logic on admissible sets (03C70)

Cited In (17)

• Largest initial segments pointwise fixed by automorphisms of models of set theory
• BI-INTERPRETATION IN WEAK SET THEORIES
• Local collection and end-extensions of models of compositional truth
• A note on the variety of satisfaction classes
• Full satisfaction classes, definability, and automorphisms
• Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories
• Automorphisms of countable recursively saturated models of PA: A survey
• Recursively Saturated Models of Set Theory
• Rank-initial embeddings of non-standard models of set theory
• Automorphisms of models of arithmetic: a unified view
• Model theory of the regularity and reflection schemes
• Automorphisms of recursively saturated models of arithmetic
• Generalizing classical and effective model theory in theories of operations and classes
• Definable sets and expansions of models of Peano arithmetic
• Barwise: Infinitary Logic and Admissible Sets
• Minimal elementary extensions of models of set theory and arithmetic
• Condensable models of set theory

This page was built for publication: Toward model theory through recursive saturation

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