- 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 Covering Lemma for HOD of K (ℝ)
Notre Dame Journal of Formal Logic 51 (4):427-442 (2010)
Abstract
Working in ZF+AD alone, we prove that every set of ordinals with cardinality at least Θ can be covered by a set of ordinals in HOD of K (ℝ) of the same cardinality, when there is no inner model with an ℝ-complete measurable cardinal. Here ℝ is the set of reals and Θ is the supremum of the ordinals which are the surjective image of ℝ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
Mapping a set of reals onto the reals.Arnold W. Miller - 1983 - Journal of Symbolic Logic 48 (3):575-584.
Powers of the ideal of lebesgue measure zero sets.Maxim R. Burke - 1991 - Journal of Symbolic Logic 56 (1):103-107.
Order types of ordinals in models of set theory.John E. Hutchinson - 1976 - Journal of Symbolic Logic 41 (2):489-502.
Some new intuitionistic equivalents of Zorn’s Lemma.John L. Bell - 2003 - Archive for Mathematical Logic 42 (8):811-814.
Jónsson cardinals, erdös cardinals, and the core model.W. J. Mitchell - 1999 - Journal of Symbolic Logic 64 (3):1065-1086.
A model with no magic set.Krzysztof Ciesielski & Saharon Shelah - 1999 - Journal of Symbolic Logic 64 (4):1467-1490.
Full reflection of stationary sets below ℵω.Thomas Jech & Saharon Shelah - 1990 - Journal of Symbolic Logic 55 (2):822 - 830.
Zorn's lemma and complete Boolean algebras in intuitionistic type theories.J. L. Bell - 1997 - Journal of Symbolic Logic 62 (4):1265-1279.
Analytics
Added to PP
2010-09-30
Downloads
31 (#504,675)
6 months
8 (#347,798)
2010-09-30
Downloads
31 (#504,675)
6 months
8 (#347,798)
Historical graph of downloads
References found in this work
The real core model and its scales.Daniel W. Cunningham - 1995 - Annals of Pure and Applied Logic 72 (3):213-289.
Is there a set of reals not in K(R)?Daniel W. Cunningham - 1998 - Annals of Pure and Applied Logic 92 (2):161-210.
A covering lemma for L(ℝ).Daniel W. Cunningham - 2002 - Archive for Mathematical Logic 41 (1):49-54.
A covering lemma for \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${K(\mathbb {R})}$$\end{document}. [REVIEW]Daniel W. Cunningham - 2007 - Archive for Mathematical Logic 46 (3-4):197-221.
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-7c76586df8-pp8v9 uwo