- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
A global version of a theorem of Ben-David and Magidor
Annals of Pure and Applied Logic 102 (3):199-222 (2000)
Abstract
We prove a consistency result about square principles and stationary reflection which generalises the result of Ben-David and Magidor [4]Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
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.
A new proof of a theorem of Magidor.Arthur W. Apter - 2000 - Archive for Mathematical Logic 39 (3):209-211.
Identity crises and strong compactness.Arthur W. Apter & James Cummings - 2000 - Journal of Symbolic Logic 65 (4):1895-1910.
On a problem of Foreman and Magidor.Arthur W. Apter - 2005 - Archive for Mathematical Logic 44 (4):493-498.
Review of J. Cummings, A Model in Which GCH Holds at Successors but Fails at Limits; Strong Ultrapowers and Long Core Models; Coherent Sequences Versus Radin Sequences; and J. Cummings, M. Foreman, and M. Magidor, Squares, Scales and Stationary Reflection. [REVIEW]Arthur W. Apter - 2002 - Bulletin of Symbolic Logic 8 (4):550-552.
Review: Uri Abraham, Aronszajn Trees on $mathscr{N}2$ and $mathscr{N}3$; James Cummings, Matthew Foreman, The Tree Property; Menachem Magidor, Saharon Shelah, The Tree Property at Successors of Singular Cardinals. [REVIEW]Arthur W. Apter - 2001 - Bulletin of Symbolic Logic 7 (2):283-285.
An application of invariant sets to global definability.Douglas E. Miller - 1979 - Journal of Symbolic Logic 44 (1):9-14.
Instances of dependent choice and the measurability of ℵω + 1.Arthur W. Apter & Menachem Magidor - 1995 - Annals of Pure and Applied Logic 74 (3):203-219.
Review: Menachem Magidor, Jerome Malitz, Compact Extensions of $ L (\ mathbf {Q}) $(Part 1a); Matt Kaufmann, A New Omitting Types Theorem for $ L (Q) $. [REVIEW]Kim Bruce - 1985 - Journal of Symbolic Logic 50 (4):1076-1078.
Tait's conservative extension theorem revisited.Ryota Akiyoshi - 2010 - Journal of Symbolic Logic 75 (1):155-167.
The Strength of the Rainbow Ramsey Theorem.Barbara F. Csima & Joseph R. Mileti - 2009 - Journal of Symbolic Logic 74 (4):1310 - 1324.
Analytics
Added to PP
2014-01-16
Downloads
57 (#269,932)
6 months
16 (#138,396)
2014-01-16
Downloads
57 (#269,932)
6 months
16 (#138,396)
Historical graph of 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.
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.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6d9b7f7c4c-tstkh uwo