Model Theory Seminar Archive
Feb 1/19  Patrick Speissegger, McMaster University 
Limit cycles of planar vector fields, Hilbert’s 16th problem and ominimality 
Nov 30/18  Joel (Ronnie) Nagloo City University of New York 
A general theory of strongly minimal sets of Schwarz type 
Nov 23/18  Johnson Tan McMaster University 
Attempts at Schützenberger Theorem for tree languages 
Nov 16/18  Steven Lazarro McMaster University 
BCI machine 
Nov 9/18  Anthony Bonato Ryerson University 
The new world of infinite random geometric graphs 
Nov 2/18  Aaron Crighton McMaster University 
tba 
Oct 26/18  Erin Caulfield McMaster University 
Definable sets in expansions of the real field by some complex subgroups 
Oct 16/18  Ary Shaviv Weizmann Institute of Science 
Schwarz functions on subanalytic manifolds 
Oct 5/18  Matt Valeriote McMaster University 
Definability of regular tree languagesPart II 
Sept 28/18  Maryanthe Malliaris University of Chicago 
A new simple theory 
Sept 14/18  Matt Valeriote McMaster University 
Definability of regular tree languages 
April 6/18  Chris Miller Ohio State University 
Componentclosed expansions of the real line (preliminary report) 
Mar 27/18  Santiago Camacho University of Illinois UrbanaChampaign 
Three recent results of truncation in Transseries 
Mar 20/18  Peter Sinclair McMaster University 
Title and Abstract tba 
Mar 13/18  Margaret Thomas McMaster University 
Definable topologies and definable compactness in ominimal structures 
Mar 9/18  Erik Walsberg  Defining field structure in a first order expansion of the ordered additive group of real numbers 
Mar 6/18  Erin Caulfield  Classifying expansions of the real field by complex subgroups 
Mar 2/18  Jacob Tsimerman University of Toronto 
AxSchanuel for Shimura Varieties 
Jan 23 & 30/18  Deirdre Haskell McMaster University 
Elimination of imaginaries in theories of valued fields 
Jan 16/18  Bradd Hart McMaster University 
The Urysohn sphere is pseudofinite 
Dec 5/17  Jamal Kawach University of Toronto 
Ramsey properties of Fraïssé classes of finite measure algebras 
Nov 28/17  Steven Lazzarro McMaster University 
A Special Example of a NonMcDuff Factor with Property Γ 
Nov 21/17  Alberto Chicco McMaster University 
Maltsev conditions obtained by the omission of certain algebraic structures 
Nov 14/17  Patrick Speissegger McMaster University 
Quasianalytic Ilyashenko algebras 
Nov 7/17  Aaron Crighton McMaster University 
Computing VCdensity in Pminimal Theories 
Oct 31/17  Tobias Kaiser Univ of Passau 
Asymptotics of parametrized exponential integrals given by Brownian motion on globally subanalytic sets 
Oct 24/17  Dioga Pocas McMaster University 
Analog Computability in Differential Equations 
Oct 17/17  Margaret Thomas McMaster University 
Effective PilaWilkie bounds for Pfaffian surfaces 
Oct 3/17  Jesse Han McMaster University 
Strong conceptual completeness and internal adjunctions in Def (T) 
Sept 29/17  Julia Gordon UBC and Cornell 
Locus conditions and transfer principles 
Sept 26/17  Peter Sinclair McMaster University 
Dpfinite fields 
Sept. 12/17  James Rooney McMaster University 
Loops and Congruence Varieties 
Sept 19/17  Ian Payne McMaster University 
Residually Large Varieties of 2Semilattices 
Feb 2/17  Bradd Hart McMaster University 
Practical definability...cont 
Jan 19/17 
Bradd Hart 
Practical definability 
Jan 9/17 
Nigel PynnCoates 
DHenselian Extensions of Valued Differential Fields 
Nov 28/16 
Jesse Han 
Reconstruction theorems for $\omega$categorical structures, continued 
Nov 7/16 
Bradd Hart 
An example of measure in model theory 
Oct 24/16 
James Rooney 
Universal Algebra and Infinite Domain CSPs 
Oct 3/16 
Alex Kazda 
What can a single linear equality do? 
Sept 26/16 
Peter Sinclair 
When does NIP transfer from fields to henselian expansions? 
Sept 19/16 
Matthew Moore 
Cube term blockers 
Apr 8/16 
Silvain Rideau 
Imaginaries in separably closed valued fields 
Apr 1/16 
Hossein Taghinejad 
Bounding the decay of Padic oscillatory integrals with a constructible amplitude function and a subanalytic phase function 
Mar 4/16 
Omar Leon Sanchez 
On the differential Galois correspondence 
Mar 11/16 
Bradd Hart 
On the theories of McDuff's II$_1$ factors 
Mar 18/16 
Lou van den Dries (UIUC) 
DifferentialHenselian Fields 
Feb 26/16 
Matt Valeriote 
Learnability and Testability (Part II) 
Feb 5/16 
Alex Kruckman 
Properly Ergodic Structures 
Jan 29/16 
Deirdre Haskell 
Tame theories of fields with a predicate for a discrete subgroup 
Jan 22/16 
Matt Moore 
Absorption and directed Jonsson terms 
Jan 15/16 
Matt Valeriote 
Learnability and Testability 
Dec 4/15 
Philipp Hieronymi 
A tame Cantor set 
Nov 27/15 
Somayeh Vojdani 
Compactifications of Nonstandard Finite Cyclic Groups 
Nov 20/15 
Ross Willard 
(No) Progress on the CSP Dichotomy Conjecture 
Nov 13/15 
Alberto Chicco 
Some topics on the modularity conjecture in the lattice of interpretability types of varieties. 
Nov 6/15 
Omar Leon Sanchez 
On the existence of differential Galois extensions 
Oct 30/15 
Carlos Arreche 
On the computation of the differencedifferential Galois group for a secondorder linear difference equation 
Oct 23/15 
Caroline Terry 
Some new logical zeroone laws 
Oct 2/15 
Bradd Hart 
The model theoretic universe 
Sept 25/15 
Anand Pillay 
Compactifications of pseudofinite groups 
June 18/14 
Bradd Hart 
On pseudofinite dimensions 
Apr 8/14 
A quasianalytic algebra based on the Hardy field of logexpanalytic functions  
April 1/14 
Omar Leon Sanchez, 
A modeltheoretic application to Poisson algebras 
Mar 24/14 
Matt Luther, 
Interpreting Fields in Symmetric Spaces  Part II 
Mar 18/14 
Alexander Wires, 
Dichotomy for Finite Tournaments of MixedType 
Mar 11/14 
Ross Willard, 
Finite axiomatizability of "small" equational theories 
Mar 4/14 
Matt Luther 
Interpreting Fields in Symmetric Spaces 
Feb 25/14 
Barbara Csima 
Isomorphisms of Computable Structures 
Feb 11/14 
Matt Luther 
Definability in symmetric spaces 
Jan 28/14 
Omar Leon Sanchez 
On isolated types in DCF (part II) 
Dec 6/13 
Hossein Taghinejad 
Further motivic integration 
Nov 26/13 
James Freitag 
Almost simple differential and superstable groups 
Nov 15/13 
Hossein Taghinejad 
Further motivic integration 
Nov 12/13 
Will Boney 
Forking in short and tame abstract elementary classes 
Nov 8/13 
Metric geometry in the ominimal setting 

Oct 18/13 
Hossein Taghinejad 
More motivic integration 
Oct 4/13 
Deirdre Haskell 
Introduction to HrushovskiKazhdanic motivic integration (contd) 
Sept 20/13 
Deirdre Haskell 
Geometric motivic integration a la HrushovskiKazhdan  an overview 
Apr 5/13 
Alfred Dolich 
Maximal automorphisms 
Mar 22/13 
Bradd Hart 
Conceptual completeness in continuous logic 
Mar 1/13 
Eva Leenknegt 
Properties of definable functions in Pminimal structures 
Jan 25/13 
Rahim Moosa 
Model theory of fields with (noncommuting) operators 
Jan 18/13 
Saugata Basu 
From combinatorial complexity to triangulations of monotone families 