A guide to the identification of admissible sets above structures

DOI10.1016/0003-4843(77)90013-4zbMATH Open0374.02031OpenAlexW2042173679MaRDI QIDQ4152535FDOQ4152535

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 \(\omega\)-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)