|
|
|
|
LEADER |
02206nmm a2200433 u 4500 |
001 |
EB002120530 |
003 |
EBX01000000000000001258587 |
005 |
00000000000000.0 |
007 |
cr||||||||||||||||||||| |
008 |
221028 ||| eng |
020 |
|
|
|a 0080963196
|
020 |
|
|
|a 9780080963198
|
020 |
|
|
|a 9786612286797
|
050 |
|
4 |
|a QA248
|
100 |
1 |
|
|a Moschovakis, Yiannis N.
|
245 |
0 |
0 |
|a Descriptive set theory
|c Yiannis N. Moschovakis
|
260 |
|
|
|a Amsterdam
|b North-Holland
|c 1980, 1980
|
300 |
|
|
|a xii, 637 pages
|b illustrations
|
505 |
0 |
|
|a Includes bibliographical references (pages 613-622) and index
|
505 |
0 |
|
|a 8C. Definability in the universe of sets8D. Gödel's model of constructible sets; 8E. Absoluteness; 8F. The basic facts about L; 8G. Regularity results and inner models; 8H. On the theory of indiscernibles; 8I. Some remarks about strong hypotheses; 8J. Historical remarks; References and Index to References; Subject Index; Index of Symbols
|
653 |
|
|
|a Set theory / http://id.loc.gov/authorities/subjects/sh85120387
|
653 |
|
|
|a Verzamelingen (wiskunde) / gtt
|
653 |
|
|
|a MATHEMATICS / Logic / bisacsh
|
653 |
|
|
|a Descriptive set theory / fast / (OCoLC)fst00891133
|
653 |
|
|
|a Théorie des ensembles
|
653 |
|
|
|a Set theory / fast / (OCoLC)fst01113587
|
653 |
|
|
|a Théorie descriptive des ensembles
|
653 |
|
|
|a Descriptive set theory / http://id.loc.gov/authorities/subjects/sh85037130
|
653 |
|
|
|a MATHEMATICS / Infinity / bisacsh
|
041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
989 |
|
|
|b ZDB-1-ELC
|a Elsevier eBook collection Mathematics
|
490 |
0 |
|
|a Studies in logic and the foundations of mathematics
|
776 |
|
|
|z 9780444701992
|
776 |
|
|
|z 0080963196
|
776 |
|
|
|z 0444853057
|
776 |
|
|
|z 9780080963198
|
856 |
4 |
0 |
|u https://www.sciencedirect.com/science/bookseries/0049237X/100
|x Verlag
|3 Volltext
|
082 |
0 |
|
|a 511/.3
|
520 |
|
|
|a Now available in paperback, this monograph is a self-contained exposition of the main results and methods of descriptive set theory. It develops all the necessary background material from logic and recursion theory, and treats both classical descriptive set theory and the effective theory developed by logicians
|