Ways of Proof Theory / / ed. by Ralf Schindler.
On the occasion of the retirement of Wolfram Pohlers the Institut für Mathematische Logik und Grundlagenforschung of the University of Münster organized a colloquium and a workshop which took place July 17 – 19, 2008. This event brought together proof theorists from many parts of the world who have...
Saved in:
Superior document: | Title is part of eBook package: De Gruyter DGBA Backlist Complete English Language 2000-2014 PART1 |
---|---|
MitwirkendeR: | |
HerausgeberIn: | |
Place / Publishing House: | Berlin ;, Boston : : De Gruyter, , [2013] ©2010 |
Year of Publication: | 2013 |
Language: | English |
Series: | Ontos Mathematical Logic ,
2 |
Online Access: | |
Physical Description: | 1 online resource (498 p.) :; Zahlr. Abb. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
LEADER | 07363nam a22011295i 4500 | ||
---|---|---|---|
001 | 9783110324907 | ||
003 | DE-B1597 | ||
005 | 20230228123812.0 | ||
006 | m|||||o||d|||||||| | ||
007 | cr || |||||||| | ||
008 | 230228t20132010gw fo d z eng d | ||
019 | |a (OCoLC)978589469 | ||
020 | |a 9783110324907 | ||
024 | 7 | |a 10.1515/9783110324907 |2 doi | |
035 | |a (DE-B1597)211281 | ||
035 | |a (OCoLC)853268803 | ||
040 | |a DE-B1597 |b eng |c DE-B1597 |e rda | ||
041 | 0 | |a eng | |
044 | |a gw |c DE | ||
050 | 4 | |a QA9.54 |b .S35 2010 | |
072 | 7 | |a PHI000000 |2 bisacsh | |
082 | 0 | 4 | |a 511.3 |
245 | 0 | 0 | |a Ways of Proof Theory / |c ed. by Ralf Schindler. |
264 | 1 | |a Berlin ; |a Boston : |b De Gruyter, |c [2013] | |
264 | 4 | |c ©2010 | |
300 | |a 1 online resource (498 p.) : |b Zahlr. Abb. | ||
336 | |a text |b txt |2 rdacontent | ||
337 | |a computer |b c |2 rdamedia | ||
338 | |a online resource |b cr |2 rdacarrier | ||
347 | |a text file |b PDF |2 rda | ||
490 | 0 | |a Ontos Mathematical Logic , |x 2198-2341 ; |v 2 | |
505 | 0 | 0 | |t Frontmatter -- |t Preface -- |t Contents -- |t Wolfram Pohlers—Life and Work -- |t The Proof Theory of Classical and Constructive Inductive Definitions. A Forty Year Saga, 1968 – 2008 -- |t A New Approach to Predicative Set Theory -- |t Characterising Definable Search Problems in Bounded Arithmetic via Proof Notations -- |t On Topological Models of GLP -- |t Program Extraction via Typed Realisability for Induction and Coinduction -- |t Another Reduction of Classical IDν to Constructive IDiν -- |t Elementary Constructive Operational Set Theory -- |t Functional Interpretations of Classical Systems -- |t Towards a Formal Theory of Computability -- |t Σ11 Choice in a Theory of Sets and Classes -- |t An Extended Predicative Definition of the Mahlo Universe -- |t ITTMs with Feedback -- |t Logspace without Bounds -- |t Investigations of Subsystems of Second Order Arithmetic and Set Theory in Strength between Π11 -CA and Δ12 -CA + BI: Part I -- |t Weak Theories of Operations and Types -- |t Computing Bounds from Arithmetical Proofs -- |t Backmatter |
506 | 0 | |a restricted access |u http://purl.org/coar/access_right/c_16ec |f online access with authorization |2 star | |
520 | |a On the occasion of the retirement of Wolfram Pohlers the Institut für Mathematische Logik und Grundlagenforschung of the University of Münster organized a colloquium and a workshop which took place July 17 – 19, 2008. This event brought together proof theorists from many parts of the world who have been acting as teachers, students and collaborators of Wolfram Pohlers and who have been shaping the field of proof theory over the years. The present volume collects papers by the speakers of the colloquium and workshop; and they produce a documentation of the state of the art of contemporary proof theory. | ||
530 | |a Issued also in print. | ||
538 | |a Mode of access: Internet via World Wide Web. | ||
546 | |a In English. | ||
588 | 0 | |a Description based on online resource; title from PDF title page (publisher's Web site, viewed 28. Feb 2023) | |
650 | 0 | |a Proof theory. | |
650 | 4 | |a Mathematik. | |
650 | 4 | |a Proof Theory. | |
650 | 4 | |a mathematische Logik. | |
650 | 7 | |a PHILOSOPHY / General. |2 bisacsh | |
700 | 1 | |a Avron, Arnon, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Beckmann, Arnold, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Beklemishev, Lev, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Berger, Ulrich, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Bezhanishvili, Guram, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Buchholz, Wilfried, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Buss, Samuel R., |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Cantini, Andrea, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Crosilla, Laura, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Diller, Justus, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Feferman, Solomon, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Huber, Simon, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Icard, Thomas, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Jäger, Gerhard, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Kahle, Reinhard, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Karádais, Basil A., |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Krähenbühl, Jürg, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Lubarsky, Robert S., |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Oitavem, Isabel, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Rathjen, Michael, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Schindler, Ralf, |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
700 | 1 | |a Schwichtenberg, Helmut, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Seisenberger, Monika, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Setzer, Anton, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Strahm, Thomas, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Wainer, Stanley S., |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
773 | 0 | 8 | |i Title is part of eBook package: |d De Gruyter |t DGBA Backlist Complete English Language 2000-2014 PART1 |z 9783110238570 |
773 | 0 | 8 | |i Title is part of eBook package: |d De Gruyter |t DGBA Backlist Philosophy 2000-2014 (EN) |z 9783110238488 |
773 | 0 | 8 | |i Title is part of eBook package: |d De Gruyter |t DGBA Philosophy 2000 - 2014 |z 9783110636949 |o ZDB-23-GPH |
773 | 0 | 8 | |i Title is part of eBook package: |d De Gruyter |t eBook Package De Gruyter Ontos 2002-2012 |z 9783110331226 |
773 | 0 | 8 | |i Title is part of eBook package: |d De Gruyter |t eBook Paket De Gruyter Ontos 2002-2012 |z 9783110331219 |o ZDB-23-DON |
776 | 0 | |c print |z 9783110324525 | |
856 | 4 | 0 | |u https://doi.org/10.1515/9783110324907 |
856 | 4 | 0 | |u https://www.degruyter.com/isbn/9783110324907 |
856 | 4 | 2 | |3 Cover |u https://www.degruyter.com/document/cover/isbn/9783110324907/original |
912 | |a 978-3-11-023848-8 DGBA Backlist Philosophy 2000-2014 (EN) |c 2000 |d 2014 | ||
912 | |a 978-3-11-023857-0 DGBA Backlist Complete English Language 2000-2014 PART1 |c 2000 |d 2014 | ||
912 | |a 978-3-11-033122-6 eBook Package De Gruyter Ontos 2002-2012 |c 2002 |d 2012 | ||
912 | |a EBA_BACKALL | ||
912 | |a EBA_CL_PLTLJSIS | ||
912 | |a EBA_DGALL | ||
912 | |a EBA_EBACKALL | ||
912 | |a EBA_EBKALL | ||
912 | |a EBA_ECL_PLTLJSIS | ||
912 | |a EBA_EEBKALL | ||
912 | |a EBA_ESSHALL | ||
912 | |a EBA_SSHALL | ||
912 | |a GBV-deGruyter-alles | ||
912 | |a PDA11SSHE | ||
912 | |a PDA13ENGE | ||
912 | |a PDA17SSHEE | ||
912 | |a PDA5EBK | ||
912 | |a ZDB-23-DON |c 2002 |d 2012 | ||
912 | |a ZDB-23-GPH |c 2000 |d 2014 |