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 4354

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.

27 votes
2 answers
2k views

A set that can be covered by arbitrarily small intervals

Let $X$ be a subset of the real line and $S=\{s_i\}$ an infinite sequence of positive numbers. Let me say that $X$ is $S$-small if there is a collection $\{I_i\}$ of intervals such that the length of …
122 votes
Accepted

solving $f(f(x))=g(x)$

Q1: No. Let $g(0)=1, g(1)=0$ and $g(x)=x$ for all $x\in\mathbb R\setminus\{0,1\}$. Assuming $f\circ f=g$, let $a=f(0)$, then $f(a)=1$ and $f(1)=g(a)=a$ since $a\notin\{0,1\}$. Then $g(1)=f(f(1))=f(a)= …
ARG's user avatar
  • 4,432
20 votes
1 answer
907 views

A collection of intervals that can cover any measure zero set

This is a follow-up to this question (in fact, this is what originally motivated me to ask that one.) Let's say that a sequence $\{s_i\}$ of positive reals covers a set $X\subset\mathbb R$ if there i …
16 votes
Accepted

Improvements of the Baire Category Theorem under (not CH)?

A complete space without isolated points has at least continuum cardinality. At least if you agree to use (some form of) Axiom of Choice. Choose two disjoint closed balls $B_1$ and $B_2$. Inside $B_1 …
Sergei Ivanov's user avatar
2 votes

Shape of long sequences in C(ω_1)

I can partially answer the second question. If $X$ is a compact Hausdorff space whose topology has a countable base at every point [Edit: $\omega_1$ has this property but not compact], then there are …
Sergei Ivanov's user avatar
22 votes

Set theory in practice

You don't have to define your objects as sets, in fact, you should avoid such unnatural definitions. I don't think a number theorist would be happy to see a proof referring to elements of a natural nu …
Sergei Ivanov's user avatar