Skip to main content
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
Search options not deleted user 76572

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 …
Cosmonut's user avatar
  • 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 …
Cosmonut's user avatar
  • 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 …
Cosmonut's user avatar
  • 801
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 …
Cosmonut's user avatar
  • 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 …
Cosmonut's user avatar
  • 801