Closed normal subgroups of the automorphism group of a saturated model of peano arithmetic

Ermek S. Nurkhaidarov; Erez Shochat

doi:10.1215/00294527-3339587

Closed normal subgroups of the automorphism group of a saturated model of peano arithmetic

Ermek S. Nurkhaidarov, Erez Shochat

Penn State Mont Alto

Research output: Contribution to journal › Article › peer-review

Abstract

In this paper we discuss automorphism groups of saturated models and boundedly saturated models of PA. We show that there are saturated models of PA of the same cardinality with nonisomorphic automorphism groups. We then show that every saturated model of PA has short saturated elementary cuts with nonisomorphic automorphism groups.

Original language	English (US)
Pages (from-to)	127-139
Number of pages	13
Journal	Notre Dame Journal of Formal Logic
Volume	57
Issue number	1
DOIs	https://doi.org/10.1215/00294527-3339587
State	Published - 2016

All Science Journal Classification (ASJC) codes

Logic

Access to Document

10.1215/00294527-3339587

Cite this

@article{e6402cd9bf4a4c20981f90423be3de86,

title = "Closed normal subgroups of the automorphism group of a saturated model of peano arithmetic",

abstract = "In this paper we discuss automorphism groups of saturated models and boundedly saturated models of PA. We show that there are saturated models of PA of the same cardinality with nonisomorphic automorphism groups. We then show that every saturated model of PA has short saturated elementary cuts with nonisomorphic automorphism groups.",

author = "Nurkhaidarov, {Ermek S.} and Erez Shochat",

note = "Publisher Copyright: {\textcopyright} 2016 by University of Notre Dame.",

year = "2016",

doi = "10.1215/00294527-3339587",

language = "English (US)",

volume = "57",

pages = "127--139",

journal = "Notre Dame Journal of Formal Logic",

issn = "0029-4527",

publisher = "Duke University Press",

number = "1",

}

TY - JOUR

T1 - Closed normal subgroups of the automorphism group of a saturated model of peano arithmetic

AU - Nurkhaidarov, Ermek S.

AU - Shochat, Erez

PY - 2016

Y1 - 2016

N2 - In this paper we discuss automorphism groups of saturated models and boundedly saturated models of PA. We show that there are saturated models of PA of the same cardinality with nonisomorphic automorphism groups. We then show that every saturated model of PA has short saturated elementary cuts with nonisomorphic automorphism groups.

AB - In this paper we discuss automorphism groups of saturated models and boundedly saturated models of PA. We show that there are saturated models of PA of the same cardinality with nonisomorphic automorphism groups. We then show that every saturated model of PA has short saturated elementary cuts with nonisomorphic automorphism groups.

UR - http://www.scopus.com/inward/record.url?scp=84954201784&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84954201784&partnerID=8YFLogxK

U2 - 10.1215/00294527-3339587

DO - 10.1215/00294527-3339587

M3 - Article

AN - SCOPUS:84954201784

SN - 0029-4527

VL - 57

SP - 127

EP - 139

JO - Notre Dame Journal of Formal Logic

JF - Notre Dame Journal of Formal Logic

IS - 1

ER -

Closed normal subgroups of the automorphism group of a saturated model of peano arithmetic

Abstract

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this