A note on a theorem of Kanovei

DOI10.1007/s00153-004-0218-2zbMath1063.03022OpenAlexW1980979166MaRDI QIDQ701750

Roman Kossak

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

zbMATH Keywords

models of Peano arithmeticend extensionsfragments of arithmeticstandard systems

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62) Nonstandard arithmetic (number-theoretic aspects) (11U10) Nonstandard arithmetic and field theory (12L15)

Related Items (2)

Subsets coded in elementary end extensions ⋮ On cofinal submodels and elementary interstices

This page was built for publication: A note on a theorem of Kanovei