Automorphisms of countable recursively saturated models of PA: A survey
type: Item
instance of: scholarly article
title: Automorphisms of countable recursively saturated models of PA: A survey
zbMATH Open document ID: 0848.03015
author: Henryk Kotlarski
published in: Notre Dame Journal of Formal Logic
publication date: 1996-05-22T00:00:00Z
review text: This is an extensive survey of results concerning the automorphisms and automorphism groups of countable recursively saturated models of Peano Arithmetic. The author gives the historical background, and then concentrates on the recent work of Bamber, Kaye, Kossak, Lascar, Piekart, Schmerl, and himself. The main results of 17 papers published in the years 1984-96 are discussed, as well as the content of some forthcoming papers. A list of open problems is included.
Mathematics Subject Classification ID: 03C62
Mathematics Subject Classification ID: 03-02
Mathematics Subject Classification ID: 03C50
zbMATH DE Number: 881253
zbMATH Keywords: recursive saturation
zbMATH Keywords: survey
zbMATH Keywords: automorphism groups
zbMATH Keywords: countable recursively saturated models of Peano Arithmetic
zbMATH Keywords: open problems
reviewed by: Roman Kossak
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1305/ndjfl/1040136912
OpenAlex ID: W1974949696
cites work: Models Without Indiscernibles
cites work: Q4110995
cites work: Models of axiomatic theories admitting automorphisms
cites work: Models and types of Peano's arithmetic
cites work: Q3346292
cites work: The Small Index Property for ω‐Stable ω‐Categorical Structures and for the Random Graph
cites work: Q4001935
cites work: The Automorphism Group of a Countable Recursively Saturated Structure
cites work: Q4309365
cites work: Automorphisms of recursively saturated models of arithmetic
cites work: Q4138726
cites work: Q4004805
cites work: On two questions concerning the automorphism groups of countable recursively saturated models of PA
cites work: Results on automorphisms of recursively saturated models of PA
cites work: Q4882388
cites work: On maximal subgroups of the automorphism group of a countable recursively saturated model of PA
cites work: Minimal satisfaction classes with an application to rigid models of Peano arithmetic
cites work: The Automorphism Group of an Arithmetically Saturated Model of Peano Arithmetic
cites work: On elementary cuts in recursively saturated models of Peano Arithmetic
cites work: Automorphisms of models of true arithmetic: Recognizing some basic open subgroups
cites work: Automorphisms of Models of True Arithmetic: Subgroups which Extend to a Maximal Subgroup Uniquely
cites work: Automorphisms of Countable Recursively Saturated Models of PA: Open Subgroups and Invariant Cuts
cites work: Infinitary logic: In memoriam Carol Karp. A collection of papers by various authors
cites work: Q4309364
cites work: GROUPS OF AUTOMORPHISMS OF N0-CATEGORICAL STRUCTURES
cites work: On closed elementary cuts in recursively saturated models of Peano arithmetic
cites work: Models with compactness properties relative to an admissible language
cites work: Toward model theory through recursive saturation
cites work: Recursively saturated models generated by indiscernibles
cites work: Recursively saturated nonstandard models of arithmetic
cites work: Q3968927
cites work: Infinite permutation groups. II: Subgroups of small index
DOI: 10.1305/NDJFL/1040136912
Recommended article: Automorphisms of countable short recursively saturated models of PA
Recommended article: Results on automorphisms of recursively saturated models of PA
Recommended article: Q4656807
Recommended article: On two questions concerning the automorphism groups of countable recursively saturated models of PA
Recommended article: Automorphisms of Countable Recursively Saturated Models of PA: Open Subgroups and Invariant Cuts
Recommended article: On maximal subgroups of the automorphism group of a countable recursively saturated model of PA
Recommended article: Automorphisms of recursively saturated models of arithmetic
Recommended article: Automorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed Point Sets
Recommended article: Automorphisms of saturated and boundedly saturated models of arithmetic
Recommended article: Automorphism groups of countable arithmetically saturated models of Peano arithmetic
description: scientific article; zbMATH DE number 881253