scholarly journals Bounded Namba forcing axiom may fail

2018 ◽  
Vol 64 (3) ◽  
pp. 170-172
Author(s):  
Jindrich Zapletal
Keyword(s):  
Forcing Axiom

scholarly journals On the equivalence of certain consequences of the proper forcing axiom

1995 ◽  
Vol 60 (2) ◽  
pp. 431-443 ◽  
Author(s):  
Peter Nyikos ◽  
Leszek Piątkiewicz
Keyword(s):  
Proper Forcing Axiom ◽  
Proper Forcing ◽  
Forcing Axiom

AbstractWe prove that a number of axioms, each a consequence of PFA (the Proper Forcing Axiom) are equivalent. In particular we show that TOP (the Thinning-out Principle as introduced by Baumgartner in the Handbook of set-theoretic topology), is equivalent to the following statement: If I is an ideal on ω1 with ω1 generators, then there exists an uncountable X ⊆ ω1, such that either [X]ω ∩ I = ∅ or [X]ω ⊆ I.

BPFA and projective well-orderings of the reals

2011 ◽  
Vol 76 (4) ◽  
pp. 1126-1136 ◽  
Author(s):  
Andrés Eduardo Caicedo ◽  
Sy-David Friedman
Keyword(s):  
Coding Scheme ◽  
Proper Forcing Axiom ◽  
Proper Forcing ◽  
Forcing Axiom

AbstractIf the bounded proper forcing axiom BPFA holds and ω1 = ω1L, then there is a lightface Σ31 well-ordering of the reals. The argument combines a well-ordering due to Caicedo-Veličković with an absoluteness result for models of MA in the spirit of “David's trick.” We also present a general coding scheme that allows us to show that BPFA is equiconsistent with R being lightface Σ41 for many “consistently locally certified” relations R on ℝ. This is accomplished through a use of David's trick and a coding through the Σ2 stable ordinals of L.

Aronszajn lines and the club filter

2008 ◽  
Vol 73 (3) ◽  
pp. 1029-1035
Author(s):  
Justin Tatch Moore
Keyword(s):  
Weak Form ◽  
Linear Orders ◽  
Forcing Axiom

AbstractThe purpose of this note is to demonstrate that a weak form of club guessing on ω1implies the existence of an Aronszajn line with no Countryman suborders. An immediate consequence is that the existence of a five element basis for the uncountable linear orders does not follow from the forcing axiom for ω-proper forcings.

scholarly journals Scott's problem for Proper Scott sets

2008 ◽  
Vol 73 (3) ◽  
pp. 845-860 ◽  
Author(s):  
Victoria Gitman
Keyword(s):  
Boolean Algebra ◽  
Partial Order ◽  
Standard System ◽  
Proper Forcing Axiom ◽  
Proper Forcing ◽  
Scott Set ◽  
Forcing Axiom

AbstractSome 40 years ago, Dana Scott proved that every countable Scott set is the standard system of a model of PA. Two decades later, Knight and Nadel extended his result to Scott sets of size ω1. Here, I show that assuming the Proper Forcing Axiom (PFA), every A-proper Scott set is the standard system of a model of PA. I define that a Scott set is proper if the quotient Boolean algebra /Fin is a proper partial order and A-proper if is additionally arithmetically closed. I also investigate the question of the existence of proper Scott sets.

On a generalization of Jensen's □κ, and strategic closure of partial orders

1983 ◽  
Vol 48 (4) ◽  
pp. 1046-1052 ◽  
Author(s):  
Dan Velleman
Keyword(s):  
Lower Bound ◽  
Partial Order ◽  
Recent Work ◽  
Partial Orders ◽  
Closure Condition ◽  
Forcing Axioms ◽  
Combinatorial Principles ◽  
The Relationship ◽  
Mahlo Cardinals ◽  
Forcing Axiom

It is well known that many statements provable from combinatorial principles true in the constructible universe L can also be shown to be consistent with ZFC by forcing. Recent work by Shelah and Stanley [4] and the author [5] has clarified the relationship between the axiom of constructibility and forcing by providing Martin's Axiom-type forcing axioms equivalent to ◊ and the existence of morasses. In this paper we continue this line of research by providing a forcing axiom equivalent to □κ. The forcing axiom generalizes easily to inaccessible, non-Mahlo cardinals, and provides the motivation for a corresponding generalization of □κ.In order to state our forcing axiom, we will need to define a strategic closure condition for partial orders. Suppose P = 〈P, ≤〉 is a partial order. For each ordinal α we will consider a game played by two players, Good and Bad. The players choose, in order, the terms in a descending sequence of conditions 〈pβ∣β < α〉 Good chooses all terms pβ for limit β, and Bad chooses all the others. Bad wins if for some limit β<α, Good is unable to move at stage β because 〈pγ∣γ < β〉 has no lower bound. Otherwise, Good wins. Of course, we will be rooting for Good.

Continuum-many Boolean algebras of the form Borel

2004 ◽  
Vol 69 (3) ◽  
pp. 799-816 ◽  
Author(s):  
Michael Ray Oliver
Keyword(s):  
Equivalence Relation ◽  
Continuum Hypothesis ◽  
Boolean Algebras ◽  
New Technique ◽  
Finite Sets ◽  
A New Technique ◽  
Borel Ideals ◽  
Forcing Axiom ◽  
The Continuum ◽  
The Ideal

Abstract.We examine the question of how many Boolean algebras, distinct up to isomorphism, that are quotients of the powerset of the naturals by Borel ideals, can be proved to exist in ZFC alone. The maximum possible value is easily seen to be the cardinality of the continuum ; earlier work by Ilijas Farah had shown that this was the value in models of Martin's Maximum or some similar forcing axiom, but it was open whether there could be fewer in models of the Continuum Hypothesis.We develop and apply a new technique for constructing many ideals whose quotients must be nonisomorphic in any model of ZFC. The technique depends on isolating a kind of ideal, called shallow, that can be distinguished from the ideal of all finite sets even after any isomorphic embedding, and then piecing together various copies of the ideal of all finite sets using distinct shallow ideals. In this way we are able to demonstrate that there are continuum-many distinct quotients by Borel ideals, indeed by analytic P-ideals, and in fact that there is in an appropriate sense a Borel embedding of the Vitali equivalence relation into the equivalence relation of isomorphism of quotients by analytic P-ideals. We also show that there is an uncountable definable wellordered collection of Borel ideals with distinct quotients.

Sign in / Sign up

Export Citation Format

Share Document