Set theoretical analogues of the Barwise-Schlipf theorem

DOI10.1016/j.apal.2022.103158arXiv2001.09243WikidataQ113880322 ScholiaQ113880322MaRDI QIDQ6333467

Ali Enayat

Publication date: 24 January 2020

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30) Models of arithmetic and set theory (03C62) Logic on admissible sets (03C70) Nonstandard models (03H99)

This page was built for publication: Set theoretical analogues of the Barwise-Schlipf theorem