On a problem of MacDowell and Specker
From MaRDI portal
Publication:3671948
DOI10.2307/2273426zbMath0522.03021OpenAlexW1988365622MaRDI QIDQ3671948
Publication date: 1980
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273426
Nonstandard models of arithmetic (03H15) Classification theory, stability, and related concepts in model theory (03C45)
Related Items (1)
Cites Work
This page was built for publication: On a problem of MacDowell and Specker