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 | |
Results tagged with set-theory
Search options not deleted
user 5513
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.
12
votes
3
answers
1k
views
Drawing conclusions by NOT using AC.
The existence of non-measurable subsets and functions on $\mathbb{R}$ require the use of the axiom of choice. That is, there exist models of ZF in which all subsets of (and hence all functions defined …
- 3,631
6
votes
Accepted
Cardinality of the set of all paths in the infinite complete infinitary tree
Assuming your path has countable length, the set of all paths in a $k$-ary tree will have cardinality $k^{\aleph_0}$. Indeed, at each step you have $k$ choices, and there are $\aleph_0$ steps (think o …
- 4,790
3
votes
Accepted
Ultrafilters containing the image of a filter
Note that the image of a filter on $X$ will be $G$ if and only if it contains the filter consisting of all preimages of ''big'' sets in $Y$. Note also that we can combine two filters $F$ and $F'$ (tha …
- 4,790