A Convergence of Computable Structure Theory, Analysis, and Randomness (23w5055)

The Banff International Research Station will host the "A Convergence of Computable Structure Theory, Analysis, and Randomness" workshop in Banff from March 19 to March 24, 2023.

This workshop focuses on the newly developing connection between computable structure theory, computable analysis, continuous logic, and algorithmic randomness. While metric structures can be studied through the model-theoretic lens of continuous logic with no additional constraints, computable structure theory has historically been centered around countable algebraic structures such as algebraically closed fields and linear orders. However, with some care, it is possible to study uncountable structures such as Banach spaces and metric spaces in this context and to define the notion of an algorithmically random structure. This workshop will bring together researchers in these four areas to build on recent advances in the intersection of these topics and develop new questions in and new approaches to this emerging field of study.

The Banff International Research Station for Mathematical Innovation and Discovery (BIRS) is a collaborative Canada-US-Mexico venture that provides an environment for creative interaction as well as the exchange of ideas, knowledge, and methods within the Mathematical Sciences, with related disciplines and with industry. The research station is located at The Banff Centre in Alberta and is supported by Canada's Natural Science and Engineering Research Council (NSERC), the U.S. National Science Foundation (NSF), Alberta's Advanced Education and Technology, and Mexico's Consejo Nacional de Ciencia y Tecnología (CONACYT).