000			02019nam a22003618i 4500
001			CR9781316718315
003			UkCbUP
005			20200124160209.0
006			m|||||o||d||||||||
007			cr||||||||||||
008			160222s2016||||enk o ||1 0|eng|d
020			_a9781316718315 (ebook)
020			_z9781107169098 (hardback)
040			_aUkCbUP _beng _erda _cUkCbUP
050		4	_aQA9.56 _b.M58 2016
082	0	4	_a511.3 _223
100	1		_aMitchell, William J., _eauthor.
245	1	0	_aFine structure and iteration trees / _cWilliam J. Mitchell, John R. Steel.
264		1	_aCambridge : _bCambridge University Press, _c2016.
300			_a1 online resource (130 pages) : _bdigital, PDF file(s).
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
490	1		_aLecture notes in logic ; _v3
500			_aTitle from publisher's bibliographic system (viewed on 14 Apr 2017).
520			_aSince 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.
650		0	_aConstructive mathematics.
650		0	_aSet theory.
700	1		_aSteel, J. R. _q(John R.), _d1948- _eauthor.
776	0	8	_iPrint version: _z9781107169098
830		0	_aLecture notes in logic ; _v3.
856	4	0	_uhttps://doi.org/10.1017/9781316718315
999			_c515649 _d515647