Models of the alternative set theory

DOI10.2307/2274190zbMath0572.03032OpenAlexW2070993195MaRDI QIDQ3689181

Pavel Pudlák, A. 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) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62)

Cites Work

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

This page was built for publication: Models of the alternative set theory