Models of the alternative set theory

DOI10.2307/2274190MaRDI QIDQ3689181zbMATH OpenOpenAlexFDO

Authors Pavel Pudlák, Antonín Sochor

Publication date 1984

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2274190

zbMATH Keywords

Peano arithmeticrecursive saturationmodels of PAthird order arithmeticresplendencyalternative set theoryrecursively saturated models of arithmetic

Mathematics Subject Classification ID

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

Recommendations

• On expandability of models of Peano arithmetic to models of the alternative set theory
• scientific article; zbMATH DE number 21381
• scientific article; zbMATH DE number 4023270
• Omega‐ and Beta‐Models of Alternative Set Theory
• Nonstandard characterizations of recursive saturation and resplendency

Cites work

• An introduction to recursively saturated and resplendent models
• Recursively saturated nonstandard models of arithmetic

Cited in

(9)

• Omega‐ and Beta‐Models of Alternative Set Theory
• Elementary Extensions of Models of the Alternative Set Theory
• scientific article; zbMATH DE number 4023270 (Why is no real title available?)
• scientific article; zbMATH DE number 3893190 (Why is no real title available?)
• On expandability of models of Peano arithmetic to models of the alternative set theory
• scientific article; zbMATH DE number 3933064 (Why is no real title available?)
• scientific article; zbMATH DE number 3999917 (Why is no real title available?)
• The intuitionistic alternative set theory
• Resplendent models and \({\Sigma_1^1}\)-definability with an oracle

This page was built for publication: 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 Q3689181)