All Questions
2 questions
5
votes
1
answer
347
views
What is a 'power admissible model'?
Q: What exactly is a power admissible model?
Background: Admissible models, introduced by Jon Barwise, form the building blocks of inner model theory. They are transitive models $\mathcal M = (M; \in)...
- 1,080
4
votes
1
answer
242
views
Mitchell, Steel. FSIT. Lemma 2.8: Is $k$-solidity actually needed?
Consider the following result (which is Lemma 2.8 in Mitchell and Steel's paper on Fine Structure and Iteration Trees):
Lemma 2.8 Let $\pi \colon \mathcal{H} \to \mathcal{M}$ be generalized $r \...
- 1,080