Verfügbarkeit: Algebraic set theory | Technische Universität München

Algebraic set theory:

Gespeichert in:

Bibliographische Detailangaben
Beteiligte Personen:	Joyal, André 1943- (VerfasserIn), Moerdijk, Ieke (VerfasserIn)
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	Cambridge [u.a.] Cambridge Univ. Press 1995
Ausgabe:	1. publ.
Schriftenreihe:	London Mathematical Society: London Mathematical Society lecture note series 220
Schlagwörter:	Mengenlehre Mengenalgebra
Links:	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007017550&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Umfang:	VIII, 123 S.
ISBN:	0521558301

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV010528405
003	DE-604
005	20130114
007	t\|
008	951215s1995 xx \|\|\|\| 00\|\|\| eng d
020			\|a 0521558301 \|9 0-521-55830-1
035			\|a (OCoLC)246645186
035			\|a (DE-599)BVBBV010528405
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-703 \|a DE-12 \|a DE-91G \|a DE-739 \|a DE-29T \|a DE-384 \|a DE-355 \|a DE-11 \|a DE-19
082	0		\|a 511.322
084			\|a SI 320 \|0 (DE-625)143123: \|2 rvk
084			\|a SK 150 \|0 (DE-625)143218: \|2 rvk
084			\|a MAT 040f \|2 stub
100	1		\|a Joyal, André \|d 1943- \|e Verfasser \|0 (DE-588)1029672423 \|4 aut
245	1	0	\|a Algebraic set theory \|c A. Joyal ; I. Moerdijk
250			\|a 1. publ.
264		1	\|a Cambridge [u.a.] \|b Cambridge Univ. Press \|c 1995
300			\|a VIII, 123 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a London Mathematical Society: London Mathematical Society lecture note series \|v 220
650	0	7	\|a Mengenlehre \|0 (DE-588)4074715-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Mengenalgebra \|0 (DE-588)4373955-6 \|2 gnd \|9 rswk-swf
689	0	0	\|a Mengenlehre \|0 (DE-588)4074715-3 \|D s
689	0	1	\|a Mengenalgebra \|0 (DE-588)4373955-6 \|D s
689	0		\|5 DE-604
689	1	0	\|a Mengenalgebra \|0 (DE-588)4373955-6 \|D s
689	1		\|5 DE-604
700	1		\|a Moerdijk, Ieke \|e Verfasser \|4 aut
830		0	\|a London Mathematical Society: London Mathematical Society lecture note series \|v 220 \|w (DE-604)BV000000130 \|9 220
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=007017550&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-007017550

Datensatz im Suchindex

