More on extending automorphisms of models of Peano Arithmetic
From MaRDI portal
Publication:3507862
DOI10.4064/fm200-2-2zbMath1149.03025MaRDI QIDQ3507862
Roman Kossak, Henryk Kotlarski
Publication date: 23 June 2008
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/212122
03F30: First-order arithmetic and fragments
03H15: Nonstandard models of arithmetic
03C62: Models of arithmetic and set theory
Related Items