Holdings: Constructibility :: THWS Bibkatalog

Constructibility:

Saved in:

Bibliographic Details
Main Author:	Devlin, Keith J. 1947- (Author)
Format:	Book
Language:	English
Published:	Berlin [u.a.] Springer 1984
Series:	Perspectives in mathematical logic
Subjects:	Constructibilité (Théorie des ensembles) Logica Logik Constructibility (Set theory) Konstruierbarkeit > Mathematik
Online Access:	Inhaltsverzeichnis
Physical Description:	XI, 425 S.
ISBN:	3540132589 0387132589

Staff View

MARC


LEADER	00000nam a2200000 c 4500
001	BV000323770
003	DE-604
005	20141218
007	t
008	870612s1984 \|\|\|\| 00\|\|\| eng d
020			\|a 3540132589 \|9 3-540-13258-9
020			\|a 0387132589 \|9 0-387-13258-9
035			\|a (OCoLC)10697219
035			\|a (DE-599)BVBBV000323770
040			\|a DE-604 \|b ger \|e rakwb
041	0		\|a eng
049			\|a DE-12 \|a DE-91G \|a DE-19 \|a DE-384 \|a DE-703 \|a DE-739 \|a DE-706 \|a DE-634 \|a DE-83 \|a DE-11 \|a DE-188
050		0	\|a QA248
082	0		\|a 511.3/22 \|2 19
084			\|a CC 2600 \|0 (DE-625)17610: \|2 rvk
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
084			\|a SK 150 \|0 (DE-625)143218: \|2 rvk
084			\|a SK 155 \|0 (DE-625)143219: \|2 rvk
084			\|a MAT 030f \|2 stub
084			\|a 03E05 \|2 msc
084			\|a 03E45 \|2 msc
084			\|a MAT 040f \|2 stub
084			\|a 03E55 \|2 msc
084			\|a 03-02 \|2 msc
100	1		\|a Devlin, Keith J. \|d 1947- \|e Verfasser \|0 (DE-588)123265460 \|4 aut
245	1	0	\|a Constructibility \|c Keith J. Devlin
264		1	\|a Berlin [u.a.] \|b Springer \|c 1984
300			\|a XI, 425 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a Perspectives in mathematical logic
650		4	\|a Constructibilité (Théorie des ensembles)
650		7	\|a Logica \|2 gtt
650		4	\|a Logik
650		4	\|a Constructibility (Set theory)
650	0	7	\|a Konstruierbarkeit \|g Mathematik \|0 (DE-588)4165094-3 \|2 gnd \|9 rswk-swf
689	0	0	\|a Konstruierbarkeit \|g Mathematik \|0 (DE-588)4165094-3 \|D s
689	0		\|5 DE-604
856	4	2	\|m HBZ Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000199168&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
940	1		\|q TUB-www
999			\|a oai:aleph.bib-bvb.de:BVB01-000199168

Record in the Search Index

