Model Theory Seminar Archive
| Feb 1/19 | Patrick Speissegger, McMaster University |
Limit cycles of planar vector fields, Hilbert’s 16th problem and o-minimality |
| 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 languages-Part 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 |
Component-closed expansions of the real line (preliminary report) |
| Mar 27/18 | Santiago Camacho University of Illinois Urbana-Champaign |
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 o-minimal 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 |
Ax-Schanuel 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 Non-McDuff 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 VC-density in P-minimal 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 Pila--Wilkie 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 |
Dp-finite fields |
| Sept. 12/17 | James Rooney McMaster University |
Loops and Congruence Varieties |
| Sept 19/17 | Ian Payne McMaster University |
Residually Large Varieties of 2-Semilattices |
| Feb 2/17 | Bradd Hart McMaster University |
Practical definability...cont |
|
Jan 19/17 |
Bradd Hart |
Practical definability |
|
Jan 9/17 |
Nigel Pynn-Coates |
D-Henselian 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 P-adic 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) |
Differential-Henselian 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 difference-differential Galois group for a second-order linear difference equation |
|
Oct 23/15 |
Caroline Terry |
Some new logical zero-one 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 pseudo-finite dimensions |
|
Apr 8/14 |
A quasianalytic algebra based on the Hardy field of log-exp-analytic functions | |
|
April 1/14 |
Omar Leon Sanchez, |
A model-theoretic 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 Mixed-Type |
|
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 o-minimal setting |
|
|
Oct 18/13 |
Hossein Taghinejad |
More motivic integration |
|
Oct 4/13 |
Deirdre Haskell |
Introduction to Hrushovski-Kazhdanic motivic integration (contd) |
|
Sept 20/13 |
Deirdre Haskell |
Geometric motivic integration a la Hrushovski-Kazhdan -- 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 P-minimal structures |
|
Jan 25/13 |
Rahim Moosa |
Model theory of fields with (non-commuting) operators |
|
Jan 18/13 |
Saugata Basu |
From combinatorial complexity to triangulations of monotone families |
