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

DOI10.4171/OWR/2006/52zbMath1177.03008OpenAlexW2090364419MaRDI QIDQ1046964

No author found.

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) First-order arithmetic and fragments (03F30) 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) Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50) Recursive ordinals and ordinal notations (03F15)

Related Items (1)

On some slowly terminating term rewriting systems

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