Apartness and uniformity: a constructive development
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin ; Heidelberg
Springer
2011
|
| Schriftenreihe: | Theory and applications of computability
|
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XIV, 198 S. 24 cm |
| ISBN: | 9783642224140 3642224148 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV039901475 | ||
| 003 | DE-604 | ||
| 005 | 20141216 | ||
| 007 | t | ||
| 008 | 120220s2011 |||| 00||| eng d | ||
| 015 | |a 11,N24 |2 dnb | ||
| 015 | |a 12,A04 |2 dnb | ||
| 016 | 7 | |a 1012631931 |2 DE-101 | |
| 020 | |a 9783642224140 |c Pp. : EUR 85.55 (DE, freier Pr.) |9 978-3-642-22414-0 | ||
| 020 | |a 3642224148 |9 3-642-22414-8 | ||
| 024 | 3 | |a 9783642224140 | |
| 028 | 5 | 2 | |a Best.-Nr.: 80073976 |
| 035 | |a (OCoLC)733249507 | ||
| 035 | |a (DE-599)DNB1012631931 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-19 |a DE-384 | ||
| 082 | 0 | |a 511.36 |2 22/ger | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a SK 280 |0 (DE-625)143228: |2 rvk | ||
| 084 | |a ST 600 |0 (DE-625)143681: |2 rvk | ||
| 084 | |a 510 |2 sdnb | ||
| 100 | 1 | |a Bridges, Douglas S. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Apartness and uniformity |b a constructive development |c Douglas S. Bridges ; Luminiţa Simona Vîţă |
| 264 | 1 | |a Berlin ; Heidelberg |b Springer |c 2011 | |
| 300 | |a XIV, 198 S. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Theory and applications of computability | |
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Konstruktive Mathematik |0 (DE-588)4165105-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Uniformer Raum |0 (DE-588)4137585-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Topologie |0 (DE-588)4060425-1 |2 gnd |9 rswk-swf |
| 653 | |a Computability | ||
| 653 | |a Constructive framework | ||
| 653 | |a Constructive theory | ||
| 653 | |a Constructive topology | ||
| 653 | |a Intuitionistic logic | ||
| 653 | |a Mathematical logic | ||
| 653 | |a Topology | ||
| 689 | 0 | 0 | |a Konstruktive Mathematik |0 (DE-588)4165105-4 |D s |
| 689 | 0 | 1 | |a Topologie |0 (DE-588)4060425-1 |D s |
| 689 | 0 | 2 | |a Uniformer Raum |0 (DE-588)4137585-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Vîţă, Luminiţa Simona |e Verfasser |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |t Apartness and Uniformity |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3838742&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024760323&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-024760323 | |
Datensatz im Suchindex
| _version_ | 1805146133908946944 |
|---|---|
| adam_text |
IMAGE 1
CONTENTS
PREFACE VII
1 THE CONSTRUCTIVE FRAMEWORK 1
1.1 CONSTRUCTIVITY AND LOGIC 1
1.2 SETS AND FUNCTIONS 7
1.3 QUASI-METRIC AND TOPOLOGICAL SPACES 12
NOTES ON CHAPTER 1 17
2 POINT-SET APARTNESS 19
2.1 PRE-APARTNESS 19
2.2 APARTNESS AND TOPOLOGY 28
2.3 APARTNESS AND CONTINUITY 36
2.4 LIMITS 40
2.5 PRODUCT PRE-APARTNESS SPACES 51
2.6 CONCLUDING REMARKS ON IMPREDICATIVITY 61
NOTES ON CHAPTER 2 63
3 APARTNESS BETWEEN SETS 65
3.1 SET-SET PRE-APARTNESS RELATIONS 66
3.2 QUASI-UNIFORM SPACES 77
3.3 STRONG AND UNIFORM CONTINUITY 92
3.4 CONVERGENCE OF NETS OF FUNCTIONS 107
3.5 TOTALLY CAUCHY NETS 120
3.6 ALMOST LOCATEDNESS 136
3.7 PRODUCT APARTNESS SPACES 144
3.8 PROXIMAL CONNECTEDNESS 152
3.9 TOWARDS NEARNESS 157
3.10 NEAT COMPACTNESS 166
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1012631931
DIGITALISIERT DURCH
IMAGE 2
XIV CONTENTS
NOTES ON CHAPTER 3 176
POSTLUDE: PATHS TO TOPOLOGY 183
REFERENCES 187
INDEX 194 |
| any_adam_object | 1 |
| author | Bridges, Douglas S. Vîţă, Luminiţa Simona |
| author_facet | Bridges, Douglas S. Vîţă, Luminiţa Simona |
| author_role | aut aut |
| author_sort | Bridges, Douglas S. |
| author_variant | d s b ds dsb l s v ls lsv |
| building | Verbundindex |
| bvnumber | BV039901475 |
| classification_rvk | SK 130 SK 280 ST 600 |
| ctrlnum | (OCoLC)733249507 (DE-599)DNB1012631931 |
| dewey-full | 511.36 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.36 |
| dewey-search | 511.36 |
| dewey-sort | 3511.36 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV039901475</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20141216</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">120220s2011 |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,N24</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,A04</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1012631931</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642224140</subfield><subfield code="c">Pp. : EUR 85.55 (DE, freier Pr.)</subfield><subfield code="9">978-3-642-22414-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642224148</subfield><subfield code="9">3-642-22414-8</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642224140</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 80073976</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)733249507</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1012631931</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-19</subfield><subfield code="a">DE-384</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.36</subfield><subfield code="2">22/ger</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 280</subfield><subfield code="0">(DE-625)143228:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 600</subfield><subfield code="0">(DE-625)143681:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bridges, Douglas S.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Apartness and uniformity</subfield><subfield code="b">a constructive development</subfield><subfield code="c">Douglas S. Bridges ; Luminiţa Simona Vîţă</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 198 S.</subfield><subfield code="c">24 cm</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">Theory and applications of computability</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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="650" ind1="0" ind2="7"><subfield code="a">Uniformer Raum</subfield><subfield code="0">(DE-588)4137585-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Topologie</subfield><subfield code="0">(DE-588)4060425-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Computability</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Constructive framework</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Constructive theory</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Constructive topology</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Intuitionistic logic</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Topology</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="1"><subfield code="a">Topologie</subfield><subfield code="0">(DE-588)4060425-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Uniformer Raum</subfield><subfield code="0">(DE-588)4137585-3</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">Vîţă, Luminiţa Simona</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="t">Apartness and Uniformity</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3838742&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB 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=024760323&sequence=000001&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-024760323</subfield></datafield></record></collection> |
| id | DE-604.BV039901475 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-21T00:25:04Z |
| institution | BVB |
| isbn | 9783642224140 3642224148 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024760323 |
| oclc_num | 733249507 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-384 |
| owner_facet | DE-19 DE-BY-UBM DE-384 |
| physical | XIV, 198 S. 24 cm |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Springer |
| record_format | marc |
| series2 | Theory and applications of computability |
| spelling | Bridges, Douglas S. Verfasser aut Apartness and uniformity a constructive development Douglas S. Bridges ; Luminiţa Simona Vîţă Berlin ; Heidelberg Springer 2011 XIV, 198 S. 24 cm txt rdacontent n rdamedia nc rdacarrier Theory and applications of computability Literaturangaben Konstruktive Mathematik (DE-588)4165105-4 gnd rswk-swf Uniformer Raum (DE-588)4137585-3 gnd rswk-swf Topologie (DE-588)4060425-1 gnd rswk-swf Computability Constructive framework Constructive theory Constructive topology Intuitionistic logic Mathematical logic Topology Konstruktive Mathematik (DE-588)4165105-4 s Topologie (DE-588)4060425-1 s Uniformer Raum (DE-588)4137585-3 s DE-604 Vîţă, Luminiţa Simona Verfasser aut Erscheint auch als Online-Ausgabe Apartness and Uniformity X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3838742&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024760323&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Bridges, Douglas S. Vîţă, Luminiţa Simona Apartness and uniformity a constructive development Konstruktive Mathematik (DE-588)4165105-4 gnd Uniformer Raum (DE-588)4137585-3 gnd Topologie (DE-588)4060425-1 gnd |
| subject_GND | (DE-588)4165105-4 (DE-588)4137585-3 (DE-588)4060425-1 |
| title | Apartness and uniformity a constructive development |
| title_auth | Apartness and uniformity a constructive development |
| title_exact_search | Apartness and uniformity a constructive development |
| title_full | Apartness and uniformity a constructive development Douglas S. Bridges ; Luminiţa Simona Vîţă |
| title_fullStr | Apartness and uniformity a constructive development Douglas S. Bridges ; Luminiţa Simona Vîţă |
| title_full_unstemmed | Apartness and uniformity a constructive development Douglas S. Bridges ; Luminiţa Simona Vîţă |
| title_short | Apartness and uniformity |
| title_sort | apartness and uniformity a constructive development |
| title_sub | a constructive development |
| topic | Konstruktive Mathematik (DE-588)4165105-4 gnd Uniformer Raum (DE-588)4137585-3 gnd Topologie (DE-588)4060425-1 gnd |
| topic_facet | Konstruktive Mathematik Uniformer Raum Topologie |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3838742&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024760323&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT bridgesdouglass apartnessanduniformityaconstructivedevelopment AT vitaluminitasimona apartnessanduniformityaconstructivedevelopment |