- 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
ℙmax variations related to slaloms
Mathematical Logic Quarterly 52 (2):203-216 (2006)
Abstract
We prove the iteration lemmata, which are the key lemmata to show that extensions by Pmax variations satisfy absoluteness for Π2-statements in the structure 〈H , ∈, NSω 1, R 〉 for some set R of reals in L , for the following statements: The cofinality of the null ideal is ℵ1. There exists a good basis of the strong measure zero idealMy notes
Similar books and articles
Strong measure zero sets without Cohen reals.Martin Goldstern, Haim Judah & Saharon Shelah - 1993 - Journal of Symbolic Logic 58 (4):1323-1341.
The algebraic sum of sets of real numbers with strong measure zero sets.Andrej Nowik, Marion Scheepers & Tomasz Weiss - 1998 - Journal of Symbolic Logic 63 (1):301-324.
Strong measure zero sets and rapid filters.Jaime I. Ihoda - 1988 - Journal of Symbolic Logic 53 (2):393-402.
Finite powers of strong measure zero sets.Marion Scheepers - 1999 - Journal of Symbolic Logic 64 (3):1295-1306.
Indestructibility and the level-by-level agreement between strong compactness and supercompactness.Arthur W. Apter & Joel David Hamkins - 2002 - Journal of Symbolic Logic 67 (2):820-840.
Variations autour de l'Ame Tigrée : des dramaturgies de la "tigritude".Catarina Sant'Anna - 2011 - In Yves Durand, Jean-Pierre Sironneau & Alberto Filipe Araújo (eds.), Variations sur l'imaginaire: l'épistémologie ouverte de Gilbert Durand: orientations et innovations. Bruxelles: E.M.E..
Finite support iteration and strong measure zero sets.Janusz Pawlikowski - 1990 - Journal of Symbolic Logic 55 (2):674-677.
Supercompactness and level by level equivalence are compatible with indestructibility for strong compactness.Arthur W. Apter - 2007 - Archive for Mathematical Logic 46 (3-4):155-163.
The cofinality of the strong measure zero ideal.Teruyuki Yorioka - 2002 - Journal of Symbolic Logic 67 (4):1373-1384.
Level Compactness.Gillman Payette & Blaine D'Entremont - 2006 - Notre Dame Journal of Formal Logic 47 (4):545-555.
Analytics
Added to PP
2013-12-01
Downloads
11 (#1,138,639)
6 months
5 (#640,860)
2013-12-01
Downloads
11 (#1,138,639)
6 months
5 (#640,860)
Historical graph of downloads
Citations of this work
Forcing Axioms and Ω-logic.Teruyuki Yorioka - 2009 - Journal of the Japan Association for Philosophy of Science 36 (2):45-52.
References found in this work
Canonical models for ℵ1-combinatorics.Saharon Shelah & Jindr̆ich Zapletal - 1999 - Annals of Pure and Applied Logic 98 (1-3):217-259.
The cofinality of the strong measure zero ideal.Teruyuki Yorioka - 2002 - Journal of Symbolic Logic 67 (4):1373-1384.
Saturation, Suslin trees and meager sets.Paul Larson - 2005 - Archive for Mathematical Logic 44 (5):581-595.
P-points in Qmax models.Q. Feng & W. H. Woodin - 2003 - Annals of Pure and Applied Logic 119 (1-3):121-190.
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-5ff6c685cb-rskd8 uwo