Omega‐ and Beta‐Models of Alternative Set Theory
From MaRDI portal
Publication:4315329
DOI10.1002/malq.19940400411zbMath0813.03035OpenAlexW2077770407MaRDI QIDQ4315329
Publication date: 8 December 1994
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19940400411
generic extensionssecond-order arithmeticbeta-modelalternative set theoryBoolean-valued extensionsmodels of ASThard-coresomega-modelramified analytical hierarchyregular orderings of models of PA
Nonclassical and second-order set theories (03E70) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62) Second- and higher-order arithmetic and fragments (03F35)