Mathematical logic: Proof theory, constructive mathematics. Abstracts from the workshop held April 6--12, 2008.

DOI10.4171/OWR/2008/18MaRDI QIDQ1047744zbMATH OpenOpenAlexFDO

Authors

Publication date 6 January 2010

Published in Oberwolfach Reports (Search for Journal in Brave)

Full work available at URL http://www.ems-ph.org/journals/show_abstract.php?issn=1660-8933&vol=5&iss=2&rank=4

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proof theory and constructive mathematics (03Fxx) Collections of abstracts of lectures (00B05)

Recommendations

• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
• Mathematical logic: proof theory, type theory and constructive mathematics
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Proof complexity and beyond. Abstracts from the workshop held August 13--19, 2017

Cited in

(9)

• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
• scientific article; zbMATH DE number 5194952 (Why is no real title available?)
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
• Logic, combinatorics and independence results. Abstracts from the mini-workshop held November 25 -- December 2, 2006.
• Set theory. Abstracts from the workshop held January 13--19, 2008.
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023
• scientific article; zbMATH DE number 5241363 (Why is no real title available?)
• Mathematical logic: proof theory, type theory and constructive mathematics
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics

This page was built for publication: Mathematical logic: Proof theory, constructive mathematics. Abstracts from the workshop held April 6--12, 2008.

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