Verfügbarkeit: Fine structure and iteration trees | Technische Universität München

Fine structure and iteration trees:

Gespeichert in:

Bibliographische Detailangaben
Beteiligte Personen:	Mitchell, William J. (VerfasserIn), Steel, John R. 1948- (VerfasserIn)
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	Berlin [u.a.] Springer 1994
Schriftenreihe:	Lecture notes in logic 3
Schlagwörter:	Ensembles, Théorie des Mathématiques constructives Constructive mathematics Set theory Feinstruktur > Mengenlehre Woodin-Kardinalzahl Inneres Modell
Links:	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005878296&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Umfang:	130 S.
ISBN:	3540574948 0387574948

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV008885499
003	DE-604
005	20160707
007	t\|
008	940207s1994 gw \|\|\|\| 00\|\|\| eng d
016	7		\|a 940293722 \|2 DE-101
020			\|a 3540574948 \|9 3-540-57494-8
020			\|a 0387574948 \|9 0-387-57494-8
035			\|a (OCoLC)29913772
035			\|a (DE-599)BVBBV008885499
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c DE
049			\|a DE-12 \|a DE-91G \|a DE-739 \|a DE-703 \|a DE-19 \|a DE-634 \|a DE-83 \|a DE-11 \|a DE-188
050		0	\|a QA9.56
082	0		\|a 511.3 \|2 20
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 03E45 \|2 msc
084			\|a MAT 030f \|2 stub
100	1		\|a Mitchell, William J. \|e Verfasser \|4 aut
245	1	0	\|a Fine structure and iteration trees \|c William J. Mitchell ; John R. Steel
264		1	\|a Berlin [u.a.] \|b Springer \|c 1994
300			\|a 130 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture notes in logic \|v 3
650		4	\|a Ensembles, Théorie des
650		4	\|a Mathématiques constructives
650		4	\|a Constructive mathematics
650		4	\|a Set theory
650	0	7	\|a Feinstruktur \|g Mengenlehre \|0 (DE-588)4344261-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Woodin-Kardinalzahl \|0 (DE-588)4344260-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Inneres Modell \|0 (DE-588)4344259-6 \|2 gnd \|9 rswk-swf
689	0	0	\|a Inneres Modell \|0 (DE-588)4344259-6 \|D s
689	0	1	\|a Woodin-Kardinalzahl \|0 (DE-588)4344260-2 \|D s
689	0	2	\|a Feinstruktur \|g Mengenlehre \|0 (DE-588)4344261-4 \|D s
689	0		\|5 DE-604
700	1		\|a Steel, John R. \|d 1948- \|e Verfasser \|0 (DE-588)1103857118 \|4 aut
830		0	\|a Lecture notes in logic \|v 3 \|w (DE-604)BV008909514 \|9 3
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=005878296&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-005878296

Datensatz im Suchindex

