34 research outputs found
Recommended from our members
Computability Theory (hybrid meeting)
Over the last decade computability theory has seen many new and
fascinating developments that have linked the subject much closer
to other mathematical disciplines inside and outside of logic.
This includes, for instance, work on enumeration degrees that
has revealed deep and surprising relations to general topology,
the work on algorithmic randomness that is closely tied to
symbolic dynamics and geometric measure theory.
Inside logic there are connections to model theory, set theory, effective descriptive
set theory, computable analysis and reverse mathematics.
In some of these cases the bridges to seemingly distant mathematical fields
have yielded completely new proofs or even solutions of open problems
in the respective fields. Thus, over the last decade, computability theory
has formed vibrant and beneficial interactions with other mathematical
fields.
The goal of this workshop was to bring together researchers representing
different aspects of computability theory to discuss recent advances, and to
stimulate future work
Martin's conjecture, arithmetic equivalence, and countable Borel equivalence relations
There is a fascinating interplay and overlap between recursion theory and
descriptive set theory. A particularly beautiful source of such interaction has
been Martin's conjecture on Turing invariant functions. This longstanding open
problem in recursion theory has connected to many problems in descriptive set
theory, particularly in the theory of countable Borel equivalence relations.
In this paper, we shall give an overview of some work that has been done on
Martin's conjecture, and applications that it has had in descriptive set
theory. We will present a long unpublished result of Slaman and Steel that
arithmetic equivalence is a universal countable Borel equivalence relation.
This theorem has interesting corollaries for the theory of universal countable
Borel equivalence relations in general. We end with some open problems, and
directions for future research.Comment: Corrected typo
Recommended from our members
Computability Theory
Computability and computable enumerability are two of the fundamental notions of mathematics. Interest in effectiveness is already apparent in the famous Hilbert problems, in particular the second and tenth, and in early 20th century work of Dehn, initiating the study of word problems in group theory. The last decade has seen both completely new subareas develop as well as remarkable growth in two-way interactions between classical computability theory and areas of applications. There is also a great deal of work on algorithmic randomness, reverse mathematics, computable analysis, and in computable structure theory/computable model theory. The goal of this workshop is to bring together researchers representing different aspects of computability theory to discuss recent advances, and to stimulate future work