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 10384
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.
7
votes
0
answers
511
views
Fragments of Morse—Kelley set theory
Morse—Kelley set theory (hereafter MK) is the impredicative counterpart of von Neumann—Bernays—Gödel set theory (NBG), where formulas containing class quantifiers are permitted in the comprehension sc …
- 1,094
10
votes
How much choice is needed to show that formally real fields can be ordered?
Let me give an answer from a different perspective. Konrad Swanepoel's accepted answer shows what happens in the general case, for formally real fields of any cardinality. However, it is possible to c …
- 1,094
10
votes
Ultrainfinitism, or a step beyond the transfinite
Perhaps you could take a look at William Reinhardt's paper 'Remarks on reflection principles, large cardinals, and elementary embeddings' (1974). Reinhardt suggests extending the set-theoretic univers …
- 1,094