_version_	1804114789088100352
adam_text	Contents Part A. Elementary Theory Chapter I. Preliminaries 3 1. The Language of Set Theory 3 2. The Zermelo Fraenkel Axioms 4 3. Elementary Theory of ZFC 6 4. Ordinal Numbers 12 5. Cardinal Numbers 13 6. Closed Unbounded Sets 20 7. The Collapsing Lemma 22 8. Metamathematics of Set Theory 24 9. The Language £CV 31 10. Definability 44 11. Kripke Platek Set Theory. Admissible Sets 48 Chapter II. The Constructible Universe 56 1. Definition of the Constructible Universe 57 2. The Constructible Hierarchy. The Axiom of Constructibility ... 63 3. The Axiom of Choice in L 71 4. Constructibility and Relative Consistency Results 77 5. The Condensation Lemma. The GCH in L 78 6. £„ Skolem Functions 85 7. Admissible Ordinals 95 Chapter III. a^ Trees in L 108 1. The Souslin Problem, tu, Trees. Aronszajn Trees 108 2. The Kurepa Hypothesis 118 3. Some Combinatorial Principles Related to the Previous Constructions 122 X Contents Chapter IV. k + Trees in L and the Fine Structure Theory 137 1. /c + Trees 137 2. /c + Souslin Trees 138 3. K + Kurepa Trees 149 4. The Fine Structure Theory 152 5. The Combinatorial Principle DK 158 Chapter V. The Story of 0# 169 1. A Brief Review of Large Cardinals 169 2. L Indiscernibles and 0* 176 3. Definability of 0* 185 4. 0* and Elementary Embeddings 188 5. The Covering Lemma 196 Part B. Advanced Theory Chapter VI. The Fine Structure Theory 225 1. Rudimentary Functions 225 2. The Jensen Hierarchy of Constructible Sets 251 3. The Z, Skolem Function 258 4. The En Projectum 266 5. Standard Codes 274 6. An Application: A Global ? Principle 284 Chapter VII. Trees and Large Cardinals in L 303 1. Weakly Compact Cardinals and K Souslin Trees 303 2. Ineffable Cardinals and /c Kurepa Trees 312 3. Generalised Kurepa Families and the Priciples O^x 319 Chapter VIII. Morasses and the Cardinal Transfer Theorem 332 1. Cardinal Transfer Theorems 332 2. Gap 1 Morasses 338 3. The Gap 2 Cardinal Transfer Theorem 359 4. Simplified Morasses 369 5. Gap M Morasses 378 Chapter IX. Silver Machines 383 1. Silver Machines 383 2. The Combinatorial Principle ? 391 Contents XI Remarks and Historical Notes 409 Bibliography 415 Glossary of Notation 419 Index 422
any_adam_object	1
author	Devlin, Keith J. 1947-
author_GND	(DE-588)123265460
author_facet	Devlin, Keith J. 1947-
author_role	aut
author_sort	Devlin, Keith J. 1947-
author_variant	k j d kj kjd
building	Verbundindex
bvnumber	BV000323770
callnumber-first	Q - Science
callnumber-label	QA248
callnumber-raw	QA248
callnumber-search	QA248
callnumber-sort	QA 3248
callnumber-subject	QA - Mathematics
classification_rvk	CC 2600 SK 130 SK 150 SK 155
classification_tum	MAT 030f MAT 040f
ctrlnum	(OCoLC)10697219 (DE-599)BVBBV000323770
dewey-full	511.3/22
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	511 - General principles of mathematics
dewey-raw	511.3/22
dewey-search	511.3/22
dewey-sort	3511.3 222
dewey-tens	510 - Mathematics
discipline	Mathematik Philosophie
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01863nam a2200529 c 4500</leader><controlfield tag="001">BV000323770</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20141218 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">870612s1984 \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540132589</subfield><subfield code="9">3-540-13258-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387132589</subfield><subfield code="9">0-387-13258-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)10697219</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV000323770</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA248</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3/22</subfield><subfield code="2">19</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 150</subfield><subfield code="0">(DE-625)143218:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 155</subfield><subfield code="0">(DE-625)143219:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 030f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03E05</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03E45</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 040f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03E55</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03-02</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Devlin, Keith J.</subfield><subfield code="d">1947-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)123265460</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Constructibility</subfield><subfield code="c">Keith J. Devlin</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1984</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 425 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Perspectives in mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Constructibilité (Théorie des ensembles)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Constructibility (Set theory)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Konstruierbarkeit</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4165094-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Konstruierbarkeit</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4165094-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000199168&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">TUB-www</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-000199168</subfield></datafield></record></collection>
id	DE-604.BV000323770
illustrated	Not Illustrated
indexdate	2024-07-09T15:12:18Z
institution	BVB
isbn	3540132589 0387132589
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-000199168
oclc_num	10697219
open_access_boolean
owner	DE-12 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-703 DE-739 DE-706 DE-634 DE-83 DE-11 DE-188
owner_facet	DE-12 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-703 DE-739 DE-706 DE-634 DE-83 DE-11 DE-188
physical	XI, 425 S.
psigel	TUB-www
publishDate	1984
publishDateSearch	1984
publishDateSort	1984
publisher	Springer
record_format	marc
series2	Perspectives in mathematical logic
spelling	Devlin, Keith J. 1947- Verfasser (DE-588)123265460 aut Constructibility Keith J. Devlin Berlin [u.a.] Springer 1984 XI, 425 S. txt rdacontent n rdamedia nc rdacarrier Perspectives in mathematical logic Constructibilité (Théorie des ensembles) Logica gtt Logik Constructibility (Set theory) Konstruierbarkeit Mathematik (DE-588)4165094-3 gnd rswk-swf Konstruierbarkeit Mathematik (DE-588)4165094-3 s DE-604 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000199168&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Devlin, Keith J. 1947- Constructibility Constructibilité (Théorie des ensembles) Logica gtt Logik Constructibility (Set theory) Konstruierbarkeit Mathematik (DE-588)4165094-3 gnd
subject_GND	(DE-588)4165094-3
title	Constructibility
title_auth	Constructibility
title_exact_search	Constructibility
title_full	Constructibility Keith J. Devlin
title_fullStr	Constructibility Keith J. Devlin
title_full_unstemmed	Constructibility Keith J. Devlin
title_short	Constructibility
title_sort	constructibility
topic	Constructibilité (Théorie des ensembles) Logica gtt Logik Constructibility (Set theory) Konstruierbarkeit Mathematik (DE-588)4165094-3 gnd
topic_facet	Constructibilité (Théorie des ensembles) Logica Logik Constructibility (Set theory) Konstruierbarkeit Mathematik
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000199168&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT devlinkeithj constructibility

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes

MARC

Record in the Search Index

There is no print copy available.

Similar Items