McMaster University will continue to host undergraduate academic activities remotely for the Spring/Summer/Intersession term with only a few exceptions for courses that need student access to specialized equipment.

Model Theory Seminar Archive

Past Seminars: 
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
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
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

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

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

Almost simple differential and superstable groups

Nov 15/13

Hossein Taghinejad
McMaster University

Further motivic integration

Nov 12/13

Will Boney

Forking in short and tame abstract elementary classes

Nov 8/13

Erik Walsberg

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 

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



Prior Years

Go Back
McMaster University - Faculty of Science | Math & Stats