Models of the alternative set theory

DOI10.2307/2274190zbMATH Open0572.03032OpenAlexW2070993195MaRDI QIDQ3689181FDOQ3689181

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

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

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)

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
• Title not available (Why is that?)
• Title not available (Why is that?)
• On expandability of models of Peano arithmetic to models of the alternative set theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)