Minimal axiomatic frameworks for definable hyperreals with transfer

Frederik S. Herzberg; Vladimir Kanovei; Mikhail Katz; Vassily Lyubetsky

doi:10.1017/jsl.2017.48

Minimal axiomatic frameworks for definable hyperreals with transfer

Frederik S. Herzberg, Vladimir Kanovei, Mikhail Katz, Vassily Lyubetsky

Department of Mathematics

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

5 Scopus citations

Abstract

We modify the definable ultrapower construction of Kanovei and Shelah (2004) to develop a ZF-definable extension of the continuum with transfer provable using countable choice only, with an additional mild hypothesis on well-ordering implying properness. Under the same assumptions, we also prove the existence of a definable, proper elementary extension of the standard superstructure over the reals.

Original language	English
Pages (from-to)	385-391
Number of pages	7
Journal	Journal of Symbolic Logic
Volume	83
Issue number	1
DOIs	https://doi.org/10.1017/jsl.2017.48
State	Published - 1 Mar 2018

Bibliographical note

Publisher Copyright:
© 2018 The Association for Symbolic Logic.

Keywords

definability
hyperreal
superstructure

Access to Document

10.1017/jsl.2017.48

Cite this

@article{3f8397b4f1144b03975001d6d154b534,

title = "Minimal axiomatic frameworks for definable hyperreals with transfer",

abstract = "We modify the definable ultrapower construction of Kanovei and Shelah (2004) to develop a ZF-definable extension of the continuum with transfer provable using countable choice only, with an additional mild hypothesis on well-ordering implying properness. Under the same assumptions, we also prove the existence of a definable, proper elementary extension of the standard superstructure over the reals.",

keywords = "definability, hyperreal, superstructure",

author = "Herzberg, {Frederik S.} and Vladimir Kanovei and Mikhail Katz and Vassily Lyubetsky",

note = "Publisher Copyright: {\textcopyright} 2018 The Association for Symbolic Logic.",

year = "2018",

month = mar,

day = "1",

doi = "10.1017/jsl.2017.48",

language = "אנגלית",

volume = "83",

pages = "385--391",

journal = "Journal of Symbolic Logic",

issn = "0022-4812",

publisher = "Cambridge University Press",

number = "1",

}

TY - JOUR

T1 - Minimal axiomatic frameworks for definable hyperreals with transfer

AU - Herzberg, Frederik S.

AU - Kanovei, Vladimir

AU - Katz, Mikhail

AU - Lyubetsky, Vassily

PY - 2018/3/1

Y1 - 2018/3/1

N2 - We modify the definable ultrapower construction of Kanovei and Shelah (2004) to develop a ZF-definable extension of the continuum with transfer provable using countable choice only, with an additional mild hypothesis on well-ordering implying properness. Under the same assumptions, we also prove the existence of a definable, proper elementary extension of the standard superstructure over the reals.

AB - We modify the definable ultrapower construction of Kanovei and Shelah (2004) to develop a ZF-definable extension of the continuum with transfer provable using countable choice only, with an additional mild hypothesis on well-ordering implying properness. Under the same assumptions, we also prove the existence of a definable, proper elementary extension of the standard superstructure over the reals.

KW - definability

KW - hyperreal

KW - superstructure

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

U2 - 10.1017/jsl.2017.48

DO - 10.1017/jsl.2017.48

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:85043588162

SN - 0022-4812

VL - 83

SP - 385

EP - 391

JO - Journal of Symbolic Logic

JF - Journal of Symbolic Logic

IS - 1

ER -

Minimal axiomatic frameworks for definable hyperreals with transfer

Abstract

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this