A note on a theorem of Kanovei
From MaRDI portal
Publication:701750
DOI10.1007/s00153-004-0218-2zbMath1063.03022MaRDI QIDQ701750
Publication date: 16 December 2004
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-004-0218-2
03F30: First-order arithmetic and fragments
03H15: Nonstandard models of arithmetic
03C62: Models of arithmetic and set theory
11U10: Nonstandard arithmetic (number-theoretic aspects)
12L15: Nonstandard arithmetic and field theory
Related Items