References & Citations
Mathematics > Logic
Title: The fine structure of operator mice
(Submitted on 31 Mar 2016 (v1), last revised 7 Apr 2016 (this version, v2))
Abstract: 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.
Submission history
From: Farmer Schlutzenberg [view email][v1] Thu, 31 Mar 2016 23:57:14 GMT (42kb)
[v2] Thu, 7 Apr 2016 21:07:33 GMT (41kb)
Link back to: arXiv, form interface, contact.