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

Foundations of set theory:

Gespeichert in:

Bibliographische Detailangaben
Beteiligte Personen:	Fraenkel, Abraham Adolf 1891-1965 (VerfasserIn), Bar-Hillēl, Yehôšuaʿ 1915-1975 (VerfasserIn), Levy, Azriel 1934- (VerfasserIn)
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	Amsterdam North-Holland Publishing Co. 1973
Ausgabe:	2. revised edition
Schriftenreihe:	Studies in logic and the foundations of mathematics 67
Schlagwörter:	Mängdteori Set theory Axiomatik Logik Axiomatische Mengenlehre Mengenlehre
Links:	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015338269&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Umfang:	X, 404 Seiten
ISBN:	0720422701

Internformat

MARC


LEADER	00000nam a2200000zcb4500
001	BV022123589
003	DE-604
005	20180306
007	t\|
008	870805s1973 xx \|\|\|\| 00\|\|\| eng d
020			\|a 0720422701 \|9 0-7204-2270-1
035			\|a (OCoLC)185773710
035			\|a (DE-599)BVBBV022123589
040			\|a DE-604 \|b ger
041	0		\|a eng
049			\|a DE-706 \|a DE-11
050		0	\|a QA248
080			\|a 519.5
082	0		\|a 511/.3 \|2 18
084			\|a CC 2600 \|0 (DE-625)17610: \|2 rvk
084			\|a SK 150 \|0 (DE-625)143218: \|2 rvk
100	1		\|a Fraenkel, Abraham Adolf \|d 1891-1965 \|0 (DE-588)118692399 \|4 aut
245	1	0	\|a Foundations of set theory \|c Abraham A. Fraenkel, Yehoshua Bar-Hillel, Azriel Levy
250			\|a 2. revised edition
264		1	\|a Amsterdam \|b North-Holland Publishing Co. \|c 1973
300			\|a X, 404 Seiten
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Studies in logic and the foundations of mathematics \|v 67
650		7	\|a Mängdteori \|2 sao
650		4	\|a Set theory
650	0	7	\|a Axiomatik \|0 (DE-588)4004038-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Logik \|0 (DE-588)4036202-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Axiomatische Mengenlehre \|0 (DE-588)4143743-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Mengenlehre \|0 (DE-588)4074715-3 \|2 gnd \|9 rswk-swf
689	0	0	\|a Mengenlehre \|0 (DE-588)4074715-3 \|D s
689	0	1	\|a Logik \|0 (DE-588)4036202-4 \|D s
689	0		\|8 1\p \|5 DE-604
689	1	0	\|a Mengenlehre \|0 (DE-588)4074715-3 \|D s
689	1	1	\|a Axiomatik \|0 (DE-588)4004038-0 \|D s
689	1		\|8 2\p \|5 DE-604
689	2	0	\|a Axiomatische Mengenlehre \|0 (DE-588)4143743-3 \|D s
689	2		\|8 3\p \|5 DE-604
700	1		\|a Bar-Hillēl, Yehôšuaʿ \|d 1915-1975 \|0 (DE-588)122340477 \|4 aut
700	1		\|a Levy, Azriel \|d 1934- \|e Verfasser \|0 (DE-588)109437543 \|4 aut
830		0	\|a Studies in logic and the foundations of mathematics \|v 67 \|w (DE-604)BV000893472 \|9 67
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=015338269&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
940	1		\|q HUB-ZB011200708
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 2\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 3\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
943	1		\|a oai:aleph.bib-bvb.de:BVB01-015338269

Datensatz im Suchindex

