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 1631
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.
8
votes
Clearing misconceptions: Defining "is a model of ZFC" in ZFC
I suspect these sorts of problems arise in two ways: ignoring wrongness (e.g. Skolem's paradox, that there are countable models of set theory which believe in uncountable sets) and ignoring first-orde …
- 1,987
8
votes
Accepted
Subset of the plane that intersects every line exactly twice
By AC, choose a cardinal well-ordering of the lines in in the plane and any well-ordering of all the points.
We proceed by transfinite induction.
Suppose $A_l$ is a set of points, no three colinear, …
- 1,987