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^*

^*Corresponding author for this work

Einstein Institute of Mathematics

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

Bibliographical note

Publisher Copyright:
© 2023, The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature.

Keywords

Forcing
Large cardinals
Mathias criterion
Prikry forcing

Access to Document

10.1007/s00153-023-00887-1

Cite this

@article{1ebf17e21b4d4b6eb22f73081b11ed20,

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 = "אנגלית",

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 - http://www.scopus.com/inward/record.url?scp=85166955841&partnerID=8YFLogxK

U2 - 10.1007/s00153-023-00887-1

DO - 10.1007/s00153-023-00887-1

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

AN - SCOPUS:85166955841

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

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this