A global version of a theorem of Ben-David and Magidor

&
Annals of Pure and Applied Logic 102 (3):199-222 (2000)
  Copy   BIBTEX

Abstract

We prove a consistency result about square principles and stationary reflection which generalises the result of Ben-David and Magidor [4]

Categories

Keywords

Reprint years

DOI

10.1016/s0168-0072(99)00033-0

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 102,873

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Strong Compactness and a Global Version of a Theorem of Ben-David and Magidor.Arthur W. Apter - 2000 - Mathematical Logic Quarterly 46 (4):453-460.
Canonical structure in the universe of set theory: Part two.James Cummings, Matthew Foreman & Menachem Magidor - 2006 - Annals of Pure and Applied Logic 142 (1):55-75.
James Cummings. A model in which GCH holds at successors but fails at limits. Transactions of the American Mathematical Society, vol. 329 , pp. 1–39. - James Cummings. Strong ultrapowers and long core models. The journal of symbolic logic, vol. 58 , pp. 240–248. - James Cummings. Coherent sequences versus Radin sequences. Annals of pure and applied logic, vol. 70 , pp. 223–241. - James Cummings, Matthew Foreman, and Menachem Magidor. Squares, scales and stationary reflection. Journal of mathematical logic, vol. 1 , pp. 35–98. [REVIEW]Arthur W. Apter - 2002 - Bulletin of Symbolic Logic 8 (4):550-552.
Omer Ben-Neria, The structure of the Mitchell order-I. Israel Journal of Mathematics vol. 214 , no. 2, pp. 945–982. - Omer Ben-Neria, The structure of the Mitchell order-II. Annals of Pure and Applied Logic, vol. 166 , no. 12, pp. 1407–1432. - Sy-David Friedman and Menachem Magidor, The number of normal measures. Journal of Symbolic Logic, vol. 74 , no. 3, pp. 1069–1080. [REVIEW]Sean D. Cox - 2017 - Bulletin of Symbolic Logic 23 (1):110-112.
Organic and tight.J. Cummings, M. Foreman & E. Schimmerling - 2009 - Annals of Pure and Applied Logic 160 (1):22-32.
Sets in Prikry and Magidor generic extensions.Tom Benhamou & Moti Gitik - 2021 - Annals of Pure and Applied Logic 172 (4):102926.
The indescribability of the order of the indescribable cardinals.Kai Hauser - 1992 - Annals of Pure and Applied Logic 57 (1):45-91.
The first omitting cardinal for Magidority.Shimon Garti & Yair Hayut - 2019 - Mathematical Logic Quarterly 65 (1):95-104.
Omitting types for infinitary [ 0, 1 ] -valued logic.Christopher J. Eagle - 2014 - Annals of Pure and Applied Logic 165 (3):913-932.
Magidor–Malitz reflection.Yair Hayut - 2017 - Archive for Mathematical Logic 56 (3-4):253-272.

Analytics

Added to PP
2014-01-16

Downloads
74 (#290,211)

6 months
3 (#1,277,498)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Squares, scales and stationary reflection.James Cummings, Matthew Foreman & Menachem Magidor - 2001 - Journal of Mathematical Logic 1 (01):35-98.
A microscopic approach to Souslin-tree constructions, Part I.Ari Meir Brodsky & Assaf Rinot - 2017 - Annals of Pure and Applied Logic 168 (11):1949-2007.
On the indestructibility aspects of identity crisis.Grigor Sargsyan - 2009 - Archive for Mathematical Logic 48 (6):493-513.
Semistationary and stationary reflection.Hiroshi Sakai - 2008 - Journal of Symbolic Logic 73 (1):181-192.
Squares and narrow systems.Chris Lambie-Hanson - 2017 - Journal of Symbolic Logic 82 (3):834-859.

Add more citations

References found in this work

Squares, scales and stationary reflection.James Cummings, Matthew Foreman & Menachem Magidor - 2001 - Journal of Mathematical Logic 1 (01):35-98.
Combinatorial principles in the core model for one Woodin cardinal.Ernest Schimmerling - 1995 - Annals of Pure and Applied Logic 74 (2):153-201.
The fine structure of the constructible hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.
The weak □* is really weaker than the full □.Shai Ben-David & Menachem Magidor - 1986 - Journal of Symbolic Logic 51 (4):1029 - 1033.
Adding closed cofinal sequences to large cardinals.Lon Berk Radin - 1982 - Annals of Mathematical Logic 22 (3):243.

View all 7 references / Add more references