- Submit
-
Browse
- 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
- More
Switch to: References
Citations of:
Add citations
You must login to add citations.
|
|
|
A Souslin algebra is a complete Boolean algebra whose main features are ruled by a tight combination of an antichain condition with an infinite distributive law. The present article divides into two parts. In the first part a representation theory for the complete and atomless subalgebras of Souslin algebras is established (building on ideas of Jech and Jensen). With this we obtain some basic results on the possible types of subalgebras and their interrelation. The second part begins with a review (...) |
|
|
|
|
|
We investigate the effect after forcing with a coherent Souslin tree on the gap structure of the class of coherent Aronszajn trees ordered by embeddability. We shall show, assuming the relativized version PFA(S) of the proper forcing axiom, that the Souslin tree S forces that the class of Aronszajn trees ordered by the embeddability relation is universal for linear orders of cardinality at most ${\aleph_1}$. |
|
|
|
|
|
Suppose that T^∗ is an ω_1-Aronszajn tree with no stationary antichain. We introduce a forcing axiom PFA(T^∗) for proper forcings which preserve these properties of T^∗. We prove that PFA(T^∗) implies many of the strong consequences of PFA, such as the failure of very weak club guessing, that all of the cardinal characteristics of the continuum are greater than ω_1, and the P-ideal dichotomy. On the other hand, PFA(T^∗) implies some of the consequences of diamond principles, such as the existence (...) |
|
|
We show, using a variation of Woodin’s partial order ℙ max , that it is possible to destroy the saturation of the nonstationary ideal on ω 1 by forcing with a Suslin tree. On the other hand, Suslin trees typcially preserve saturation in extensions by ℙ max variations where one does not try to arrange it otherwise. In the last section, we show that it is possible to have a nonmeager set of reals of size ℵ1, saturation of the nonstationary (...) |
|
|
We show that, under PFA, a coherent Suslin tree forces that every two Aronszajn trees are club-isomorphic. |
|
|
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 ideal. |
|
|
We introduce a variant of Martin's axiom, called the grounded Martin's axiom, or math formula, which asserts that the universe is a c.c.c. forcing extension in which Martin's axiom holds for posets in the ground model. This principle already implies several of the combinatorial consequences of math formula. The new axiom is shown to be consistent with the failure of math formula and a singular continuum. We prove that math formula is preserved in a strong way when adding a Cohen (...) |
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-6f9648bdd6-l46rg uwo