scientific article; zbMATH DE number 889876

zbMath0905.03025MaRDI QIDQ4882388

Roman Kossak, Henryk Kotlarski

Publication date: 4 August 1996

Full work available at URL: https://eudml.org/doc/212122

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

models of arithmeticend extensionsrecursively saturated models of Peano arithmeticcofinal extensionsautomorphism extension property

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Models with special properties (saturated, rigid, etc.) (03C50) Computable structure theory, computable model theory (03C57)

Related Items (3)

Automorphisms of countable recursively saturated models of PA: A survey ⋮ Elementary cuts in saturated models of Peano arithmetic ⋮ On cofinal submodels and elementary interstices

This page was built for publication: