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 questions only
not deleted
user 479330
6
votes
0
answers
173
views
Is there a characterization of measurables in terms of indiscernibles?
There is a characterization of $\alpha$-Erdős cardinals in terms of sets of indiscernibles of order type $\alpha$. There is also a characterization of Ramsey cardinals in terms of sets of good indisce …
- 2,031
9
votes
0
answers
266
views
Has a computer search for inconsistency of large cardinals been carried out before?
In discussion about the consistency of large cardinals, a justification which occasionally appears is that despite years of work, no inconsistency has currently been discovered. For example, here are …
- 2,031
4
votes
0
answers
166
views
Recording of 2009 lecture on Harvey Friedman's work
On December 13--20 2009 at Bristol, there was a meeting devoted to thorough dissection of Harvey Friedman's work on the foundations of mathematics and his statements claimed to be equivalent to consis …
- 2,031
7
votes
1
answer
759
views
Must there be a proper class of Reinhardt cardinals if there is a Reinhardt cardinal?
A cardinal is Reinhardt if $\kappa$ is the critical point of a nontrivial elementary embedding of $V$ to itself, where $V$ is the class of all sets. As Reinhardt cardinals are inconsistent with $\math …
- 2,031
11
votes
1
answer
424
views
1970 question of Reinhardt - how large is this ordinal?
On page 241 of William Reinhardt's paper "Ackermann's set theory equals ZF" (Annals of Math. Logic vol. 2, 1970), question 4.15 is the following:
How large is the first ordinal $\gamma$ such that the …
- 2,031
2
votes
0
answers
206
views
Some questions about the Hyperuniverse Program
The Hyperuniverse Program, founded by Sy D. Friedman, intends to produce new second-order axioms of set theory which appropriately formalize "the universe is maximal" in one of a few ways. A height-ma …
- 2,031