Fine Structure And Iteration Trees


Download Fine Structure And Iteration Trees PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Fine Structure And Iteration Trees book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.

Download

Fine Structure and Iteration Trees


Fine Structure and Iteration Trees

Author: William J. Mitchell

language: en

Publisher: Cambridge University Press

Release Date: 2017-03-02


DOWNLOAD





Mitchell and Steel construct an inner model with a Woodin cardinal and develop its fine structure theory using the theory of iteration trees. This work builds upon the existing theory of a model of the form L[E], where E is a coherent sequence of extenders.

Fine Structure and Iteration Trees


Fine Structure and Iteration Trees

Author: William J. Mitchell

language: en

Publisher: Cambridge University Press

Release Date: 2017-03-02


DOWNLOAD





Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the third publication in the Lecture Notes in Logic series, Mitchell and Steel construct an inner model with a Woodin cardinal and develop its fine structure theory. This work builds upon the existing theory of a model of the form L[E], where E is a coherent sequence of extenders, and relies upon the fine structure theory of L[E] models with strong cardinals, and the theory of iteration trees and 'backgrounded' L[E] models with Woodin cardinals. This work is what results when fine structure meets iteration trees.

Sets and Extensions in the Twentieth Century


Sets and Extensions in the Twentieth Century

Author:

language: en

Publisher: Elsevier

Release Date: 2012-01-24


DOWNLOAD





Set theory is an autonomous and sophisticated field of mathematics that is extremely successful at analyzing mathematical propositions and gauging their consistency strength. It is as a field of mathematics that both proceeds with its own internal questions and is capable of contextualizing over a broad range, which makes set theory an intriguing and highly distinctive subject. This handbook covers the rich history of scientific turning points in set theory, providing fresh insights and points of view. Written by leading researchers in the field, both this volume and the Handbook as a whole are definitive reference tools for senior undergraduates, graduate students and researchers in mathematics, the history of philosophy, and any discipline such as computer science, cognitive psychology, and artificial intelligence, for whom the historical background of his or her work is a salient consideration - Serves as a singular contribution to the intellectual history of the 20th century - Contains the latest scholarly discoveries and interpretative insights