Fragments of complete extensions of PA and McDowell-Specker's theorem.
Cauchy nets and open colorings.
Embedding partially ordered sets into
We investigate some natural questions about the class of posets which can be embedded into ⟨ω,≤*⟩. Our main tool is a simple ccc forcing notion which generically embeds a given poset E into ⟨ω,≤*⟩ and does this in a “minimal” way (see Theorems 9.1, 10.1, 6.1 and 9.2).
Ideals induced by Tsirelson submeasures
We use Tsirelson’s Banach space ([2]) to define an P-ideal which refutes a conjecture of Mazur and Kechris (see [12, 9, 8]).
Examples of ε-exhaustive pathological submeasures
For any given ε > 0 we construct an ε-exhaustive normalized pathological submeasure. To this end we use potentially exhaustive submeasures and barriers of finite subsets of ℕ.
OCA and towers in
We shall show that Open Coloring Axiom has different influence on the algebra than on . The tool used to accomplish this is forcing with a Suslin tree.
Is 𝓟(ω) a subalgebra?
We consider the question of whether 𝒫(ω) is a subalgebra whenever it is a quotient of a Boolean algebra by a countably generated ideal. This question was raised privately by Murray Bell. We obtain two partial answers under the open coloring axiom. Topologically our first result is that if a zero-dimensional compact space has a zero-set mapping onto βℕ, then it has a regular closed zero-set mapping onto βℕ. The second result is that if the compact space has density at most ω₁, then it will map onto...
Existentially closed II₁ factors
We examine the properties of existentially closed (-embeddable) II₁ factors. In particular, we use the fact that every automorphism of an existentially closed (-embeddable) II₁ factor is approximately inner to prove that Th() is not model-complete. We also show that Th() is complete for both finite and infinite forcing and use the latter result to prove that there exist continuum many nonisomorphic existentially closed models of Th().
A countable dense homogeneous set of reals of size ℵ₁
We prove there is a countable dense homogeneous subspace of ℝ of size ℵ₁. The proof involves an absoluteness argument using an extension of the logic obtained by adding predicates for Borel sets.
Page 1