National Science Library of Georgia

Fine structure and iteration trees / (Record no. 515649)

MARC details
000 -LEADER
fixed length control field 02019nam a22003618i 4500
001 - CONTROL NUMBER
control field CR9781316718315
003 - CONTROL NUMBER IDENTIFIER
control field UkCbUP
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20200124160209.0
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS--GENERAL INFORMATION
fixed length control field m|||||o||d||||||||
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr||||||||||||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 160222s2016||||enk o ||1 0|eng|d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781316718315 (ebook)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Cancelled/invalid ISBN 9781107169098 (hardback)
040 ## - CATALOGING SOURCE
Original cataloging agency UkCbUP
Language of cataloging eng
Description conventions rda
Transcribing agency UkCbUP
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA9.56
Item number .M58 2016
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3
Edition number 23
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Mitchell, William J.,
Relator term author.
245 10 - TITLE STATEMENT
Title Fine structure and iteration trees /
Statement of responsibility, etc William J. Mitchell, John R. Steel.
264 #1 - Production, Publication, Distribution, Manufacture, and Copyright Notice (R)
Place of production, publication, distribution, manufacture (R) Cambridge :
Name of producer, publisher, distributor, manufacturer (R) Cambridge University Press,
Date of production, publication, distribution, manufacture, or copyright notice 2016.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (130 pages) :
Other physical details digital, PDF file(s).
336 ## - Content Type (R)
Content type term (R) text
Content type code (R) txt
Source (NR) rdacontent
337 ## - Media Type (R)
Media type term (R) computer
Media type code (R) c
Source (NR) rdamedia
338 ## - Carrier Type (R)
Carrier type term (R) online resource
Carrier type code (R) cr
Source (NR) rdacarrier
490 1# - SERIES STATEMENT
სერიის ცნობა Lecture notes in logic ;
Volume number/sequential designation 3
500 ## - GENERAL NOTE
General note Title from publisher's bibliographic system (viewed on 14 Apr 2017).
520 ## - SUMMARY, ETC.
Summary, etc 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.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Constructive mathematics.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Set theory.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Steel, J. R.
Fuller form of name (John R.),
Dates associated with a name 1948-
Relator term author.
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Display text Print version:
International Standard Book Number 9781107169098
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in logic ;
Volume number/sequential designation 3.
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://doi.org/10.1017/9781316718315">https://doi.org/10.1017/9781316718315</a>

No items available.

Copyright © 2023 Sciencelib.ge All rights reserved.