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 8250

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.

6 votes
Accepted

MAD family with the choosability property

This answer only deals with the case that $R$ is infinite. I thought that I would be able to modify it to the finite case - thanks to Ilya Bogdanov for spotting the mistake in my argument. (His answer …
Martin Sleziak's user avatar
12 votes

BCT equivalent to DC

Wikipedia article on Baire category theorem and several other sources mention this paper: Blair, Charles E. The Baire category theorem implies the principle of dependent choices. Bull. Acad. Polon. Sc …
Martin Sleziak's user avatar
5 votes
Accepted

Bounding and domination numbers for relation $\leq$ modulo $\omega$-nullsets

The answer seems to be positive according to this paper: Barnabás Farkas, Lajos Soukup: The zero density ideal, cardinal invariants and related forcing problems.1 Theorem 2.3. If $\mathcal I$ is a …
Martin Sleziak's user avatar
4 votes
Accepted

Existence of maximal analytic P-ideal

As already mentioned in the comments, a free ultrafilter considered as a subset of Cantor space (or Cantor set) cannot be analytic, so the answer to the Question 1 is No. (Even without the assumption …
Martin Sleziak's user avatar
4 votes
Accepted

Meeting a set of lines in $\mathbb{R}^n$

If we have a set $\mathcal L$ of lines in $\mathbb R^n$ such that $|\mathcal L|=\mathfrak c$, we can get the set $M$ with the desired properties using transfinite induction. Take any well-ordering o …
Martin Sleziak's user avatar
8 votes
Accepted

Ref. request: Additive probability measure on $\mathcal P({\bf N})$ supplies subset of $\mat...

A very good reference for various forms of AC is the book Howard, Rubin: Consequences of the Axiom of Choice, AMS, 1998. (See AMS website or Google Books.) This book contains a large database of vari …
Community's user avatar
  • 1
9 votes
Accepted

Is the Rudin-Keisler order of ultrafilters linear?

This would be more suitable as a comment, but I do not have enough reputation points. Among the first results that google spits out for Rudin Keisler is the paper Anatoly Gryzlov: On the Rudin-Keisle …
Martin Sleziak's user avatar
1 vote

Is the isomorphism class of a fixed cardinality a set?

If I understand your question correctly, the first part can be rephrased as: Is the system of all sets of a given cardinality a set or a proper class. It is a proper class already for singletons: Just …
Martin Sleziak's user avatar