Elementary Extensions of Models of the Alternative Set Theory

DOI10.1002/MALQ.19850311905zbMath0578.03028OpenAlexW2054969200MaRDI QIDQ3699685

Pavel Pudlák, A. Sochor

Publication date: 1985

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19850311905

zbMATH Keywords

end extensioncountable modelsomitting typesexternal setsmodels of ASTprolongation axiomscheme of choice

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Nonstandard models of arithmetic (03H15)

Related Items (1)

Elementary stochastic calculus for finance with infinitesimals

This page was built for publication: Elementary Extensions of Models of the Alternative Set Theory