Mathematical logic: proof theory, constructive mathematics. Abstracts fro the workshop held November 6--12, 2011.

DOI10.4171/OWR/2011/52zbMath1349.00097MaRDI QIDQ343308

No author found.

Publication date: 27 November 2016

Published in: Oberwolfach Reports (Search for Journal in Brave)

Mathematics Subject Classification ID

00B25: Proceedings of conferences of miscellaneous specific interest

03F60: Constructive and recursive analysis

00B05: Collections of abstracts of lectures

03F30: First-order arithmetic and fragments

03-06: Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations

03F10: Functionals in proof theory

03F50: Metamathematics of constructive systems

03F20: Complexity of proofs

Related Items

Univalent Foundations and the Equivalence Principle

Cites Work

• Explicit Provability and Constructive Semantics
• THE LOGIC OF JUSTIFICATION