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

Ermek S. Nurkhaidarov, Erez Shochat

Research output: Contribution to journalArticle

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 languageEnglish (US)
Pages (from-to)127-139
Number of pages13
JournalNotre Dame Journal of Formal Logic
Volume57
Issue number1
DOIs
StatePublished - Jan 1 2016

Fingerprint

Peano Arithmetic
Normal subgroup
Automorphism Group
Closed
Model
Cardinality

All Science Journal Classification (ASJC) codes

  • Logic

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",
year = "2016",
month = "1",
day = "1",
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",

}

Closed normal subgroups of the automorphism group of a saturated model of peano arithmetic. / Nurkhaidarov, Ermek S.; Shochat, Erez.

In: Notre Dame Journal of Formal Logic, Vol. 57, No. 1, 01.01.2016, p. 127-139.

Research output: Contribution to journalArticle

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/1/1

Y1 - 2016/1/1

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

VL - 57

SP - 127

EP - 139

JO - Notre Dame Journal of Formal Logic

JF - Notre Dame Journal of Formal Logic

SN - 0029-4527

IS - 1

ER -