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 inner-model-theory
Search options answers only
not deleted
user 9269
The study of canonical inner models for large cardinal hypotheses, with particular attention to their fine structure theory, and iterability issues.
24
votes
Accepted
Classifying set theories whose standard models sharing the same ordinals are equal
In this edit, the statement of Friedman's theorem is reformulated (the previous formulation was incorrectly stated). Thanks to Dmytro Taranovsky and Farmer Schultzenberg for pointing out the blooper. …
- 17.7k
6
votes
Minimum transitive models and V=L
Here is another partial result; it complements Joel Hamkins' answer. Note that in the following theorem, $T$ is not necessarily a c.e. theory.
Theorem. Suppose $T$ is an extension of $\mathrm{ZF} + \e …
- 17.7k