Midwest Computability Seminar

XXVIII
Part iv


The Midwest Computability Seminar will meet remotely in the winter and spring of 2022, jointly with the Computability Theory and Applications Online Seminar. The recurring Zoom link is:

https://notredame.zoom.us/j/99754332165?pwd=RytjK1RFZU5KWnZxZ3VFK0g4YTMyQT09

Meeting ID: 997 5433 2165

Passcode: midwest


slides    Panopto video    YouTube video


DATE: Monday, March 21st, 2022

TIME: 3:30 - 4:30 PM Central Time


SPEAKER: Meng Che "Turbo" Ho - California State University Northridge

TITLE: Zero-one laws for finitely presented structures

ABSTRACT: Gromov proposed the notion of random groups as a model to study the typical behavior of finitely presented groups. They share many properties of the free group, and Knight conjectured that random groups satisfy the zero-one law and have the same first-order theory as the free group. In this joint work with Franklin and Knight, we study this zero-one law in other classes of structures. In particular, we consider random presentations in algebraic varieties in the sense of universal algebra. We will discuss some examples where the zero-one law holds and some other examples where the zero-one law fails. We also establish some general conditions for the zero-one law to hold (or fail).



Past and Future Sessions

Previous Seminars:

If you haven't been receiving the announcements and would like to be included in the list, send an email to drh@math.uchicago.edu.