Past Seminars:
Date |
Speaker |
Title/Abstract |
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 McMaster University |
Practical definability |
Jan 9/17 | Nigel Pynn-Coates UIUC |
D-Henselian Extensions of Valued Differential Fields |
Nov 28/16 | Jesse Han McMaster University |
Reconstruction theorems for $\omega$-categorical structures, continued |
Nov 7/16 | Bradd Hart Math & Stats Dept McMaster University |
An example of measure in model theory |
Oct 24/16 | James Rooney McMaster University |
Universal Algebra and Infinite Domain CSPs |
Oct 3/16 | Alex Kazda IST, Austria |
What can a single linear equality do? |
Sept 26/16 | Peter Sinclair McMaster University |
When does NIP transfer from fields to henselian expansions? |
Sept 19/16 | Matthew Moore McMaster University |
Cube term blockers |
Apr 8/16 | Silvain Rideau University of California, Berkeley |
Imaginaries in separably closed valued fields |
Apr 1/16 | Hossein Taghinejad Math & Stats Dept McMaster University |
Bounding the decay of P-adic oscillatory integrals with a constructible amplitude function and a subanalytic phase function |
Mar 4/16 | Omar Leon Sanchez Math & Stats Dept McMaster University |
On the differential Galois correspondence |
Mar 11/16 | Bradd Hart Math & Stats Dept McMaster University |
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 Math & Stats Dept McMaster Universit |
Learnability and Testability (Part II) |
Feb 5/16 | Alex Kruckman UC Berkele |
Properly Ergodic Structures |
Jan 29/16 | Deirdre Haskell McMaster University |
Tame theories of fields with a predicate for a discrete subgroup |
Jan 22/16 | Matt Moore Vanderbilt University |
Absorption and directed Jonsson terms |
Jan 15/16 | Matt Valeriote McMaster University |
Learnability and Testability |
Dec 4/15 | Philipp Hieronymi | A tame Cantor set |
Nov 27/15 | Somayeh Vojdani Notre Dame |
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 McMaster University |
On the existence of differential Galois extensions |
Oct 30/15 | Carlos Arreche NCSU |
On the computation of the difference-differential Galois group for a second-order linear difference equation |
Oct 23/15 | Caroline Terry University of Illinois at Chicago |
Some new logical zero-one laws |
Oct 2/15 | Bradd Hart McMaster University |
The model theoretic universe |
Sept 25/15 | Anand Pillay Univ of Notre Dame |
Compactifications of pseudofinite groups |
June 18/14 | Bradd Hart McMaster University |
On pseudo-finite dimensions |
Apr 8/14 | Patrick Speissegger, McMaster University |
A quasianalytic algebra based on the Hardy field of log-exp-analytic functions |
April 1/14 | Omar Leon Sanchez, McMaster University |
A model-theoretic application to Poisson algebras |
Mar 24/14 | Matt Luther, McMaster University |
Interpreting Fields in Symmetric Spaces – Part II |
Mar 18/14 | Alexander Wires, University of Waterloo |
Dichotomy for Finite Tournaments of Mixed-Type |
Mar 11/14 | Ross Willard, University of Waterloo |
Finite axiomatizability of “small” equational theories |
Mar 4/14 | Matt Luther McMaster University |
Interpreting Fields in Symmetric Spaces |
Feb 25/14 | Barbara Csima | Isomorphisms of Computable Structures |
Feb 11/14 | Matt Luther McMaster University |
Definability in symmetric spaces |
Jan 28/14 | Omar Leon Sanchez McMaster University |
On isolated types in DCF (part II) |
Dec 6/13 | Hossein Taghinejad McMaster University |
Further motivic integration |
Nov 26/13 | James Freitag Berkeley |
Almost simple differential and superstable groups |
Nov 15/13 | Hossein Taghinejad McMaster University |
Further motivic integration |
Nov 12/13 | Will Boney CMU |
Forking in short and tame abstract elementary classes |
Nov 8/13 | Erik Walsberg UCLA |
Metric geometry in the o-minimal setting |
Oct 18/13 | Hossein Taghinejad McMaster University |
More motivic integration |
Oct 4/13 | Deirdre Haskell McMaster University |
Introduction to Hrushovski-Kazhdanic motivic integration (contd) |
Sept 20/13 | Deirdre Haskell McMaster University |
Geometric motivic integration a la Hrushovski-Kazhdan — an overview |
Apr 5/13 | Alfred Dolich CUNY |
Maximal automorphisms |
Mar 22/13 | Bradd Hart McMaster University |
Conceptual completeness in continuous logic |
Mar 1/13 | Eva Leenknegt Purdue University |
Properties of definable functions in P-minimal structures |
Jan 25/13 | Rahim Moosa University of Waterloo |
Model theory of fields with (non-commuting) operators |
Jan 18/13 | Saugata Basu Purdue University |
From combinatorial complexity to triangulations of monotone families |
2012