A Mathias criterion for the Magidor iteration of Prikry forcings

Omer Ben-Neria

doi:10.1007/s00153-023-00887-1

A Mathias criterion for the Magidor iteration of Prikry forcings

Omer Ben-Neria

Einstein Institute of Mathematics

The Hebrew University of Jerusalem

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

Abstract

We prove a Mathias-type criterion for the Magidor iteration of Prikry forcings.

Original language	English
Pages (from-to)	119-134
Number of pages	16
Journal	Archive for Mathematical Logic
Volume	63
Issue number	1-2
DOIs	https://doi.org/10.1007/s00153-023-00887-1
State	Published - Feb 2024

Keywords

Forcing
Large cardinals
Mathias criterion
Prikry forcing

ASJC Scopus subject areas

Philosophy
Logic

Access to Document

10.1007/s00153-023-00887-1

Cite this

@article{051814b78e94422babbe2e538c4cf9ba,

title = "A Mathias criterion for the Magidor iteration of Prikry forcings",

abstract = "We prove a Mathias-type criterion for the Magidor iteration of Prikry forcings.",

keywords = "Forcing, Large cardinals, Mathias criterion, Prikry forcing",

author = "Omer Ben-Neria",

note = "Publisher Copyright: {\textcopyright} 2023, The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature.",

year = "2024",

month = feb,

doi = "10.1007/s00153-023-00887-1",

language = "English",

volume = "63",

pages = "119--134",

journal = "Archive for Mathematical Logic",

issn = "0933-5846",

publisher = "Springer New York",

number = "1-2",

}

TY - JOUR

T1 - A Mathias criterion for the Magidor iteration of Prikry forcings

AU - Ben-Neria, Omer

PY - 2024/2

Y1 - 2024/2

N2 - We prove a Mathias-type criterion for the Magidor iteration of Prikry forcings.

AB - We prove a Mathias-type criterion for the Magidor iteration of Prikry forcings.

KW - Forcing

KW - Large cardinals

KW - Mathias criterion

KW - Prikry forcing

UR - https://www.scopus.com/pages/publications/85166955841

U2 - 10.1007/s00153-023-00887-1

DO - 10.1007/s00153-023-00887-1

M3 - Article

SN - 0933-5846

VL - 63

SP - 119

EP - 134

JO - Archive for Mathematical Logic

JF - Archive for Mathematical Logic

IS - 1-2

ER -

A Mathias criterion for the Magidor iteration of Prikry forcings

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this