Fields- Model Theory Seminar
-
Title: Definability on the Reals from Büchi Automata
Speaker:
Link:
-
Title: Toward a model theory for R -Hardy fields
Speaker:
Link:
-
Title: Nevanlinna theory and algebraic values of meromorphic functions.
Speaker:
Link:
-
Title: Definable Fields in Various Dp-minimal Fields
Speaker:
Link:
-
Title: Multi topological fields, approximations and NTP2
Speaker:
Link:
-
Title: Zero-one laws for finitely presented structures.
Speaker:
Link:
-
Title: On algebraically closed fields with a distinguished subfield
Speaker:
Link:
-
Title: Randomness patterns, generic stability, and NTP2
Speaker:
Link:
-
Title: Combinatorial properties of non-archimedean convex sets
Speaker:
Link:
-
Title: Definable groups in topological fields with a generic derivation
Speaker:
Link:
-
Title: Strongly Minimal Groups Definable in O-minimal Fields
Speaker:
Link:
-
Title: Formalizing Macintyre's Theorem in Isabelle/HOL
Speaker:
Link:
-
Title: Convoluted Dynamics
Speaker:
Link:
-
Title: Structural Ramsey Theory and Free Superpositions; a model-theoretist's perspective
Speaker:
Link:
-
Title: Preservation of Partition Properties under Products
Speaker:
Link:
-
Title: First order rigidity of high-rank arithmetic groups
Speaker:
Link:
-
Title: Higher order stability, 3-uniform hyper graphs, and arithmetic regularity: Part 2
Speaker:
Link:
-
Title: Higher order stability, 3-uniform hyper graphs, and arithmetic regularity: Part 1
Speaker:
Link:
-
Title: Decidability via the tilting correspondence
Speaker:
Link:
-
Title: Canonical riso-trees and the stratifications they induce
Speaker:
Link: