A guide to the identification of admissible sets above structures

DOI10.1016/0003-4843(77)90013-4zbMath0374.02031OpenAlexW2042173679MaRDI QIDQ4152535

John S. Schlipf

Publication date: 1977

Published in: Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0003-4843(77)90013-4

Mathematics Subject Classification ID

Model theory (03C99) Nonclassical and second-order set theories (03E70) Set theory (03E99) Other classical first-order model theory (03C68)

Related Items

Recursively saturated nonstandard models of arithmetic ⋮ Condensable models of set theory ⋮ Expansions of models of ω-stable theories ⋮ Applications of Fodor's lemma to Vaught's conjecture ⋮ Recursively Saturated Models of Set Theory ⋮ Meeting of the Association for Symbolic Logic, Marseilles, 1981 (the Herbrand Symposium) ⋮ Barwise: Infinitary Logic and Admissible Sets ⋮ Degrees of Recursively Saturated Models ⋮ Set theory with a filter quantifier ⋮ Resplendency and recursive definability in \(\omega\)-stable theories