The L. E. J. Brouwer Centenary Symposium: proceedings of the conference held in Noordwijkerhout, 8 - 13 June, 1981
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam [u.a.]
North-Holland
1982
|
| Schriftenreihe: | Studies in logic and the foundations of mathematics
110 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | IX, 523 S. |
| ISBN: | 0444864946 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV000180772 | ||
| 003 | DE-604 | ||
| 005 | 20081112 | ||
| 007 | t | ||
| 008 | 870612s1982 |||| 10||| eng d | ||
| 020 | |a 0444864946 |9 0-444-86494-6 | ||
| 035 | |a (OCoLC)9322894 | ||
| 035 | |a (DE-599)BVBBV000180772 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-91G |a DE-384 |a DE-739 |a DE-29T |a DE-19 |a DE-706 |a DE-188 | ||
| 050 | 0 | |a QA9.56 | |
| 082 | 0 | |a 511 |2 19 | |
| 084 | |a SD 1981 |0 (DE-625)142715: |2 rvk | ||
| 084 | |a MAT 030f |2 stub | ||
| 084 | |a MAT 002f |2 stub | ||
| 111 | 2 | |a L. E. J. Brouwer Centenary Symposium |d 1981 |c Noordwijkerhout |j Verfasser |0 (DE-588)1091097-9 |4 aut | |
| 245 | 1 | 0 | |a The L. E. J. Brouwer Centenary Symposium |b proceedings of the conference held in Noordwijkerhout, 8 - 13 June, 1981 |c ed. by A. S. Troelstra ... |
| 264 | 1 | |a Amsterdam [u.a.] |b North-Holland |c 1982 | |
| 300 | |a IX, 523 S. | ||
| 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 110 | |
| 600 | 1 | 4 | |a Brouwer, L. E. J <1881-1966> - (Luitzen Egbertus Jan) |
| 600 | 1 | 4 | |a Brouwer, L. E. J <1881-1966> |q (Luitzen Egbertus Jan) |
| 650 | 7 | |a Intuïtionisme |2 gtt | |
| 650 | 4 | |a Mathématiques constructives - Congrès | |
| 650 | 4 | |a Mathématiques intuitionnistes - Congrès | |
| 650 | 7 | |a Wiskundige logica |2 gtt | |
| 650 | 4 | |a Constructive mathematics |v Congresses | |
| 650 | 4 | |a Intuitionistic mathematics |v Congresses | |
| 650 | 0 | 7 | |a Intuitionistische Mathematik |0 (DE-588)4162200-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Metamathematik |0 (DE-588)4074759-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1981 |z Noordwijkerhout |2 gnd-content | |
| 689 | 0 | 0 | |a Intuitionistische Mathematik |0 (DE-588)4162200-5 |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 | |
| 689 | 2 | 0 | |a Metamathematik |0 (DE-588)4074759-1 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Troelstra, Anne S. |d 1939-2019 |e Sonstige |0 (DE-588)131940058 |4 oth | |
| 830 | 0 | |a Studies in logic and the foundations of mathematics |v 110 |w (DE-604)BV000893472 |9 110 | |
| 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=000104016&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-000104016 | ||
Datensatz im Suchindex
| _version_ | 1804114640274194432 |
|---|---|
| adam_text | vii
CONTENTS
PREFACE v
P.H.G. ACZEL
The type theoretic interpretation of constructive set theory:
choice principles 1
D.S. BRIDGES
Recent progress in constructive approximation theory 41
D.H.J. DE JONGH
Formulas of one propositional variable in intuitionistic
arithmetic* 51
C.N.DELZELL
Continuous sums of squares of forms 65
S. FEFERMAN
Monotone inductive definitions 77
M.P. FOURMAN
Notions of choice sequence 91
M.P. FOURMAN, R.J. GRAYSON
Formal spaces* 107
L. GORDEEV
Constructive models for set theory with extensionality 123
S. HAYASHI
A note on the bar induction rule* 149
J.M.E. HYLAND
The effective topos 165
G. KREISEL, A. MACINTYRE
Constructive logic versus algebraization I 217
B.A. KUSNER
Some extensions of Markov s constructive continuum and their
applications to the theory of constructive functions* 261
J. LAMBEK, I.MOERDIJK
Two sheaf representations of elementary toposes* 275
J.S. LODDER, D. VAN DALEN
Lawlessness and independence* 297
E. MARTINO
Creative subject and bar theorem* 311
G. METAKIDES, A. NERODE
The introduction of non recursive methods in mathematics 319
R. MINES
Algebraic number theory, a survey* 337
viii Contents
I. MOERDIJK*
Glueing topoi and higher order disjunction and existence* 359
G.E. REYES, Ngo VAN QUfi
Smooth functors and synthetic calculus 377
F. RICHMAN
Finite dimensional algebras over discrete fields 397
W. RUITENBURG
Primality and invertibility of polynomials* 413
A. 5 DR0V
Independence of the fan theorem in the presence of continuity
principles* 435
A. SCEDROV, P.J. SCOTT
A note on the Friedman slash and Freyd covers* 443
H. SCHWICHTENBERG
Complexity of normalization in the pure typed lambda calculus 453
C.A. SMORYNSKI
Nonstandard models and constructivity 459
A.S. TROELSTRA
On the origin and development of Brouwer s concept of choice
sequence* 465
G.F. VAN DER HOEVEN
An application of projections of lawless sequences 487
W.P. VAN STIGT
L.E.J. Brouwer, the signific interlude 505
W. VELDMAN
On the constructive contrapositions of two axioms of ,
countable choice 513
|
| any_adam_object | 1 |
| author_GND | (DE-588)131940058 |
| author_corporate | L. E. J. Brouwer Centenary Symposium Noordwijkerhout |
| author_corporate_role | aut |
| author_facet | L. E. J. Brouwer Centenary Symposium Noordwijkerhout |
| author_sort | L. E. J. Brouwer Centenary Symposium Noordwijkerhout |
| building | Verbundindex |
| bvnumber | BV000180772 |
| 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 | SD 1981 |
| classification_tum | MAT 030f MAT 002f |
| ctrlnum | (OCoLC)9322894 (DE-599)BVBBV000180772 |
| dewey-full | 511 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511 |
| dewey-search | 511 |
| dewey-sort | 3511 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02547nam a2200577 cb4500</leader><controlfield tag="001">BV000180772</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20081112 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">870612s1982 |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444864946</subfield><subfield code="9">0-444-86494-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)9322894</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV000180772</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-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-706</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</subfield><subfield code="2">19</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SD 1981</subfield><subfield code="0">(DE-625)142715:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 030f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 002f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">L. E. J. Brouwer Centenary Symposium</subfield><subfield code="d">1981</subfield><subfield code="c">Noordwijkerhout</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1091097-9</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The L. E. J. Brouwer Centenary Symposium</subfield><subfield code="b">proceedings of the conference held in Noordwijkerhout, 8 - 13 June, 1981</subfield><subfield code="c">ed. by A. S. Troelstra ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam [u.a.]</subfield><subfield code="b">North-Holland</subfield><subfield code="c">1982</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 523 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">Studies in logic and the foundations of mathematics</subfield><subfield code="v">110</subfield></datafield><datafield tag="600" ind1="1" ind2="4"><subfield code="a">Brouwer, L. E. J <1881-1966> - (Luitzen Egbertus Jan)</subfield></datafield><datafield tag="600" ind1="1" ind2="4"><subfield code="a">Brouwer, L. E. J <1881-1966></subfield><subfield code="q">(Luitzen Egbertus Jan)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Intuïtionisme</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathématiques constructives - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathématiques intuitionnistes - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Wiskundige logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Constructive mathematics</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Intuitionistic mathematics</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Intuitionistische Mathematik</subfield><subfield code="0">(DE-588)4162200-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Metamathematik</subfield><subfield code="0">(DE-588)4074759-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1981</subfield><subfield code="z">Noordwijkerhout</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Intuitionistische Mathematik</subfield><subfield code="0">(DE-588)4162200-5</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="689" ind1="2" ind2="0"><subfield code="a">Metamathematik</subfield><subfield code="0">(DE-588)4074759-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Troelstra, Anne S.</subfield><subfield code="d">1939-2019</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)131940058</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Studies in logic and the foundations of mathematics</subfield><subfield code="v">110</subfield><subfield code="w">(DE-604)BV000893472</subfield><subfield code="9">110</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=000104016&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-000104016</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1981 Noordwijkerhout gnd-content |
| genre_facet | Konferenzschrift 1981 Noordwijkerhout |
| id | DE-604.BV000180772 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:09:56Z |
| institution | BVB |
| institution_GND | (DE-588)1091097-9 |
| isbn | 0444864946 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-000104016 |
| oclc_num | 9322894 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM DE-384 DE-739 DE-29T DE-19 DE-BY-UBM DE-706 DE-188 |
| owner_facet | DE-12 DE-91G DE-BY-TUM DE-384 DE-739 DE-29T DE-19 DE-BY-UBM DE-706 DE-188 |
| physical | IX, 523 S. |
| publishDate | 1982 |
| publishDateSearch | 1982 |
| publishDateSort | 1982 |
| publisher | North-Holland |
| record_format | marc |
| series | Studies in logic and the foundations of mathematics |
| series2 | Studies in logic and the foundations of mathematics |
| spelling | L. E. J. Brouwer Centenary Symposium 1981 Noordwijkerhout Verfasser (DE-588)1091097-9 aut The L. E. J. Brouwer Centenary Symposium proceedings of the conference held in Noordwijkerhout, 8 - 13 June, 1981 ed. by A. S. Troelstra ... Amsterdam [u.a.] North-Holland 1982 IX, 523 S. txt rdacontent n rdamedia nc rdacarrier Studies in logic and the foundations of mathematics 110 Brouwer, L. E. J <1881-1966> - (Luitzen Egbertus Jan) Brouwer, L. E. J <1881-1966> (Luitzen Egbertus Jan) Intuïtionisme gtt Mathématiques constructives - Congrès Mathématiques intuitionnistes - Congrès Wiskundige logica gtt Constructive mathematics Congresses Intuitionistic mathematics Congresses Intuitionistische Mathematik (DE-588)4162200-5 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Metamathematik (DE-588)4074759-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1981 Noordwijkerhout gnd-content Intuitionistische Mathematik (DE-588)4162200-5 s DE-604 Mathematische Logik (DE-588)4037951-6 s Metamathematik (DE-588)4074759-1 s Troelstra, Anne S. 1939-2019 Sonstige (DE-588)131940058 oth Studies in logic and the foundations of mathematics 110 (DE-604)BV000893472 110 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000104016&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | The L. E. J. Brouwer Centenary Symposium proceedings of the conference held in Noordwijkerhout, 8 - 13 June, 1981 Studies in logic and the foundations of mathematics Brouwer, L. E. J <1881-1966> - (Luitzen Egbertus Jan) Brouwer, L. E. J <1881-1966> (Luitzen Egbertus Jan) Intuïtionisme gtt Mathématiques constructives - Congrès Mathématiques intuitionnistes - Congrès Wiskundige logica gtt Constructive mathematics Congresses Intuitionistic mathematics Congresses Intuitionistische Mathematik (DE-588)4162200-5 gnd Mathematische Logik (DE-588)4037951-6 gnd Metamathematik (DE-588)4074759-1 gnd |
| subject_GND | (DE-588)4162200-5 (DE-588)4037951-6 (DE-588)4074759-1 (DE-588)1071861417 |
| title | The L. E. J. Brouwer Centenary Symposium proceedings of the conference held in Noordwijkerhout, 8 - 13 June, 1981 |
| title_auth | The L. E. J. Brouwer Centenary Symposium proceedings of the conference held in Noordwijkerhout, 8 - 13 June, 1981 |
| title_exact_search | The L. E. J. Brouwer Centenary Symposium proceedings of the conference held in Noordwijkerhout, 8 - 13 June, 1981 |
| title_full | The L. E. J. Brouwer Centenary Symposium proceedings of the conference held in Noordwijkerhout, 8 - 13 June, 1981 ed. by A. S. Troelstra ... |
| title_fullStr | The L. E. J. Brouwer Centenary Symposium proceedings of the conference held in Noordwijkerhout, 8 - 13 June, 1981 ed. by A. S. Troelstra ... |
| title_full_unstemmed | The L. E. J. Brouwer Centenary Symposium proceedings of the conference held in Noordwijkerhout, 8 - 13 June, 1981 ed. by A. S. Troelstra ... |
| title_short | The L. E. J. Brouwer Centenary Symposium |
| title_sort | the l e j brouwer centenary symposium proceedings of the conference held in noordwijkerhout 8 13 june 1981 |
| title_sub | proceedings of the conference held in Noordwijkerhout, 8 - 13 June, 1981 |
| topic | Brouwer, L. E. J <1881-1966> - (Luitzen Egbertus Jan) Brouwer, L. E. J <1881-1966> (Luitzen Egbertus Jan) Intuïtionisme gtt Mathématiques constructives - Congrès Mathématiques intuitionnistes - Congrès Wiskundige logica gtt Constructive mathematics Congresses Intuitionistic mathematics Congresses Intuitionistische Mathematik (DE-588)4162200-5 gnd Mathematische Logik (DE-588)4037951-6 gnd Metamathematik (DE-588)4074759-1 gnd |
| topic_facet | Brouwer, L. E. J <1881-1966> - (Luitzen Egbertus Jan) Brouwer, L. E. J <1881-1966> (Luitzen Egbertus Jan) Intuïtionisme Mathématiques constructives - Congrès Mathématiques intuitionnistes - Congrès Wiskundige logica Constructive mathematics Congresses Intuitionistic mathematics Congresses Intuitionistische Mathematik Mathematische Logik Metamathematik Konferenzschrift 1981 Noordwijkerhout |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000104016&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000893472 |
| work_keys_str_mv | AT lejbrouwercentenarysymposiumnoordwijkerhout thelejbrouwercentenarysymposiumproceedingsoftheconferenceheldinnoordwijkerhout813june1981 AT troelstraannes thelejbrouwercentenarysymposiumproceedingsoftheconferenceheldinnoordwijkerhout813june1981 |