Conferences  >  Mathematics  >  Mathematical Logic and Foundations  >  United States

Select a location
AIM Workshop: Invariant descriptive computability theory
07 Nov 2022 - 11 Nov 2022 • San Jose, California, United States
American Institute of Mathematics (AIM)
This workshop, sponsored by AIM and the NSF, will be devoted to connecting two parallel approaches towards the study of the complexity of equivalence relations. On the one hand, a popular tool for classifying equivalence relations on standard Borel spaces is Borel reducibility. Invariant descriptive set theory, centered around this notion, is a vibrant field which shows deep connections with topology, group theory, combinatorics, and ergodic theory. On the other hand, a natural effectivization of Borel reducibility, named computable reducibility, appears in computability theory. Computable reducibility has proven to be a key notion for measuring the complexity of equivalence relations on the natural numbers, with fruitful applications in a variety of fields, such as: the metamathematics of arithmetic, the study of word problems for groups, the theory of numberings, and computable model theory. Despite the analogy between Borel and computable reducibility, there has been so far little effort to directly connect techniques, knowledge, and researchers of these separate fields. To counter this lack of communication, the proposed workshop will assemble a diverse group of mathematical logicians - drawn from both experts in invariant descriptive set theory and experts in computability theory working on computable reduction - to discuss on how their tools can align.
Event listing ID:
1485282 offers, as part of its business activities, a directory of upcoming scientific and technical meetings. The calendar is published for the convenience of conference participants and we strive to support conference organisers who need to publish their upcoming events. Although great care is being taken to ensure the correctness of all entries, we cannot accept any liability that may arise from the presence, absence or incorrectness of any particular information on this website. Always check with the meeting organiser before making arrangements to participate in an event!

No tracking | No pop-ups | No animations
Last updated: 5 May 2022