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 498641

The study of canonical inner models for large cardinal hypotheses, with particular attention to their fine structure theory, and iterability issues.

8 votes
0 answers
152 views

In the construction of $K^c$ for sequences of measures, why do we only add measures of cofin...

$\require{cancel}$ I have a question about the definition of $K^c$ for sequences of measures in Mitchell's "The Covering Lemma" chapter in the Handbook. I will give the definition he gives here, but f …
8 votes
0 answers
175 views

What is the exact consistency strength, if known, of the precipitousness of $I_{\text{NS}}$ ...

The question is in the title. Jech states in his book on page 696 that the consistency strength is "in the region of Woodin cardinals," which is frustratingly imprecise. I tried to find a reference fo …