A gap 1 cardinal transfer theorem

Mathematical Logic Quarterly 52 (4):340-350 (2006)
  Copy   BIBTEX

Abstract

We extend the gap 1 cardinal transfer theorem → to any language of cardinality ≤λ, where λ is a regular cardinal. This transfer theorem has been proved by Chang under GCH for countable languages and by Silver in some cases for bigger languages . We assume the existence of a coarse -morass instead of GCH

Categories

Keywords

Reprint years

DOI

10.1002/malq.200510038

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,283

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

The two-cardinal problem for languages of arbitrary cardinality.Luis Miguel & Villegas Silva - 2010 - Journal of Symbolic Logic 75 (3):785-801.
Reducing the consistency strength of an indestructibility theorem.Arthur W. Apter - 2008 - Mathematical Logic Quarterly 54 (3):288-293.
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.
Power-like models of set theory.Ali Enayat - 2001 - Journal of Symbolic Logic 66 (4):1766-1782.
Stationary Cardinals.Wenzhi Sun - 1993 - Archive for Mathematical Logic 32 (6):429-442.
An Easton theorem for level by level equivalence.Arthur W. Apter - 2005 - Mathematical Logic Quarterly 51 (3):247-253.
A Cardinal Pattern Inspired by AD.Arthur W. Apter - 1996 - Mathematical Logic Quarterly 42 (1):211-218.
A new proof of a theorem of Magidor.Arthur W. Apter - 2000 - Archive for Mathematical Logic 39 (3):209-211.
An equiconsistency for universal indestructibility.Arthur W. Apter & Grigor Sargsyan - 2010 - Journal of Symbolic Logic 75 (1):314-322.
On unfoldable cardinals, ω-closed cardinals, and the beginning of the inner model hierarchy.P. D. Welch - 2004 - Archive for Mathematical Logic 43 (4):443-458.
Identity crises and strong compactness.Arthur W. Apter & James Cummings - 2000 - Journal of Symbolic Logic 65 (4):1895-1910.
On completeness of the quotient algebras {cal P}(kappa)/I.Yasuo Kanai - 2000 - Archive for Mathematical Logic 39 (2):75-87.
Transfinite Cardinals in Paraconsistent Set Theory.Zach Weber - 2012 - Review of Symbolic Logic 5 (2):269-293.
The number of normal measures.Sy-David Friedman & Menachem Magidor - 2009 - Journal of Symbolic Logic 74 (3):1069-1080.

Analytics

Added to PP
2013-12-01

Downloads
9 (#1,258,729)

6 months
2 (#1,206,802)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Model theory of the regularity and reflection schemes.Ali Enayat & Shahram Mohsenipour - 2008 - Archive for Mathematical Logic 47 (5):447-464.

Add more citations

References found in this work

The fine structure of the constructible hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.
On regular reduced products.Juliette Kennedy & Saharon Shelah - 2002 - Journal of Symbolic Logic 67 (3):1169-1177.

Add more references