Definability degrees

Mathematical Logic Quarterly 51 (5):448-449 (2005)
  Copy   BIBTEX

Abstract

We establish the equiconsistency of a simple statement in definability theory with the failure of the GCH at all infinite cardinals. The latter was shown by Foreman and Woodin to be consistent, relative to the existence of large cardinals

Categories

Keywords

Reprint years

DOI

10.1002/malq.200510002

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

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

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.
Inner models with large cardinal features usually obtained by forcing.Arthur W. Apter, Victoria Gitman & Joel David Hamkins - 2012 - Archive for Mathematical Logic 51 (3-4):257-283.
Descriptive inner model theory.Grigor Sargsyan - 2013 - Bulletin of Symbolic Logic 19 (1):1-55.
Arithmetical definability over finite structures.Troy Lee - 2003 - Mathematical Logic Quarterly 49 (4):385.
Power-like models of set theory.Ali Enayat - 2001 - Journal of Symbolic Logic 66 (4):1766-1782.
Proper forcing and remarkable cardinals II.Ralf-Dieter Schindler - 2001 - Journal of Symbolic Logic 66 (3):1481-1492.
A Power Function with a Fixed Finite Gap Everywhere.Carmi Merimovich - 2007 - Journal of Symbolic Logic 72 (2):361 - 417.
Definability in physics.David Jacob BenDaniel - unknown
Definability and initial segments of c-degrees.Robert S. Lubarsky - 1988 - Journal of Symbolic Logic 53 (4):1070-1081.
Abstract Beth Definability in Institutions.Marius Petria & Răzvan Diaconescu - 2006 - Journal of Symbolic Logic 71 (3):1002 - 1028.
The number of normal measures.Sy-David Friedman & Menachem Magidor - 2009 - Journal of Symbolic Logic 74 (3):1069-1080.
Cardinal-preserving extensions.Sy D. Friedman - 2003 - Journal of Symbolic Logic 68 (4):1163-1170.
Mutual definability does not imply definitional equivalence, a simple example.Hajnal Andréka, Judit X. Madarász & István Németi - 2005 - Mathematical Logic Quarterly 51 (6):591-597.

Analytics

Added to PP
2013-12-01

Downloads
10 (#1,160,791)

6 months
1 (#1,533,009)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Forcing closed unbounded sets.Uri Abraham & Saharon Shelah - 1983 - Journal of Symbolic Logic 48 (3):643-657.

Add more references