Results on automorphisms of recursively saturated models of PA
From MaRDI portal
Publication:3812219
DOI10.4064/fm-129-1-9-15zbMath0662.03027OpenAlexW943283237MaRDI QIDQ3812219
Henryk Kotlarski, Roman Kossak
Publication date: 1988
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/211667
Models of arithmetic and set theory (03C62) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Related Items
Automorphisms of models of arithmetic: a unified view, Automorphisms of countable recursively saturated models of PA: A survey, Four problems concerning recursively saturated models of arithmetic, Automorphisms of recursively saturated models of arithmetic, A Galois correspondence for countable short recursively saturated models of PA, Rank-initial embeddings of non-standard models of set theory