Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/springer-journals/magidor-malitz-reflection-3cQRWF0xjP
References (12)
-
S Shelah (1981)
Models with second order properties. III. Omitting types for $$L(Q)$$ L ( Q )Arch. Math. Log. Grundl., 21
-
A Rinot (2014)
Chain conditions of products, and weakly compact cardinalsBull. Symb. Log., 20
-
A Sharon, M Viale (2010)
Some consequences of reflection on the approachability idealTrans. Am. Math. Soc., 362
-
I Farah, R Ketchersid, Paul Larson, M Magidor (2006)
Absoluteness for universally baire sets and the uncountable iiComput. Prospect. Infin. Part II Present. Talks, 15
-
M Magidor, S Shelah (1996)
The tree property at successors of singular cardinalsArch. Math. Log., 35
-
M Rubin, S Shelah (1983)
On the expressibility hierarchy of Magidor–Malitz quantifiersJ. Symb. Log., 48
-
M Magidor, J Malitz (1977)
Compact extensions of $$L(Q)$$ L ( Q ) IaAnn. Math. Logic, 11
-
CC Chang, HJ Keisler (1990)
Model Theory, Third Edition Studies in Logic and the Foundations of Mathematics -
M Foreman, R Laver (1988)
Some downwards transfer properties for $$\aleph _2$$ ℵ 2Adv. Math., 67
-
K Kunen (1978)
Saturated idealsJ. Symb. Log., 43
-
M Magidor (1971)
On the role of supercompact and extendible cardinals in logicIsr. J. Math., 10
-
W Hodges (1985)
Building Models by Games, London Mathematical Society Student Texts
- Publisher
- Springer Journals
- Copyright
- Copyright © 2017 by Springer-Verlag Berlin Heidelberg
- Subject
- Mathematics; Mathematical Logic and Foundations; Mathematics, general; Algebra
- ISSN
- 0933-5846
- eISSN
- 1432-0665
- DOI
- 10.1007/s00153-017-0522-2
- Publisher site
- See Article on Publisher Site
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.
Journal
Archive for Mathematical Logic – Springer Journals
Published: Feb 6, 2017