Stably Measurable Cardinals

Research output: Contribution to journalArticle (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 languageEnglish
Pages (from-to)448-470
Number of pages23
JournalJournal of Symbolic Logic
Volume86
Issue number2
Early online date15 Jun 2020
DOIs
Publication statusPublished - 1 Jun 2022

Bibliographical note

Publisher Copyright:
© The Association for Symbolic Logic 2020.

Keywords

  • inner model
  • large cardinals
  • reflection principle

Fingerprint

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

Cite this