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 (2)

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

This page was built for publication: Extending standard models of ZFC to models of nonstandard set theories