DE-BY-TUM_call_number	0102 MAT 030f 2001 A 906-3
DE-BY-TUM_katkey	614247
DE-BY-TUM_location	01
DE-BY-TUM_media_number	040020526516
_version_	1821931081513828352
adam_text	Contents Section ^gc 0. Introduction 1 1. Good Extender Sequences 5 2. Fine Structure 10 3. Squashed Mice 28 4. Ultrapowers 34 5. Iteration Trees 47 6. Uniqueness of Wellfounded Branches 58 7. The Comparison Process 69 8. Solidity and Condensation 74 9. Uniqueness of the Next Extender 89 10. Closure under Initial Segment 96 11. The Construction 99 12. Iterability 108 References 125 Index of Definitions 26 Index 128
any_adam_object	1
author	Mitchell, William J. Steel, John R. 1948-
author_GND	(DE-588)1103857118
author_facet	Mitchell, William J. Steel, John R. 1948-
author_role	aut aut
author_sort	Mitchell, William J.
author_variant	w j m wj wjm j r s jr jrs
building	Verbundindex
bvnumber	BV008885499
callnumber-first	Q - Science
callnumber-label	QA9
callnumber-raw	QA9.56
callnumber-search	QA9.56
callnumber-sort	QA 19.56
callnumber-subject	QA - Mathematics
classification_rvk	SK 130 SK 150 SK 155
classification_tum	MAT 030f
ctrlnum	(OCoLC)29913772 (DE-599)BVBBV008885499
dewey-full	511.3
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	511 - General principles of mathematics
dewey-raw	511.3
dewey-search	511.3
dewey-sort	3511.3
dewey-tens	510 - Mathematics
discipline	Mathematik
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02102nam a2200553 cb4500</leader><controlfield tag="001">BV008885499</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160707 </controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">940207s1994 gw \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">940293722</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540574948</subfield><subfield code="9">3-540-57494-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387574948</subfield><subfield code="9">0-387-57494-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)29913772</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008885499</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-19</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">QA9.56</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">20</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">03E45</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 030f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Mitchell, William J.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Fine structure and iteration trees</subfield><subfield code="c">William J. Mitchell ; John R. Steel</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">130 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="1" ind2=" "><subfield code="a">Lecture notes in logic</subfield><subfield code="v">3</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ensembles, Théorie des</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathématiques constructives</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Constructive mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Set theory</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Feinstruktur</subfield><subfield code="g">Mengenlehre</subfield><subfield code="0">(DE-588)4344261-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Woodin-Kardinalzahl</subfield><subfield code="0">(DE-588)4344260-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Inneres Modell</subfield><subfield code="0">(DE-588)4344259-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Inneres Modell</subfield><subfield code="0">(DE-588)4344259-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Woodin-Kardinalzahl</subfield><subfield code="0">(DE-588)4344260-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Feinstruktur</subfield><subfield code="g">Mengenlehre</subfield><subfield code="0">(DE-588)4344261-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Steel, John R.</subfield><subfield code="d">1948-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1103857118</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in logic</subfield><subfield code="v">3</subfield><subfield code="w">(DE-604)BV008909514</subfield><subfield code="9">3</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=005878296&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005878296</subfield></datafield></record></collection>
id	DE-604.BV008885499
illustrated	Not Illustrated
indexdate	2024-12-20T09:28:44Z
institution	BVB
isbn	3540574948 0387574948
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-005878296
oclc_num	29913772
open_access_boolean
owner	DE-12 DE-91G DE-BY-TUM DE-739 DE-703 DE-19 DE-BY-UBM DE-634 DE-83 DE-11 DE-188
owner_facet	DE-12 DE-91G DE-BY-TUM DE-739 DE-703 DE-19 DE-BY-UBM DE-634 DE-83 DE-11 DE-188
physical	130 S.
publishDate	1994
publishDateSearch	1994
publishDateSort	1994
publisher	Springer
record_format	marc
series	Lecture notes in logic
series2	Lecture notes in logic
spellingShingle	Mitchell, William J. Steel, John R. 1948- Fine structure and iteration trees Lecture notes in logic Ensembles, Théorie des Mathématiques constructives Constructive mathematics Set theory Feinstruktur Mengenlehre (DE-588)4344261-4 gnd Woodin-Kardinalzahl (DE-588)4344260-2 gnd Inneres Modell (DE-588)4344259-6 gnd
subject_GND	(DE-588)4344261-4 (DE-588)4344260-2 (DE-588)4344259-6
title	Fine structure and iteration trees
title_auth	Fine structure and iteration trees
title_exact_search	Fine structure and iteration trees
title_full	Fine structure and iteration trees William J. Mitchell ; John R. Steel
title_fullStr	Fine structure and iteration trees William J. Mitchell ; John R. Steel
title_full_unstemmed	Fine structure and iteration trees William J. Mitchell ; John R. Steel
title_short	Fine structure and iteration trees
title_sort	fine structure and iteration trees
topic	Ensembles, Théorie des Mathématiques constructives Constructive mathematics Set theory Feinstruktur Mengenlehre (DE-588)4344261-4 gnd Woodin-Kardinalzahl (DE-588)4344260-2 gnd Inneres Modell (DE-588)4344259-6 gnd
topic_facet	Ensembles, Théorie des Mathématiques constructives Constructive mathematics Set theory Feinstruktur Mengenlehre Woodin-Kardinalzahl Inneres Modell
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005878296&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV008909514
work_keys_str_mv	AT mitchellwilliamj finestructureanditerationtrees AT steeljohnr finestructureanditerationtrees

Verfügbarkeit

Bestellen (Login erforderlich)

Inhaltsverzeichnis
Paper/Kapitel scannen lassen

Teilbibliothek Mathematik & Informatik

Bestandsangaben von Teilbibliothek Mathematik & Informatik
Signatur:	0102 MAT 030f 2001 A 906-3 Lageplan
Exemplar 1	Ausleihbar Am Standort