Midwest Computability Seminar

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:


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

Zero-one laws for finitely presented structures

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.