Magidor–Malitz reflection

Yair Hayut

doi:10.1007/s00153-017-0522-2

Magidor–Malitz reflection

Yair Hayut^*

^*Corresponding author for this work

Einstein Institute of Mathematics

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

5 Scopus citations

Abstract

In this paper we investigate the consistency and consequences of the downward Löwenheim–Skolem–Tarski theorem for extension of the first order logic by the Magidor–Malitz quantifier. We derive some combinatorial results and improve the known upper bound for the consistency of Chang’s conjecture at successor of singular cardinals.

Original language	English
Pages (from-to)	253-272
Number of pages	20
Journal	Archive for Mathematical Logic
Volume	56
Issue number	3-4
DOIs	https://doi.org/10.1007/s00153-017-0522-2
State	Published - 1 May 2017

Bibliographical note

Publisher Copyright:
© 2017, Springer-Verlag Berlin Heidelberg.

Keywords

Chang’s conjecture
Large cardinals
Magidor–Malitz quantifiers

Access to Document

10.1007/s00153-017-0522-2

Cite this

@article{c6d1722f2d4a4a2496330010e013361e,

title = "Magidor–Malitz reflection",

abstract = "In this paper we investigate the consistency and consequences of the downward L{\"o}wenheim–Skolem–Tarski theorem for extension of the first order logic by the Magidor–Malitz quantifier. We derive some combinatorial results and improve the known upper bound for the consistency of Chang{\textquoteright}s conjecture at successor of singular cardinals.",

keywords = "Chang{\textquoteright}s conjecture, Large cardinals, Magidor–Malitz quantifiers",

author = "Yair Hayut",

note = "Publisher Copyright: {\textcopyright} 2017, Springer-Verlag Berlin Heidelberg.",

year = "2017",

month = may,

day = "1",

doi = "10.1007/s00153-017-0522-2",

language = "אנגלית",

volume = "56",

pages = "253--272",

journal = "Archive for Mathematical Logic",

issn = "0933-5846",

publisher = "Springer New York",

number = "3-4",

}

TY - JOUR

T1 - Magidor–Malitz reflection

AU - Hayut, Yair

PY - 2017/5/1

Y1 - 2017/5/1

N2 - In this paper we investigate the consistency and consequences of the downward Löwenheim–Skolem–Tarski theorem for extension of the first order logic by the Magidor–Malitz quantifier. We derive some combinatorial results and improve the known upper bound for the consistency of Chang’s conjecture at successor of singular cardinals.

AB - In this paper we investigate the consistency and consequences of the downward Löwenheim–Skolem–Tarski theorem for extension of the first order logic by the Magidor–Malitz quantifier. We derive some combinatorial results and improve the known upper bound for the consistency of Chang’s conjecture at successor of singular cardinals.

KW - Chang’s conjecture

KW - Large cardinals

KW - Magidor–Malitz quantifiers

UR - http://www.scopus.com/inward/record.url?scp=85011675603&partnerID=8YFLogxK

U2 - 10.1007/s00153-017-0522-2

DO - 10.1007/s00153-017-0522-2

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

AN - SCOPUS:85011675603

SN - 0933-5846

VL - 56

SP - 253

EP - 272

JO - Archive for Mathematical Logic

JF - Archive for Mathematical Logic

IS - 3-4

ER -

Magidor–Malitz reflection

Abstract

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this