arXiv:1604.00083 [math.LO]AbstractReferencesReviewsResources
The fine structure of operator mice
Farmer Schlutzenberg, Nam Trang
Published 2016-03-31Version 1
We develop the theory of abstract fine structural operators and operator-premice. We identify properties, which we require of operator-premice and operators, which ensure that certain basic facts about standard premice generalize. We define fine condensation for operators $\mathcal{F}$ and show that fine condensation and iterability together ensure that $\mathcal{F}$-mice have the fundamental fine structural properties including universality and solidity of the standard parameter.
Comments: 47 pages
Categories: math.LO
Related articles: Most relevant | Search more
arXiv:math/0605448 [math.LO] (Published 2006-05-16)
Scales and the fine structure of K(R). Part II: Weak real mice and scales
arXiv:2011.10037 [math.LO] (Published 2020-11-19)
Fine structure from normal iterability
arXiv:2306.13827 [math.LO] (Published 2023-06-24)
The initial segment condition for $κ^+$-supercompactness