Publication:4882388
From MaRDI portal
zbMath0905.03025MaRDI QIDQ4882388
Roman Kossak, Henryk Kotlarski
Publication date: 4 August 1996
Full work available at URL: https://eudml.org/doc/212122
models of arithmetic; end extensions; recursively saturated models of Peano arithmetic; cofinal extensions; automorphism extension property
03C62: Models of arithmetic and set theory
03C50: Models with special properties (saturated, rigid, etc.)
03C57: Computable structure theory, computable model theory
Related Items
Elementary cuts in saturated models of Peano arithmetic, On cofinal submodels and elementary interstices, Automorphisms of countable recursively saturated models of PA: A survey