Logic, combinatorics and independence results. Abstracts from the mini-workshop held November 25 -- December 2, 2006.

DOI10.4171/OWR/2006/52MaRDI QIDQ1046964zbMATH OpenOpenAlexFDO

Authors

Publication date 3 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=3&iss=4&rank=10

Mathematics Subject Classification ID

Collections of abstracts of lectures (00B05) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Models of arithmetic and set theory (03C62) Recursive functions and relations, subrecursive hierarchies (03D20) Applications of computability and recursion theory (03D80) Recursive ordinals and ordinal notations (03F15) First-order arithmetic and fragments (03F30) Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50)

Recommendations

• scientific article; zbMATH DE number 5013084
• Mathematical logic: Proof theory, constructive mathematics. Abstracts from the workshop held April 6--12, 2008.
• scientific article; zbMATH DE number 4193657
• scientific article; zbMATH DE number 4055605
• An Unprovable Ramsey-Type Theorem

Cited in

(2)

• On some slowly terminating term rewriting systems
• scientific article; zbMATH DE number 4055605 (Why is no real title available?)

This page was built for publication: Logic, combinatorics and independence results. Abstracts from the mini-workshop held November 25 -- December 2, 2006.

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