Elementary Extensions of Models of the Alternative Set Theory

DOI10.1002/MALQ.19850311905MaRDI QIDQ3699685zbMATH OpenOpenAlexFDO

Authors Pavel Pudlák, Antonín 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

omitting typesend extensioncountable modelsexternal setsmodels of ASTprolongation axiomscheme of choice

Mathematics Subject Classification ID

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

Recommendations

• On cofinal extensions of models of arithmetic
• Beyond first order logic: from number of structures to structure of numbers. II
• Minimal elementary extensions of models of set theory and arithmetic
• Conservative extensions of models of set theory and generalizations
• Extendible Sets in Peano Arithmetic
• scientific article; zbMATH DE number 3882429
• Models of the alternative set theory
• End-extending models of $IΔ_0 + exp + ΒΣ_1$
• scientific article; zbMATH DE number 3557789
• scientific article; zbMATH DE number 1069962

Cited in

(10)

• Elementary stochastic calculus for finance with infinitesimals
• scientific article; zbMATH DE number 3887675 (Why is no real title available?)
• Omega‐ and Beta‐Models of Alternative Set Theory
• Chains of end elementary extensions of models of set theory
• scientific article; zbMATH DE number 4023270 (Why is no real title available?)
• Blunt and topless end extensions of models of set theory
• Elementary epimorphisms between models of set theory
• scientific article; zbMATH DE number 3999917 (Why is no real title available?)
• Extending standard models of ZFC to models of nonstandard set theories
• Minimal elementary extensions of models of set theory and arithmetic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3699685)