Fine Structure and Class Forcing. (Record no. 64224)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 02889nam a22004693i 4500 |
001 - CONTROL NUMBER | |
control field | EBC3040572 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | MiAaPQ |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20240729124316.0 |
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS | |
fixed length control field | m o d | |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
fixed length control field | cr cnu|||||||| |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 240724s2000 xx o ||||0 eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9783110809114 |
Qualifying information | (electronic bk.) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
Canceled/invalid ISBN | 9783110167771 |
035 ## - SYSTEM CONTROL NUMBER | |
System control number | (MiAaPQ)EBC3040572 |
035 ## - SYSTEM CONTROL NUMBER | |
System control number | (Au-PeEL)EBL3040572 |
035 ## - SYSTEM CONTROL NUMBER | |
System control number | (CaPaEBR)ebr10588386 |
035 ## - SYSTEM CONTROL NUMBER | |
System control number | (CaONFJC)MIL558740 |
035 ## - SYSTEM CONTROL NUMBER | |
System control number | (OCoLC)842582021 |
040 ## - CATALOGING SOURCE | |
Original cataloging agency | MiAaPQ |
Language of cataloging | eng |
Description conventions | rda |
-- | pn |
Transcribing agency | MiAaPQ |
Modifying agency | MiAaPQ |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
Classification number | QA9.7 -- .F75 2000eb |
082 0# - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 511.322 |
100 1# - MAIN ENTRY--PERSONAL NAME | |
Personal name | Friedman, Sy D. |
245 10 - TITLE STATEMENT | |
Title | Fine Structure and Class Forcing. |
250 ## - EDITION STATEMENT | |
Edition statement | 1st ed. |
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
Place of production, publication, distribution, manufacture | Berlin/Boston : |
Name of producer, publisher, distributor, manufacturer | Walter de Gruyter GmbH, |
Date of production, publication, distribution, manufacture, or copyright notice | 2000. |
264 #4 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
Date of production, publication, distribution, manufacture, or copyright notice | ©2000. |
300 ## - PHYSICAL DESCRIPTION | |
Extent | 1 online resource (232 pages) |
336 ## - CONTENT TYPE | |
Content type term | text |
Content type code | txt |
Source | rdacontent |
337 ## - MEDIA TYPE | |
Media type term | computer |
Media type code | c |
Source | rdamedia |
338 ## - CARRIER TYPE | |
Carrier type term | online resource |
Carrier type code | cr |
Source | rdacarrier |
490 1# - SERIES STATEMENT | |
Series statement | De Gruyter Series in Logic and Its Applications Series ; |
Volume/sequential designation | v.3 |
505 0# - FORMATTED CONTENTS NOTE | |
Formatted contents note | Intro -- Preface -- 1 The Σ* Approach to the Fine Structure of L -- 1.1 The J-Hierarchy -- 1.2 Fine Structure Theory -- 1.3 Morasses -- 2 Forcing -- 2.1 Set Forcing -- 2.2 Class Forcing -- 2.3 Examples -- 3 Construction of Generic Classes -- 3.1 Rigidity -- 3.2 Relevant Forcing -- 4 The Coding Theorem -- 4.1 Three Questions of Solovay -- 4.2 The Coding Theorem without 0# -- 4.3 The Coding Theorem in the General Case -- 4.4 Large Cardinal Preservation and Relevance -- 5 The Genericity Problem -- 5.1 Jensen's Example and a New Conjecture -- 5.2 Perturbing the Indiscernibles -- 5.3 Generic Saturation -- 6 The π12-Singleton Problem -- 6.1 An Absolute Singleton -- 6.2 David's Trick -- 6.3 Other Applications -- 7 The Admissibility Spectrum Problem -- 7.1 Killing Admissibles -- 7.2 Strong Coding -- 7.3 Other Spectra -- 8 Further Applications of Class Forcing -- 8.1 Δ1-Coding -- 8.2 Iterated Class Forcing -- 8.3 Minimal Coding -- 8.4 Further Applications to Descriptive Set Theory -- Some Open Problems -- References -- Index. |
520 ## - SUMMARY, ETC. | |
Summary, etc. | No detailed description available for "Fine Structure and Class Forcing". |
588 ## - SOURCE OF DESCRIPTION NOTE | |
Source of description note | Description based on publisher supplied metadata and other sources. |
590 ## - LOCAL NOTE (RLIN) | |
Local note | Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2024. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Forcing (Model theory). |
655 #4 - INDEX TERM--GENRE/FORM | |
Genre/form data or focus term | Electronic books. |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
Relationship information | Print version: |
Main entry heading | Friedman, Sy D. |
Title | Fine Structure and Class Forcing |
Place, publisher, and date of publication | Berlin/Boston : Walter de Gruyter GmbH,c2000 |
International Standard Book Number | 9783110167771 |
797 2# - LOCAL ADDED ENTRY--CORPORATE NAME (RLIN) | |
Corporate name or jurisdiction name as entry element | ProQuest (Firm) |
830 #3 - SERIES ADDED ENTRY--UNIFORM TITLE | |
Uniform title | De Gruyter Series in Logic and Its Applications Series |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | <a href="https://ebookcentral.proquest.com/lib/orpp/detail.action?docID=3040572">https://ebookcentral.proquest.com/lib/orpp/detail.action?docID=3040572</a> |
Public note | Click to View |
No items available.