DE-BY-TUM_call_number	0102 MAT 001z 2001 A 985-220
DE-BY-TUM_katkey	666599
DE-BY-TUM_location	01
DE-BY-TUM_media_number	040020031585
_version_	1821931267034185729
adam_text	Contents Preface vii Introduction 1 I Axiomatic Theory of Small Maps 7 §1 Axioms for small maps 7 §2 Representable structures 11 §3 Power sets 16 §4 Complete sup lattices 22 §5 Appendix: Uniqueness of universal small maps 24 II Zermelo Fraenkel Algebras 29 §1 Free Zermelo Fraenkel algebras 29 §2 Ordinal numbers 38 §3 Von Neumann ordinals 46 §4 The Tarski fixed point theorem 54 §5 Axioms for set theory 59 III Existence Theorems 67 §1 Open maps and (bi )simulations 67 §2 Forests 71 §3 Height functions 74 §4 Construction of V and 0 77 §5 Construction of Tarski ordinals 81 §6 Simulation for Von Neumann ordinals 83 IV Examples 87 §1 Sets and classes 87 §2 Kuratowski finite maps 88 §3 Sheaves on a site 89 §4 Realizability 92 v vi §5 Choice maps 96 Appendix A. Monads and algebras with successor 101 Appendix B. Heyting pretopoi 109 Appendix C. Descent 113 Bibliography 117 Index 120
any_adam_object	1
author	Joyal, André 1943- Moerdijk, Ieke
author_GND	(DE-588)1029672423
author_facet	Joyal, André 1943- Moerdijk, Ieke
author_role	aut aut
author_sort	Joyal, André 1943-
author_variant	a j aj i m im
building	Verbundindex
bvnumber	BV010528405
classification_rvk	SI 320 SK 150
classification_tum	MAT 040f
ctrlnum	(OCoLC)246645186 (DE-599)BVBBV010528405
dewey-full	511.322
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	511 - General principles of mathematics
dewey-raw	511.322
dewey-search	511.322
dewey-sort	3511.322
dewey-tens	510 - Mathematics
discipline	Mathematik
edition	1. publ.
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01799nam a2200445 cb4500</leader><controlfield tag="001">BV010528405</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130114 </controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">951215s1995 xx \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521558301</subfield><subfield code="9">0-521-55830-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)246645186</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010528405</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="049" ind1=" " ind2=" "><subfield code="a">DE-703</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-19</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.322</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 320</subfield><subfield code="0">(DE-625)143123:</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">MAT 040f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Joyal, André</subfield><subfield code="d">1943-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1029672423</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Algebraic set theory</subfield><subfield code="c">A. Joyal ; I. Moerdijk</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge [u.a.]</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 123 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">London Mathematical Society: London Mathematical Society lecture note series</subfield><subfield code="v">220</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mengenalgebra</subfield><subfield code="0">(DE-588)4373955-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Mengenalgebra</subfield><subfield code="0">(DE-588)4373955-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Mengenalgebra</subfield><subfield code="0">(DE-588)4373955-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Moerdijk, Ieke</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">London Mathematical Society: London Mathematical Society lecture note series</subfield><subfield code="v">220</subfield><subfield code="w">(DE-604)BV000000130</subfield><subfield code="9">220</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=007017550&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-007017550</subfield></datafield></record></collection>
id	DE-604.BV010528405
illustrated	Not Illustrated
indexdate	2024-12-20T09:56:05Z
institution	BVB
isbn	0521558301
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-007017550
oclc_num	246645186
open_access_boolean
owner	DE-703 DE-12 DE-91G DE-BY-TUM DE-739 DE-29T DE-384 DE-355 DE-BY-UBR DE-11 DE-19 DE-BY-UBM
owner_facet	DE-703 DE-12 DE-91G DE-BY-TUM DE-739 DE-29T DE-384 DE-355 DE-BY-UBR DE-11 DE-19 DE-BY-UBM
physical	VIII, 123 S.
publishDate	1995
publishDateSearch	1995
publishDateSort	1995
publisher	Cambridge Univ. Press
record_format	marc
series	London Mathematical Society: London Mathematical Society lecture note series
series2	London Mathematical Society: London Mathematical Society lecture note series
spellingShingle	Joyal, André 1943- Moerdijk, Ieke Algebraic set theory London Mathematical Society: London Mathematical Society lecture note series Mengenlehre (DE-588)4074715-3 gnd Mengenalgebra (DE-588)4373955-6 gnd
subject_GND	(DE-588)4074715-3 (DE-588)4373955-6
title	Algebraic set theory
title_auth	Algebraic set theory
title_exact_search	Algebraic set theory
title_full	Algebraic set theory A. Joyal ; I. Moerdijk
title_fullStr	Algebraic set theory A. Joyal ; I. Moerdijk
title_full_unstemmed	Algebraic set theory A. Joyal ; I. Moerdijk
title_short	Algebraic set theory
title_sort	algebraic set theory
topic	Mengenlehre (DE-588)4074715-3 gnd Mengenalgebra (DE-588)4373955-6 gnd
topic_facet	Mengenlehre Mengenalgebra
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007017550&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000130
work_keys_str_mv	AT joyalandre algebraicsettheory AT moerdijkieke algebraicsettheory

Verfügbarkeit

Bestellen (Login erforderlich)

Inhaltsverzeichnis
Paper/Kapitel scannen lassen

Teilbibliothek Mathematik & Informatik

Bestandsangaben von Teilbibliothek Mathematik & Informatik
Signatur:	0102 MAT 001z 2001 A 985-220 Lageplan
Exemplar 1	Ausleihbar Am Standort