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 |
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
3
answers
2k
views
Surreal Numbers and Set Theory
Hello,
I looked through MathOverflow's existing entries but couldn't find a satisfactory answer to the following question:
What is the relationship between No, Conway's class of surreal numbers, and …
4
votes
(Non?)-linearity of the consistency strength ordering in ZF
My understanding is that the large cardinals are indeed linearly ordered, which is a remarkable fact. Of course, it is not a theorem (nor could it ever be?), but merely an empirical fact; still, there …
38
votes
5
answers
9k
views
Completion of ZFC
I attended a talk given by W. Hugh Woodin regarding the Ultimate L axiom and I wanted to verify my current understanding of what the search for this axiom means. I find it to be a fascinating topic bu …
20
votes
2
answers
4k
views
Logically independent but true sentences
My question is of a logical nature and concerns what I perceive to be two different types of mathematical independence.
Suppose we have a (sufficiently strong) axiomatic theory $T$. Gödel's Incomplet …
14
votes
1
answer
865
views
Set theoretical realizations of the hidden variables program in quantum mechanics
The hidden variables program in quantum mechanics has been largely discredited by two powerful theorems, namely those of Bell and Kochen/Specker. Nonetheless, this program retains a certain philosophi …