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 answers only not deleted user 6085

Combinatorial properties of infinite sets. This is a corner-point of set theory and combinatorics.

5 votes
Accepted

Choosing *two* representatives

I assume by $\aleph$ you mean $\mathfrak c$, the cardinality of the continuum. You can build $D$ by transfinite recursion: Well-order the continuum in type $\mathfrak c$. At stage $\alpha$ you add a p …
Andrés E. Caicedo's user avatar
10 votes
Accepted

chain condition of a product of posets

First of all, note (as Monroe does in his question) that if $\mathbb P,\mathbb Q$ are ccc, then $\mathbb P\times\mathbb Q$ is $\mathfrak c^+$-cc, as an immediate consequence of the Erdős-Rado theorem …
Andrés E. Caicedo's user avatar
6 votes
Accepted

A problem about Ramsey Property

For $b=\omega+2$, see András Hajnal. Some results and problems on set theory, Acta Math. Acad. Sci. Hungar., 11, (1960), 277–298. MR0150044 (27 #47). In this paper, András shows that $\omega_1 …
Andrés E. Caicedo's user avatar
11 votes
Accepted

Does "$X \not\to (\omega)^\omega_2$ for every infinite $X$" imply ${\sf AC}$?

The answer is no, the statement that for every set $X$ we have $$X\not\to(\omega)^\omega_2$$ does not imply the axiom of choice. This was shown by Kleinberg and Seiferas in 1973, see MR0340025 (49 #4 …
Andrés E. Caicedo's user avatar