Elementary Extensions of Models of the Alternative Set Theory

DOI10.1002/MALQ.19850311905zbMATH Open0578.03028OpenAlexW2054969200MaRDI QIDQ3699685FDOQ3699685

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

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

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)

Cited In (10)

• Elementary stochastic calculus for finance with infinitesimals
• Title not available (Why is that?)
• Omega‐ and Beta‐Models of Alternative Set Theory
• Chains of end elementary extensions of models of set theory
• Title not available (Why is that?)
• Blunt and topless end extensions of models of set theory
• Title not available (Why is that?)
• Elementary epimorphisms between models of set theory
• 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)