Varieties of constructive mathematics:
Gespeichert in:
| Beteiligte Personen: | , |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Cambridge
Cambridge Univ. Press
1987
|
| Ausgabe: | 1. publ. |
| Schriftenreihe: | London Mathematical Society: London Mathematical Society lecture note series
97 |
| Schlagwörter: | |
| Links: | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006134389&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| Umfang: | X, 149 S. |
| ISBN: | 0521318025 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009225306 | ||
| 003 | DE-604 | ||
| 005 | 20171109 | ||
| 007 | t| | ||
| 008 | 940313s1987 xx |||| 00||| eng d | ||
| 020 | |a 0521318025 |9 0-521-31802-5 | ||
| 035 | |a (OCoLC)12808271 | ||
| 035 | |a (DE-599)BVBBV009225306 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T |a DE-91G |a DE-384 |a DE-12 |a DE-19 |a DE-703 |a DE-739 |a DE-355 |a DE-824 |a DE-706 |a DE-83 |a DE-188 | ||
| 050 | 0 | |a BC135 | |
| 050 | 0 | |a QA9.56 | |
| 082 | 0 | |a 511.3 |2 19 | |
| 084 | |a SI 320 |0 (DE-625)143123: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a MAT 036f |2 stub | ||
| 084 | |a 03Fxx |2 msc | ||
| 100 | 1 | |a Bridges, Douglas S. |d 1945- |e Verfasser |0 (DE-588)171990005 |4 aut | |
| 245 | 1 | 0 | |a Varieties of constructive mathematics |c Douglas Bridges ; Fred Richman |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Cambridge |b Cambridge Univ. Press |c 1987 | |
| 300 | |a X, 149 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 97 | |
| 650 | 7 | |a Matemática construtiva |2 larpcal | |
| 650 | 4 | |a Mathématiques constructives | |
| 650 | 7 | |a Sistemas lógicos não clássicos |2 larpcal | |
| 650 | 4 | |a Constructive mathematics | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Konstruktive Mathematik |0 (DE-588)4165105-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Konstruktive Mathematik |0 (DE-588)4165105-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Richman, Fred |d 1938- |e Verfasser |0 (DE-588)109792009 |4 aut | |
| 810 | 2 | |a London Mathematical Society |t London Mathematical Society lecture note series |v 97 |w (DE-604)BV000000130 |9 97 | |
| 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=006134389&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 940 | 1 | |q TUB-www | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006134389 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102 MAT 001z 2001 A 985-97 |
|---|---|
| DE-BY-TUM_katkey | 619444 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040020546145 |
| _version_ | 1821930962583289858 |
| adam_text | Contents
1. THE FOUNDATIONS OF CONTRUCTIVE MATHEMATICS
1. Existence and omniscience 1
2. Basic constructions 6
3. Informal intuitionistic logic 10
4. Choice axioms 11
5. Real numbers 12
Problems 14
Notes 16
2. CONSTRUCTIVE ANALYSIS
1. Complete metric spaces IS
2. Baire s theorem revisited 21
3. Located subsets 26
4. Totally bounded spaces 28
5. Bounded linear maps 34
6. Compactly generated Banach spaces 41
Problems 44
Notes 47
3. RUSSIAN CONSTRUCTIVE MATHEMATICS
1. Programming systems and omniscience principles 49
2. Continuity and intermediate values 54
3. Specker s sequence 58
4. The Heine Borel theorem 60
5. Moduli of continuity and cozero sets 64
6. Ceitin s theorem 67
Problems 71
Notes 73
4. CONSTRUCTIVE ALGEBRA
1. General considerations 75
2. Factoring 76
3. Splitting fields 79
4. Uniqueness of splitting fields 82
5. Finitely presented modules 87
6. Noetherian rings 91
Problems 97
Notes 99
x Contents
5. INTUITIONISM
1. Sequence spaces 103
2. Continuous choice 106
3. Uniform continuity 110
4. The creating subject and Markov s principle 116
Problems 117
Notes 119
6. CONTRASTING VARIETIES
1. The three varieties 120
2. Positive valued continuous functions 122
Problems 129
Notes 130
7. INTUITIONISTIC LOGIC AND TOPOS THEORY
1. Intuitionistic propositional calculus 131
2. Predicate calculus 134
3. The sheaf model C(X) 138
4. Presheaf topos models 140
Problems 143
Notes 144
INDEX 146
|
| any_adam_object | 1 |
| author | Bridges, Douglas S. 1945- Richman, Fred 1938- |
| author_GND | (DE-588)171990005 (DE-588)109792009 |
| author_facet | Bridges, Douglas S. 1945- Richman, Fred 1938- |
| author_role | aut aut |
| author_sort | Bridges, Douglas S. 1945- |
| author_variant | d s b ds dsb f r fr |
| building | Verbundindex |
| bvnumber | BV009225306 |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | BC135 |
| callnumber-raw | BC135 QA9.56 |
| callnumber-search | BC135 QA9.56 |
| callnumber-sort | BC 3135 |
| callnumber-subject | BC - Logic |
| classification_rvk | SI 320 SK 130 |
| classification_tum | MAT 036f |
| ctrlnum | (OCoLC)12808271 (DE-599)BVBBV009225306 |
| 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 |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02140nam a2200529 cb4500</leader><controlfield tag="001">BV009225306</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20171109 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">940313s1987 xx |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521318025</subfield><subfield code="9">0-521-31802-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)12808271</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009225306</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-29T</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC135</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">19</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 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 036f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03Fxx</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bridges, Douglas S.</subfield><subfield code="d">1945-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)171990005</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Varieties of constructive mathematics</subfield><subfield code="c">Douglas Bridges ; Fred Richman</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">1987</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 149 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">97</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Matemática construtiva</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathématiques constructives</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Sistemas lógicos não clássicos</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Constructive mathematics</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Konstruktive Mathematik</subfield><subfield code="0">(DE-588)4165105-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Konstruktive Mathematik</subfield><subfield code="0">(DE-588)4165105-4</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">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-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">Richman, Fred</subfield><subfield code="d">1938-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)109792009</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">London Mathematical Society</subfield><subfield code="t">London Mathematical Society lecture note series</subfield><subfield code="v">97</subfield><subfield code="w">(DE-604)BV000000130</subfield><subfield code="9">97</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=006134389&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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006134389</subfield></datafield></record></collection> |
| id | DE-604.BV009225306 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T09:34:35Z |
| institution | BVB |
| isbn | 0521318025 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006134389 |
| oclc_num | 12808271 |
| open_access_boolean | |
| owner | DE-29T DE-91G DE-BY-TUM DE-384 DE-12 DE-19 DE-BY-UBM DE-703 DE-739 DE-355 DE-BY-UBR DE-824 DE-706 DE-83 DE-188 |
| owner_facet | DE-29T DE-91G DE-BY-TUM DE-384 DE-12 DE-19 DE-BY-UBM DE-703 DE-739 DE-355 DE-BY-UBR DE-824 DE-706 DE-83 DE-188 |
| physical | X, 149 S. |
| psigel | TUB-www |
| publishDate | 1987 |
| publishDateSearch | 1987 |
| publishDateSort | 1987 |
| publisher | Cambridge Univ. Press |
| record_format | marc |
| series2 | London Mathematical Society: London Mathematical Society lecture note series |
| spellingShingle | Bridges, Douglas S. 1945- Richman, Fred 1938- Varieties of constructive mathematics Matemática construtiva larpcal Mathématiques constructives Sistemas lógicos não clássicos larpcal Constructive mathematics Mathematische Logik (DE-588)4037951-6 gnd Konstruktive Mathematik (DE-588)4165105-4 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4165105-4 |
| title | Varieties of constructive mathematics |
| title_auth | Varieties of constructive mathematics |
| title_exact_search | Varieties of constructive mathematics |
| title_full | Varieties of constructive mathematics Douglas Bridges ; Fred Richman |
| title_fullStr | Varieties of constructive mathematics Douglas Bridges ; Fred Richman |
| title_full_unstemmed | Varieties of constructive mathematics Douglas Bridges ; Fred Richman |
| title_short | Varieties of constructive mathematics |
| title_sort | varieties of constructive mathematics |
| topic | Matemática construtiva larpcal Mathématiques constructives Sistemas lógicos não clássicos larpcal Constructive mathematics Mathematische Logik (DE-588)4037951-6 gnd Konstruktive Mathematik (DE-588)4165105-4 gnd |
| topic_facet | Matemática construtiva Mathématiques constructives Sistemas lógicos não clássicos Constructive mathematics Mathematische Logik Konstruktive Mathematik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006134389&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000130 |
| work_keys_str_mv | AT bridgesdouglass varietiesofconstructivemathematics AT richmanfred varietiesofconstructivemathematics |
Inhaltsverzeichnis
Paper/Kapitel scannen lassen
Paper/Kapitel scannen lassen
Teilbibliothek Mathematik & Informatik
| Signatur: |
0102 MAT 001z 2001 A 985-97
Lageplan |
|---|---|
| Exemplar 1 | Ausleihbar Am Standort |