- 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
Order types of free subsets
Annals of Pure and Applied Logic 89 (1):75-83 (1997)
Abstract
We give for ordinals α a lower bound for the least ordinal α such that Frordξ,β) and show that given enough measurable cardinals there are forcing extensions where the given bounds are sharpLinks
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
More canonical forms and dense free subsets.Heike Mildenberger - 2004 - Annals of Pure and Applied Logic 125 (1-3):75-99.
Two consistency results on set mappings.Péter Komjáth & Saharon Shelah - 2000 - Journal of Symbolic Logic 65 (1):333-338.
It's Easy Being Free: Notes on Frankfurt-Style Real Self Conceptions of Free Will.Heidi Savage & Noah Sider - manuscript
Spontaneous order: Michael Polanyi and Friedrich Hayek.Struan Jacobs - 2000 - Critical Review of International Social and Political Philosophy 3 (4):49-67.
First-order Gödel logics.Richard Zach, Matthias Baaz & Norbert Preining - 2007 - Annals of Pure and Applied Logic 147 (1):23-47.
Subsystems of second-order arithmetic between RCA0 and WKL0.Carl Mummert - 2008 - Archive for Mathematical Logic 47 (3):205-210.
Characterising subsets of ω1 constructible from a real.P. D. Welch - 1994 - Journal of Symbolic Logic 59 (4):1420 - 1432.
Heirs of Box Types in Polynomially Bounded Structures.Marcus Tressl - 2009 - Journal of Symbolic Logic 74 (4):1225 - 1263.
Possibility Semantics for Intuitionistic Logic.M. J. Cresswell - 2004 - Australasian Journal of Logic 2:11-29.
A model in which every Boolean algebra has many subalgebras.James Cummings & Saharon Shelah - 1995 - Journal of Symbolic Logic 60 (3):992-1004.
Analytics
Added to PP
2014-01-16
Downloads
66 (#240,625)
6 months
7 (#425,192)
2014-01-16
Downloads
66 (#240,625)
6 months
7 (#425,192)
Historical graph of downloads
Citations of this work
More canonical forms and dense free subsets.Heike Mildenberger - 2004 - Annals of Pure and Applied Logic 125 (1-3):75-99.
References found in this work
Some weak versions of large cardinal axioms.Keith J. Devlin - 1973 - Annals of Mathematical Logic 5 (4):291.
The consistency strength of the free-subset property for ωω.Peter Koepke - 1984 - Journal of Symbolic Logic 49 (4):1198 - 1204.
Some applications of short core models.Peter Koepke - 1988 - Annals of Pure and Applied Logic 37 (2):179-204.
Independence of strong partition relation for small cardinals, and the free-subset problem.Saharon Shelah - 1980 - Journal of Symbolic Logic 45 (3):505-509.
On the free subset property at singular cardinals.Peter Koepke - 1989 - Archive for Mathematical Logic 28 (1):43-55.
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-hc2g5 uwo