On expandability of models of Peano arithmetic to models of the alternative set theory
From MaRDI portal
Publication:4032630
DOI10.2307/2275280zbMath0772.03023OpenAlexW2113557004MaRDI QIDQ4032630
Publication date: 1 April 1993
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275280
Nonclassical and second-order set theories (03E70) Models of arithmetic and set theory (03C62) Model-theoretic forcing (03C25)
Cites Work
This page was built for publication: On expandability of models of Peano arithmetic to models of the alternative set theory