Search Results
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 |
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 …
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 …
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 …
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 …
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 …
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 …
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 …