A guide to the identification of admissible sets above structures

DOI10.1016/0003-4843(77)90013-4MaRDI QIDQ4152535zbMATH OpenOpenAlexFDO

Authors 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

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

Cited in

(10)

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

This page was built for publication: A guide to the identification of admissible sets above structures

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