Stably Measurable Cardinals

P D Welch

doi:10.1017/jsl.2019.82

Stably Measurable Cardinals

P D Welch

Research output: Contribution to journal › Article (Academic Journal) › peer-review

2 Citations (Scopus)

55 Downloads (Pure)

Abstract

We define a weak iterability notion that is sufficient for a number of arguments concerning Σ_1-definability at uncountable regular cardinals. In particular we give its exact consistency strength firstly in terms of the second uniform indiscernible for bounded subsets of kappa : u_2(kappa ), and secondly to give the consistency strength of a property of Lücke’s.

Original language	English
Pages (from-to)	448-470
Number of pages	23
Journal	Journal of Symbolic Logic
Volume	86
Issue number	2
Early online date	15 Jun 2020
DOIs	https://doi.org/10.1017/jsl.2019.82
Publication status	Published - 1 Jun 2022

Bibliographical note

Publisher Copyright:
© The Association for Symbolic Logic 2020.

Keywords

inner model
large cardinals
reflection principle

Access to Document

10.1017/jsl.2019.82

Full-text PDF (accepted author manuscript)
This is the accepted author manuscript (AAM). The final published version (version of record) is available online via Cambridge University Press at https://www.cambridge.org/core/journals/journal-of-symbolic-logic/article/abs/stably-measurable-cardinals/F874CE2A1AEB3976CAB71E88C7927236. Please refer to any applicable terms of use of the publisher.
Accepted author manuscript, 359 KB

Handle.net

Persistent link

Cite this

@article{2ea36531e27c49d0beb7fd3247046d3b,

title = "Stably Measurable Cardinals",

abstract = "We define a weak iterability notion that is sufficient for a number of arguments concerning Σ_1-definability at uncountable regular cardinals. In particular we give its exact consistency strength firstly in terms of the second uniform indiscernible for bounded subsets of kappa : u_2(kappa ), and secondly to give the consistency strength of a property of L{\"u}cke{\textquoteright}s.",

keywords = "inner model, large cardinals, reflection principle",

author = "Welch, {P D}",

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

year = "2022",

month = jun,

day = "1",

doi = "10.1017/jsl.2019.82",

language = "English",

volume = "86",

pages = "448--470",

journal = "Journal of Symbolic Logic",

issn = "0022-4812",

publisher = "Cambridge University Press",

number = "2",

}

TY - JOUR

T1 - Stably Measurable Cardinals

AU - Welch, P D

PY - 2022/6/1

Y1 - 2022/6/1

N2 - We define a weak iterability notion that is sufficient for a number of arguments concerning Σ_1-definability at uncountable regular cardinals. In particular we give its exact consistency strength firstly in terms of the second uniform indiscernible for bounded subsets of kappa : u_2(kappa ), and secondly to give the consistency strength of a property of Lücke’s.

AB - We define a weak iterability notion that is sufficient for a number of arguments concerning Σ_1-definability at uncountable regular cardinals. In particular we give its exact consistency strength firstly in terms of the second uniform indiscernible for bounded subsets of kappa : u_2(kappa ), and secondly to give the consistency strength of a property of Lücke’s.

KW - inner model

KW - large cardinals

KW - reflection principle

U2 - 10.1017/jsl.2019.82

DO - 10.1017/jsl.2019.82

M3 - Article (Academic Journal)

SN - 0022-4812

VL - 86

SP - 448

EP - 470

JO - Journal of Symbolic Logic

JF - Journal of Symbolic Logic

IS - 2

ER -

Stably Measurable Cardinals

Abstract

Bibliographical note

Keywords

Access to Document

Handle.net

Fingerprint

Cite this