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 18128

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

10 votes
Accepted

Destroying Suslin, nothing special

Chapter IX of Proper and Improper Forcing addresses this issue. Shelah proves that Souslin's Hypothesis does not imply every Aronszajn tree is special, and he does this by investigating weak notions …
Todd Eisworth's user avatar
8 votes
Accepted

Existence of a "diagonal" set in certain set systems

This is false in general when $\kappa=\omega$. Let $\mathcal{A}=\langle A_\alpha:\alpha<\mathfrak{c}\rangle$ be an almost disjoint family of size continuum, and let $\langle D_\alpha:\alpha<\mathfrak …
Todd Eisworth's user avatar
8 votes
Accepted

Families with finite intersection property on $\kappa>\omega$

This is a question that connects to many things in set theory (and they are sometimes called ``strongly almost disjoint families"). First, an old result of Baumgartner (see Section 6 of [1]) shows th …
Todd Eisworth's user avatar
6 votes
Accepted

Can this result in cardinal arithmetic be established without using pcf theory?

There IS an easy proof of this, but I just had to reframe the way I was thinking of the problem. The cardinals in question (and many of their relatives) turn out to be $2^{\mu}$ if $\mu$ is strong lim …
Todd Eisworth's user avatar
5 votes
Accepted

regularity of ultrafilters

Assuming large cardinals, the answer is no even for $\aleph_\omega$. Given a supercompact cardinal, Ben-David and Magidor constructed a model in which $\aleph_{\omega+1}$ carries a uniform indecompos …
Todd Eisworth's user avatar
3 votes
Accepted

Relations between two tower numbers

Assuming I understand the definitions correctly, I can give you a couple of references. (1) Dordal (see below) gives a model in which $\mathfrak{b}=\mathfrak{c}=\aleph_2$ and all towers have cardinal …
Todd Eisworth's user avatar
2 votes

PCF theory and good points in scales

Shelah has also considered this question in his paper [Sh:1008]. The published version indicates that he investigated this from scratch rather than starting with the Sharon-Viale observation on the Ab …
Todd Eisworth's user avatar