Marek, W. \(\omega\)-models of second order arithmetic and admissible sets. (English) Zbl 0385.03030 Fundam. Math. 98, 103-120 (1978). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 Document MSC: 03C85 Second- and higher-order model theory 03C70 Logic on admissible sets 03E70 Nonclassical and second-order set theories 03H15 Nonstandard models of arithmetic 03F35 Second- and higher-order arithmetic and fragments PDFBibTeX XMLCite \textit{W. Marek}, Fundam. Math. 98, 103--120 (1978; Zbl 0385.03030) Full Text: DOI EuDML