Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 122189

forcing, large cardinals, descriptive set theory, infinite combinatorics, cardinal characteristics, forcing axioms, ultrapowers, measures, reflection, pcf theory, models of set theory, axioms of set theory, independence, axiom of choice, continuum hypothesis, determinacy, Borel equivalence relations, Boolean-valued models, embeddings, orders, relations, transfinite recursion, set theory as a foundation of mathematics, the philosophy of set theory.

9 votes
1 answer
319 views

Embeddings of linear orders in $\wp(\omega)/Fin$ under Martin's axiom

We know that, under MA, every linear order $(X,\le)$ with $|X|<\mathfrak c$ embedds in $\wp(\omega)/Fin$. Does this hold for linear orders with cardinality $\mathfrak c$?
Claudia Correa's user avatar
3 votes
2 answers
321 views

Delta systems under Martin's Axiom

The $\Delta$-system Lemma states that given an uncountable family $\mathcal C$ of sets with finite intersection there exist an uncountable subfamily $\mathcal D$ of $\mathcal C$ and a finite set $\Del …
Claudia Correa's user avatar
2 votes
0 answers
82 views

Separability of $(\kappa,\mathfrak c)$-gaps in $\wp(\omega)/Fin$

K. Kunen proved that it is relatively consistent with Martin´s Axiom that every $(\omega_1,\mathfrak c)$-gap and every $(\mathfrak c,\mathfrak c)$-gap can be separated in $\wp(\omega)/Fin$. What about …
Claudia Correa's user avatar
3 votes
1 answer
163 views

Nonmetrizable Corson compacta with ccc

It is known that under $MA+ \neg CH$, every Corson compact space with the countable chain condition (ccc) is merizable. It is also known that, under $CH$, there exist nonmetrizable Corson compact spac …
Claudia Correa's user avatar
9 votes
1 answer
384 views

Embeddings of Boolean algebras in $\wp(\omega)/Fin$

If we assume MA+¬CH, then every boolean algebra with cardinality smaller than the continuum embeds in ℘(ω)/Fin. A proof of this result can be found in Theorem 1.1, Chapter 8 of the book "Hausdorff gap …
Claudia Correa's user avatar