×

Found 37 Documents (Results 1–37)

Theories of proof-theoretic strength \(\psi(\Gamma_{\Omega+1})\). (English) Zbl 1433.03137

Probst, Dieter (ed.) et al., Concepts of proof in mathematics, philosophy, and computer science. Based on the Humboldt-Kolleg, Bern, Switzerland, September 9–13, 2013. Ontos Mathematical Logic 6. Berlin: De Gruyter. 115-140 (2016).
PDFBibTeX XMLCite
Full Text: DOI Link

Advances in proof theory. Proceedings of the symposium, on the occasion of the 60th birthday of Gerhard Jäger, Bern, Switzerland, December 13–14, 2013. (English) Zbl 1344.03002

Progress in Computer Science and Applied Logic 28. Basel: Birkhäuser/Springer (ISBN 978-3-319-29196-3/hbk; 978-3-319-29198-7/ebook). xii, 425 p. (2016).
PDFBibTeX XMLCite
Full Text: DOI

Turing’s revolution. The impact of his ideas about computability. (English) Zbl 1330.68036

Cham: Birkhäuser/Springer (ISBN 978-3-319-22155-7/hbk; 978-3-319-22156-4/ebook). xxiv, 329 p. (2015).
PDFBibTeX XMLCite
Full Text: DOI

Weak theories of truth and explicit mathematics. (English) Zbl 1315.03114

Berger, Ulrich (ed.) et al., Logic, construction, computation. Dedicated to the 70th birthday of Helmut Schwichtenberg. Frankfurt am Main: Ontos Verlag; Berlin: De Gruyter (ISBN 978-3-11-032453-2/hbk; 978-3-86838-158-0/hbk; 978-3-11-032492-1/ebook). Ontos Mathematical Logic 3, 157-183 (2012).
MSC:  03F50 03B40
PDFBibTeX XMLCite

Weak theories of operations and types. (English) Zbl 1244.03167

Schindler, Ralf (ed.), Ways of proof theory. Collected papers by speakers of the colloquium and workshop held on the occasion of the retirement of Wolfram Pohlers, July 17–19, 2008, Münster, Germany. Frankfurt am Main: Ontos Verlag (ISBN 978-3-86838-087-3/hbk). Ontos Mathematical Logic 2, 441-467 (2010).
MSC:  03F50 03F35
PDFBibTeX XMLCite

First steps into metapredicativity in explicit mathematics. (English) Zbl 0961.03057

Cooper, S. Barry (ed.) et al., Sets and proofs. Invited papers from the Logic colloquium ’97, European meeting of the Association for Symbolic Logic, Leeds, UK, July 6-13, 1997. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 258, 383-402 (1999).
MSC:  03F50
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference