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

DOI10.4171/OWR/2011/52zbMATH Open1349.00097MaRDI QIDQ343308FDOQ343308

Authors:

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

Cites Work

• Explicit provability and constructive semantics
• The logic of justification

Cited In (2)

• Univalent Foundations and the Equivalence Principle
• Title not available (Why is that?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q343308)