arXiv Analytics

Sign in

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.

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