Back to Search
Start Over
Comparison of fine structural mice via coarse iteration
- Source :
- Archive for Mathematical Logic, August 2014, Volume 53, Issue 5-6, pp 539-559
- Publication Year :
- 2013
-
Abstract
- Let M be a fine structural mouse. Let D be a fully backgrounded L[E]-construction computed inside an iterable coarse premouse S. We describe a process comparing M with D, through forming iteration trees on M and on S. We then prove that this process succeeds.
- Subjects :
- Mathematics - Logic
03E45, 03E55
Subjects
Details
- Database :
- arXiv
- Journal :
- Archive for Mathematical Logic, August 2014, Volume 53, Issue 5-6, pp 539-559
- Publication Type :
- Report
- Accession number :
- edsarx.1309.6363
- Document Type :
- Working Paper
- Full Text :
- https://doi.org/10.1007/s00153-014-0379-6