Constructibility (Perspectives in Mathematical Logic) - Hardcover

Devlin, Keith

 
9783540132585: Constructibility (Perspectives in Mathematical Logic)
Hardcover
ISBN 10: 3540132589 ISBN 13: 9783540132585
Verlag: Springer Verlag, 1998

Inhaltsangabe

This book is intended to give a fairly comprehensive account of the theory of constructible sets at an advanced level. The intended reader is a graduate mathe- matician with some knowledge of mathematical logic. In particular, we assume familiarity with the notions of formal languages, axiomatic theories in formal languages, logical deductions in such theories, and the interpretation oflanguages in structures. Practically any introductory text on mathematical logic will supply the necessary material. We also assume some familiarity with Zermelo-Fraenkel set theory up to the development or ordinal and cardinal numbers. Any number of texts would suffice here, for instance Devlin (1979) or Levy (1979). The book is not intended to provide a complete coverage of the many and diverse applications of the methods of constructibility theory, rather the theory itself. Such applications as are given are there to motivate and to exemplify the theory. The book is divided into two parts. Part A ("Elementary Theory") deals with the classical definition of the La-hierarchy of constructible sets. With some prun- ing, this part could be used as the basis of a graduate course on constructibility theory. Part B ("Advanced Theory") deals with the fa-hierarchy and the Jensen "fine-structure theory".

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

This book is intended to give a fairly comprehensive account of the theory of constructible sets at an advanced level. The intended reader is a graduate mathe­ matician with some knowledge of mathematical logic. In particular, we assume familiarity with the notions of formal languages, axiomatic theories in formal languages, logical deductions in such theories, and the interpretation oflanguages in structures. Practically any introductory text on mathematical logic will supply the necessary material. We also assume some familiarity with Zermelo-Fraenkel set theory up to the development or ordinal and cardinal numbers. Any number of texts would suffice here, for instance Devlin (1979) or Levy (1979). The book is not intended to provide a complete coverage of the many and diverse applications of the methods of constructibility theory, rather the theory itself. Such applications as are given are there to motivate and to exemplify the theory. The book is divided into two parts. Part A ("Elementary Theory") deals with the classical definition of the La-hierarchy of constructible sets. With some prun­ ing, this part could be used as the basis of a graduate course on constructibility theory. Part B ("Advanced Theory") deals with the fa-hierarchy and the Jensen "fine-structure theory".

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer Verlag
Erscheinungsdatum
1998
Sprache
Englisch
ISBN 10 
3540132589
ISBN 13 
9783540132585
Einband
Tapa dura
Anzahl der Seiten
439
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland

Weitere beliebte Ausgaben desselben Titels

9781107168350: Constructibility: 6 (Perspectives in Logic, Series Number 6)

Vorgestellte Ausgabe

ISBN 10:  110716835X ISBN 13:  9781107168350
Verlag: Cambridge University Press, 2017
Hardcover