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

Proceedings of conferences of miscellaneous specific interest (00B25) Constructive and recursive analysis (03F60) Collections of abstracts of lectures (00B05) First-order arithmetic and fragments (03F30) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Functionals in proof theory (03F10) Metamathematics of constructive systems (03F50) Complexity of proofs (03F20)

Related Items (1)

Univalent Foundations and the Equivalence Principle

Cites Work

• Explicit Provability and Constructive Semantics
• THE LOGIC OF JUSTIFICATION

This page was built for publication: Mathematical logic: proof theory, constructive mathematics. Abstracts fro the workshop held November 6--12, 2011.