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

1 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
Journal	Journal of Symbolic Logic
DOIs	https://doi.org/10.1017/jsl.2019.82
Publication status	Accepted/In press - 27 Nov 2019

Keywords

inner model
large cardinals
reflection principle

Access to Document

10.1017/jsl.2019.82

Embargoed Document

Full-text PDF (accepted author manuscript)
Accepted author manuscript, 359 KB
Embargo ends: 1/01/99
Request copy

Fingerprint Dive into the research topics of 'Stably Measurable Cardinals'. Together they form a unique fingerprint.

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}",

year = "2019",

month = nov,

day = "27",

doi = "10.1017/jsl.2019.82",

language = "English",

journal = "Journal of Symbolic Logic",

issn = "0022-4812",

publisher = "Cambridge University Press",

}

TY - JOUR

T1 - Stably Measurable Cardinals

AU - Welch, P D

PY - 2019/11/27

Y1 - 2019/11/27

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)

JO - Journal of Symbolic Logic

JF - Journal of Symbolic Logic

SN - 0022-4812

ER -