A poster with details about a math workshop on definability, decidability and computability.

DDC@Cambridge: FRG Workshop on Definability, Decidability and Computability


View Calendar
July 28, 2024 - August 2, 2024
Science Center 507
Address: 1 Oxford Street, Cambridge, MA 02138 USA
July 28—August 2, 2024
Harvard University Science Center, Room 507

This workshop is organized by the Principal Investigators of the NSF funded Focused Research Group on Definability, Decidability and Computability over Arithmetically Significant Fields DMS-2152304. The main topic of the workshop concerns questions of definability in the language of rings and its variants over algebraic extensions of rational numbers, function fields and local fields and the consequences for decidability of theories and computability of properties associated with these fields.

Register Here




Organizers: Valentina Harizanov, Barry Mazur, Jennifer Park, Florian Pop, Karl Rubin, Alexandra Shlapentokh.

Sponsors: Harvard University, NSF.