Hostname: page-component-76d6cb85b7-hqrjx Total loading time: 0 Render date: 2026-07-15T04:28:40.778Z Has data issue: false hasContentIssue false
  • English
  • Français

50 YEARS OF EXPLICIT MATHEMATICS WITH A SPECIAL SESSION IN MEMORY OF WOLFRAM POHLERS CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Tübingen, Germany September 19–21, 2025

Published online by Cambridge University Press:  23 June 2026

Rights & Permissions [Opens in a new window]

Abstract

An abstract is not available for this content. As you have access to this content, full HTML content is provided on this page. A PDF of this content is also available in through the ‘Save PDF’ action button.

Information

Type
Meeting Report
Information
Bulletin of Symbolic Logic , Volume 32 , Issue 2 , June 2026 , pp. 362
Check for updates
Copyright
© The Author(s), 2026. Published by Cambridge University Press on behalf of The Association for Symbolic Logic

The conference, which took place at the Carl Friedrich von Weizsäcker Center of the University of Tübingen, commemorated the 50th anniversary of the first publication introducing Explicit Mathematics by Solomon Feferman. It included a special session in memory of the Wolfram Pohlers (1943–2024). The Udo Keller Foundation, the Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften DVMLG, and the Association for Symbolic Logic supported the meeting and their support is gratefully acknowledged.

The Program and Organizing Committee consisted of Gerhard Jäger (Bern), Reinhard Kahle (Tübingen), and Marcel Ertel (Túbingen).

Ten talks on Explicit Mathematics were given by U. Buchholtz (Nottingham), P. Dybier (Gothenburg), M. Ertel (Tübingen), G. Jäger (Bern), R. Kahle (Tübingen), M. Rathjen (Leeds), Kentaro Sato (Tokyo), A. Setzer (Swansea), E. Skapinakis (Lisbon & Tübingen), and G. Wilken (Okinawa). During the special session in memory of Wolfram Pohlers, A. Beckmann (Swansea), L. Beklemishev (Moscow), I. Oitavem (Lisbon), and M. Rathjen (Leeds) spoke.

Further information can be found at the website:

https://uni-tuebingen.de/de/281304.

For the Organizing Committee

Reinhard Kahle