ω-models of second order arithmetic and admissible sets

DOI10.4064/fm-98-2-103-120zbMath0385.03030OpenAlexW994150130MaRDI QIDQ4165364

Victor W. Marek

Publication date: 1978

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/215096

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Nonstandard models of arithmetic (03H15) Second- and higher-order arithmetic and fragments (03F35) Second- and higher-order model theory (03C85) Logic on admissible sets (03C70)

Related Items (1)

On expandability of models of Peano arithmetic. II

This page was built for publication: ω-models of second order arithmetic and admissible sets