Reflections on the foundations of mathematics: essays in honor of Solomon Feferman ; [symposium held at Stanford University on December 11 - 13, 1998]
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Urbana, Ill.
Assoc. for Symbolic Logic
2002
Natick, Mass. A. K. Peters |
| Schriftenreihe: | Lecture notes in logic
15 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Includes bibliographical references |
| Beschreibung: | VIII, 444 S. |
| ISBN: | 1568811691 1568811705 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV014462980 | ||
| 003 | DE-604 | ||
| 005 | 20080716 | ||
| 007 | t | ||
| 008 | 020603s2002 xxu |||| 01||| eng d | ||
| 010 | |a 2002025778 | ||
| 020 | |a 1568811691 |9 1-56881-169-1 | ||
| 020 | |a 1568811705 |9 1-56881-170-5 | ||
| 035 | |a (OCoLC)634206409 | ||
| 035 | |a (DE-599)BVBBV014462980 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-19 |a DE-29 |a DE-521 | ||
| 050 | 0 | |a QA9.A1R44 2002 | |
| 082 | 0 | |a 511.3 21 | |
| 084 | |a SE 161 |0 (DE-625)142750:13625 |2 rvk | ||
| 245 | 1 | 0 | |a Reflections on the foundations of mathematics |b essays in honor of Solomon Feferman ; [symposium held at Stanford University on December 11 - 13, 1998] |c ed. by Wilfried Sieg ... |
| 264 | 1 | |a Urbana, Ill. |b Assoc. for Symbolic Logic |c 2002 | |
| 264 | 1 | |a Natick, Mass. |b A. K. Peters | |
| 300 | |a VIII, 444 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in logic |v 15 | |
| 500 | |a Includes bibliographical references | ||
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Philosophie | |
| 650 | 4 | |a Logic, Symbolic and mathematical -- Congresses | |
| 650 | 4 | |a Mathematics -- Philosophy -- Congresses | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4016928-5 |a Festschrift |2 gnd-content | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Feferman, Solomon |d 1928- |0 (DE-588)128682167 |4 hnr | |
| 700 | 1 | |a Sieg, Wilfried |e Sonstige |4 oth | |
| 700 | 1 | |a Sommer, Richard |e Sonstige |4 oth | |
| 700 | 1 | |a Talcott, Carolyn L. |e Sonstige |4 oth | |
| 830 | 0 | |a Lecture notes in logic |v 15 |w (DE-604)BV008909514 |9 15 | |
| 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=009875868&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009875868 | ||
Datensatz im Suchindex
| _version_ | 1804129299134939136 |
|---|---|
| adam_text | TABLE OF CONTENTS
PART I: PROOF THEORETIC ANALYSIS
Jeremy Avigad
Ordinal analysis without proofs 1
Wilfried Buchholz
Relating ordinals to proofs in a perspicuous way 37
Harvey M. Friedman
Internal finite tree embeddings 60
Ulrich Kohlenbach
Foundational and mathematical uses of higher types 92
Grigori Mints
The epsilon substitution method and continuity 117
Stephen G. Simpson
Predicativity: The outer limits 130
PART II: LOGIC AND COMPUTATION
Gianluigi Bellin and Carlo Dalla Pozza
A pragmatic interpretation of substructural logics 139
Robert L. Constable and Karl Crary
Computational complexity and induction for partial computable
functions in type theory 164
Jens Erik Fenstad
Computability theory: structure or algorithms 182
Tim Fernando
Three processes in natural language interpretation 208
J. V. Tucker and J. I. Zucker
Infinitary initial algebra specifications for stream algebras 228
vii
viii Table of Contents
PART III: APPLICATIVE AND SELF APPLICATIVE THEORIES
Andrea Cantini
On extensionality, uniformity and comprehension in the theories of
operations and classes 251
Gerhard Jager and Thomas Strahm
The proof theoretic analysis of the Suslin operator in applicative theories 270
Ian A. Mason and Carolyn L. Talcott
Feferman Landin Logic 293
Michael Rathjen
Explicit mathematics with monotone inductive definitions: A survey 329
PART IV: PHILOSOPHY OF MODERN MATHEMATICAL
AND LOGICAL THOUGHT
Paolo Mancosu
On the constructivity of proofs. A debate among Behmann, Bernays,
Godel, and Kaufmann 349
Charles Parsons
Realism and the debate on impredicativity, 1917 1944* 372
Wilfried Sieg
Calculations by man and machine: conceptual analysis* 390
W. W. Tait
Remarks on finitism 410
Johan van Benthem
Logical constants: the variable fortunes of an elusive notion 420
Symposium program 443
|
| any_adam_object | 1 |
| author_GND | (DE-588)128682167 |
| building | Verbundindex |
| bvnumber | BV014462980 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.A1R44 2002 |
| callnumber-search | QA9.A1R44 2002 |
| callnumber-sort | QA 19 A1 R44 42002 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SE 161 |
| ctrlnum | (OCoLC)634206409 (DE-599)BVBBV014462980 |
| dewey-full | 511.321 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 21 |
| dewey-search | 511.3 21 |
| dewey-sort | 3511.3 221 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02109nam a2200529zcb4500</leader><controlfield tag="001">BV014462980</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080716 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">020603s2002 xxu |||| 01||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2002025778</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1568811691</subfield><subfield code="9">1-56881-169-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1568811705</subfield><subfield code="9">1-56881-170-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)634206409</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV014462980</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-521</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.A1R44 2002</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3 21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SE 161</subfield><subfield code="0">(DE-625)142750:13625</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Reflections on the foundations of mathematics</subfield><subfield code="b">essays in honor of Solomon Feferman ; [symposium held at Stanford University on December 11 - 13, 1998]</subfield><subfield code="c">ed. by Wilfried Sieg ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Urbana, Ill.</subfield><subfield code="b">Assoc. for Symbolic Logic</subfield><subfield code="c">2002</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Natick, Mass.</subfield><subfield code="b">A. K. Peters</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 444 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">Lecture notes in logic</subfield><subfield code="v">15</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophie</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical -- Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics -- Philosophy -- Congresses</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4016928-5</subfield><subfield code="a">Festschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Feferman, Solomon</subfield><subfield code="d">1928-</subfield><subfield code="0">(DE-588)128682167</subfield><subfield code="4">hnr</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sieg, Wilfried</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sommer, Richard</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Talcott, Carolyn L.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in logic</subfield><subfield code="v">15</subfield><subfield code="w">(DE-604)BV008909514</subfield><subfield code="9">15</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=009875868&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-009875868</subfield></datafield></record></collection> |
| genre | (DE-588)4016928-5 Festschrift gnd-content (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Festschrift Konferenzschrift |
| id | DE-604.BV014462980 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T19:02:55Z |
| institution | BVB |
| isbn | 1568811691 1568811705 |
| language | English |
| lccn | 2002025778 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009875868 |
| oclc_num | 634206409 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-29 DE-521 |
| owner_facet | DE-19 DE-BY-UBM DE-29 DE-521 |
| physical | VIII, 444 S. |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | Assoc. for Symbolic Logic A. K. Peters |
| record_format | marc |
| series | Lecture notes in logic |
| series2 | Lecture notes in logic |
| spelling | Reflections on the foundations of mathematics essays in honor of Solomon Feferman ; [symposium held at Stanford University on December 11 - 13, 1998] ed. by Wilfried Sieg ... Urbana, Ill. Assoc. for Symbolic Logic 2002 Natick, Mass. A. K. Peters VIII, 444 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in logic 15 Includes bibliographical references Mathematik Philosophie Logic, Symbolic and mathematical -- Congresses Mathematics -- Philosophy -- Congresses Mathematische Logik (DE-588)4037951-6 gnd rswk-swf (DE-588)4016928-5 Festschrift gnd-content (DE-588)1071861417 Konferenzschrift gnd-content Mathematische Logik (DE-588)4037951-6 s DE-604 Feferman, Solomon 1928- (DE-588)128682167 hnr Sieg, Wilfried Sonstige oth Sommer, Richard Sonstige oth Talcott, Carolyn L. Sonstige oth Lecture notes in logic 15 (DE-604)BV008909514 15 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009875868&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Reflections on the foundations of mathematics essays in honor of Solomon Feferman ; [symposium held at Stanford University on December 11 - 13, 1998] Lecture notes in logic Mathematik Philosophie Logic, Symbolic and mathematical -- Congresses Mathematics -- Philosophy -- Congresses Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4016928-5 (DE-588)1071861417 |
| title | Reflections on the foundations of mathematics essays in honor of Solomon Feferman ; [symposium held at Stanford University on December 11 - 13, 1998] |
| title_auth | Reflections on the foundations of mathematics essays in honor of Solomon Feferman ; [symposium held at Stanford University on December 11 - 13, 1998] |
| title_exact_search | Reflections on the foundations of mathematics essays in honor of Solomon Feferman ; [symposium held at Stanford University on December 11 - 13, 1998] |
| title_full | Reflections on the foundations of mathematics essays in honor of Solomon Feferman ; [symposium held at Stanford University on December 11 - 13, 1998] ed. by Wilfried Sieg ... |
| title_fullStr | Reflections on the foundations of mathematics essays in honor of Solomon Feferman ; [symposium held at Stanford University on December 11 - 13, 1998] ed. by Wilfried Sieg ... |
| title_full_unstemmed | Reflections on the foundations of mathematics essays in honor of Solomon Feferman ; [symposium held at Stanford University on December 11 - 13, 1998] ed. by Wilfried Sieg ... |
| title_short | Reflections on the foundations of mathematics |
| title_sort | reflections on the foundations of mathematics essays in honor of solomon feferman symposium held at stanford university on december 11 13 1998 |
| title_sub | essays in honor of Solomon Feferman ; [symposium held at Stanford University on December 11 - 13, 1998] |
| topic | Mathematik Philosophie Logic, Symbolic and mathematical -- Congresses Mathematics -- Philosophy -- Congresses Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Mathematik Philosophie Logic, Symbolic and mathematical -- Congresses Mathematics -- Philosophy -- Congresses Mathematische Logik Festschrift Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009875868&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV008909514 |
| work_keys_str_mv | AT fefermansolomon reflectionsonthefoundationsofmathematicsessaysinhonorofsolomonfefermansymposiumheldatstanforduniversityondecember11131998 AT siegwilfried reflectionsonthefoundationsofmathematicsessaysinhonorofsolomonfefermansymposiumheldatstanforduniversityondecember11131998 AT sommerrichard reflectionsonthefoundationsofmathematicsessaysinhonorofsolomonfefermansymposiumheldatstanforduniversityondecember11131998 AT talcottcarolynl reflectionsonthefoundationsofmathematicsessaysinhonorofsolomonfefermansymposiumheldatstanforduniversityondecember11131998 |