_version_	1819327035797929984
adam_text	CONTENTS Preface ix CHAPTER I. THE ANTINOMIES 1 14 §1. Historical introduction 1 §2. Logical antinomies 5—8 1. Rusell s antinomy 5 2. Cantor s antinomy 7 3. Burali Forti s antinomy 8 §3. Semantical antinomies 8—10 1. Richard s antinomy 8 2. Grelling s antinomy 9 3. The liar 9 §4. General remarks 10 §5. The three crises 12 CHAPTER II. AXIOMATIC FOUNDATIONS OF SET THEORY 15 153 §1. Introduction 15 §2. Some basic notions, equality and extensionality 22 §3. Axioms of comprehension and infinity 30—53 1. The axiom schema of comprehension 30 2. The axiom of pairing. Ordered pairs 32 3. The axioms of union and power set 33 4. The axiom schema of subsets 35 5. Relations, order, functions 41 6. The axiom of infinity 44 7. The axiom schema of replacement 49 §4. The axiom of choice 53—86 1. Formulation of the axiom. Its introduction into mathe¬ matics 53 vi CONTENTS 2. The consistency and the independence of the axiom 58 3. Special (weakened) forms of the axiom 61 4. The existential character of the axiom. Effectivity. Selec¬ tors 67 5. Some typical applications of the axiom 73 6. Mathematicians attitude towards the axiom 80 §5. The axiom of foundation 86—102 1. Introducing the axiom 86 2. Ordinal numbers 91 3. Well founded sets 93 4. Cardinal numbers. Order types. Isomorphism types 95 5. Consistency and independence of the axiom 98 §6. Questions unanswered by the axioms 103—119 1. The generalized continuum hypothesis 103 2. The axiom of constructibility 108 3. Axioms of strong infinity 109 4. Axioms of restriction 113 §7. The role of classes in set theory 119—153 l.The axiom system VNB of von Neumann and Bernays 119 2. Metamathematical features of VNB 128 3. The axiom of choice in VNB 133 4. The approach of von Neumann 135 5. Classes taken seriously — the system of Quine and Morse 138 6. Classes not taken seriously — systems of Bernays and Quine 146 7. The system of Ackermann 148 CHAPTER III. TYPE THEORETICAL APPROACHES 154 209 §1. The ideal calculus 154 §2. The theory of types 158 §3. Quine s new foundations 161 §4. Quine s mathematical logic 167 §5. The hierarchy of languages and the ramified class calculus 171 §6. Wang s system 2 175 §7. Lorenzen s operationist system 179 §8. The logicistic thesis 181 §9. Types, categories, and sorts 188 §10. Impredicative concept formation 193 §11. Set theories based upon non standard logics 200—209 CONTENTS vii 1. Les niewski s ontology 200 2. The systems of Chwistek and Myhill 203 3. Fitch s system 205 4. Many valued logics 207 5. Combinatory logic 209 CHAPTER IV. INTUITIONIST1C CONCEPTIONS OF MATHE¬ MATICS 210 274 §1. Historical introduction. The abyss between discreteness and continuity 210 §2. The constructive character of mathematics. Mathematics and language 220 §3. The principle of the excluded middle 227 §4. Mathematics and logic. Logical calculus 238 §5. The primordial intuition of integer. Choice sequences and Brouwer s concept of set 252 §6. Mathematics as trimmed according to the intuitionistic atti¬ tude 265 CHAPTER V. METAMATHEMATICAL AND SEMANTICAL AP¬ PROACHES 275 345 §1. The Hilbert program 275 §2. Formal systems, logistic systems, and formalized theories 280 §3. Interpretations and models 288 §4. Consistency, completeness, categoricalness, and indepen¬ dence 293 §5. The Skolem—Lowenheim theorem; Skolem s paradox 302 §6. Decidability and recursiveness; arithmetization of syntax 305 §7. The limitative theorems of Godel, Tarski, Church and their generalizations 310 §8. The metamathematics and semantics of set theory 321 §9. Philosophical remarks 331 Bibliography 346 Index of persons 391 Index of symbols 397 Subject index 399
any_adam_object	1
author	Fraenkel, Abraham Adolf 1891-1965 Bar-Hillēl, Yehôšuaʿ 1915-1975 Levy, Azriel 1934-
author_GND	(DE-588)118692399 (DE-588)122340477 (DE-588)109437543
author_facet	Fraenkel, Abraham Adolf 1891-1965 Bar-Hillēl, Yehôšuaʿ 1915-1975 Levy, Azriel 1934-
author_role	aut aut aut
author_sort	Fraenkel, Abraham Adolf 1891-1965
author_variant	a a f aa aaf y b h ybh a l al
building	Verbundindex
bvnumber	BV022123589
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 150
ctrlnum	(OCoLC)185773710 (DE-599)BVBBV022123589
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 13
dewey-tens	510 - Mathematics
discipline	Mathematik Philosophie
edition	2. revised edition
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02465nam a2200601zcb4500</leader><controlfield tag="001">BV022123589</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180306 </controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">870805s1973 xx \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0720422701</subfield><subfield code="9">0-7204-2270-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)185773710</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022123589</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA248</subfield></datafield><datafield tag="080" ind1=" " ind2=" "><subfield code="a">519.5</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511/.3</subfield><subfield code="2">18</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 150</subfield><subfield code="0">(DE-625)143218:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Fraenkel, Abraham Adolf</subfield><subfield code="d">1891-1965</subfield><subfield code="0">(DE-588)118692399</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Foundations of set theory</subfield><subfield code="c">Abraham A. Fraenkel, Yehoshua Bar-Hillel, Azriel Levy</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2. revised edition</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">North-Holland Publishing Co.</subfield><subfield code="c">1973</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 404 Seiten</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">Studies in logic and the foundations of mathematics</subfield><subfield code="v">67</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mängdteori</subfield><subfield code="2">sao</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">Axiomatik</subfield><subfield code="0">(DE-588)4004038-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Axiomatische Mengenlehre</subfield><subfield code="0">(DE-588)4143743-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="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">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2="1"><subfield code="a">Axiomatik</subfield><subfield code="0">(DE-588)4004038-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Axiomatische Mengenlehre</subfield><subfield code="0">(DE-588)4143743-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bar-Hillēl, Yehôšuaʿ</subfield><subfield code="d">1915-1975</subfield><subfield code="0">(DE-588)122340477</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Levy, Azriel</subfield><subfield code="d">1934-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)109437543</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Studies in logic and the foundations of mathematics</subfield><subfield code="v">67</subfield><subfield code="w">(DE-604)BV000893472</subfield><subfield code="9">67</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=015338269&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">HUB-ZB011200708</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015338269</subfield></datafield></record></collection>
id	DE-604.BV022123589
illustrated	Not Illustrated
indexdate	2024-12-20T12:48:35Z
institution	BVB
isbn	0720422701
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-015338269
oclc_num	185773710
open_access_boolean
owner	DE-706 DE-11
owner_facet	DE-706 DE-11
physical	X, 404 Seiten
psigel	HUB-ZB011200708
publishDate	1973
publishDateSearch	1973
publishDateSort	1973
publisher	North-Holland Publishing Co.
record_format	marc
series	Studies in logic and the foundations of mathematics
series2	Studies in logic and the foundations of mathematics
spellingShingle	Fraenkel, Abraham Adolf 1891-1965 Bar-Hillēl, Yehôšuaʿ 1915-1975 Levy, Azriel 1934- Foundations of set theory Studies in logic and the foundations of mathematics Mängdteori sao Set theory Axiomatik (DE-588)4004038-0 gnd Logik (DE-588)4036202-4 gnd Axiomatische Mengenlehre (DE-588)4143743-3 gnd Mengenlehre (DE-588)4074715-3 gnd
subject_GND	(DE-588)4004038-0 (DE-588)4036202-4 (DE-588)4143743-3 (DE-588)4074715-3
title	Foundations of set theory
title_auth	Foundations of set theory
title_exact_search	Foundations of set theory
title_full	Foundations of set theory Abraham A. Fraenkel, Yehoshua Bar-Hillel, Azriel Levy
title_fullStr	Foundations of set theory Abraham A. Fraenkel, Yehoshua Bar-Hillel, Azriel Levy
title_full_unstemmed	Foundations of set theory Abraham A. Fraenkel, Yehoshua Bar-Hillel, Azriel Levy
title_short	Foundations of set theory
title_sort	foundations of set theory
topic	Mängdteori sao Set theory Axiomatik (DE-588)4004038-0 gnd Logik (DE-588)4036202-4 gnd Axiomatische Mengenlehre (DE-588)4143743-3 gnd Mengenlehre (DE-588)4074715-3 gnd
topic_facet	Mängdteori Set theory Axiomatik Logik Axiomatische Mengenlehre Mengenlehre
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015338269&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000893472
work_keys_str_mv	AT fraenkelabrahamadolf foundationsofsettheory AT barhillelyehosuaʿ foundationsofsettheory AT levyazriel foundationsofsettheory

Verfügbarkeit

‌

Inhaltsverzeichnis