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.
20
votes
3
answers
2k
views
Ordering of large cardinals by cardinality
Let Type A and Type B be two types of large cardinals from, say, Cantor's Attic (http://cantorsattic.info/Upper_attic)
Now assuming that ZFC + Type A + Type B is consistent (ie, both Type A and Type …
2
votes
1
answer
1k
views
Wholeness Axiom and Ultimate L
From what I understand:
The Wholeness Axiom(s) is/are the "ultimate axioms of infinity", bordering on inconsistency with ZFC.
Ultimate L (Completion of ZFC) attempts to extend the orderly world of c …
13
votes
4
answers
1k
views
Large cardinal consistency strength and size
My understanding is that large cardinals are ordered by "consistency strength", but how does this correlate with their size (cardinality)?
More specifically, are there any systematic results on the l …
31
votes
5
answers
3k
views
Why should we care about "higher infinities" outside of set theory?
Let's say you are a prospective mathematician with some addled ideas about cardinality.
If you assumed that the natural numbers were finite, you'd quickly vanish in a puff of logic. :)
If you though …
6
votes
1
answer
1k
views
Replacing Axiom of Choice with Axiom of Countable Choice
Many people find ACC more intuitive than AC ("Pick something from the first set, then something from the second set, then...) and it also doesn't lead to "controversial consequences" (See for eg: Pecu …