×

\(\omega\)-models of second order arithmetic and admissible sets. (English) Zbl 0385.03030


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
Full Text: DOI EuDML