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 large-cardinals
Search options not deleted
user 76572
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 …
- 801
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 …
- 801
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 …
- 801
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 …
- 801