Cambridge University Press - A Comparison Process for Mouse Pairs

Explore advanced mathematical logic with A Comparison Process for Mouse Pairs: 51, part of the Lecture Notes in Logic series. This specialized text from Cambridge University Press addresses central topics in modern set theory by proving significant new theorems regarding the theory of canonical inner models for large cardinal hypotheses. The book provides a comprehensive look at Fine Structure and Iteration Trees (FSIT). The author completes this theory by proving a comparison theorem for mouse pairs that runs parallel to the FSIT comparison theorem for pure extender mice. By utilizing the underlying comparison process, the text develops a fine structure theory specifically for strategy mice. Designed for both specialists and students, this work makes a complex subject accessible. It serves as an effective introduction for those new to these specific mathematical concepts while providing deep technical insights for established researchers in mathematical foundations and logic.