Extending standard models of ZFC to models of nonstandard set theories

DOI10.1023/A:1005286212737zbMath0969.03072OpenAlexW1552286990MaRDI QIDQ1970591

Kanovei, Vladimir, Reeken, Michael

Publication date: 21 March 2000

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005286212737

zbMATH Keywords

nonstandard set theoryinternal set theorytransitive model

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Models of arithmetic and set theory (03C62) Nonstandard models in mathematics (03H05)

Related Items

Systemic yoyo structure in human thoughts and the fourth crisis in mathematics ⋮ Descriptive definitions of potential and actual infinities