Caltech–UCLA Logic Seminar

(Aka Cabal Seminar)

The Logic seminar generally meets on Fridays, 2–3:30p.m., at Caltech or UCLA. Contact Alexander Kechris or Itay Neeman if you wish to give a talk.

Schedule of talks, going back to Fall 2015, in reverse chronological order:

Logic Seminar: 06/25/2017 - 06/25/2018


Logic Seminar: 09/1/2015 - 06/24/2017

Friday Jun 09 2017
14:00-15:30 (MS 6221) Danny Nguyen (UCLA)Complexity of short Presburger arithmetic
Friday Jun 02 2017
14:00-15:30 (MS 6221) Anush Tserunyan (UIUC)Ergodic hyperfinite decomposition of countable Borel equivalence relations
Friday May 26 2017
14:00-15:30 (MS 6221) Igor Pak (UCLA)Complexity of short generating functions
Friday May 19 2017
14:00-15:30 (MS 6221) Matthew Harrison-Trainor (UC Berkeley)Describing Finitely Generated Structures
Friday May 12 2017
14:00-15:30 (MS 6221) Wai Yan Pong (CSUDH)Independence of arithmetic functions
Friday Apr 28 2017
14:00-15:30 (MS 6221) Michał Tomasz Godziszewski (University of Warsaw)Generalizations of Tennebaum phenomena for computable quotient presentations
Friday Feb 10 2017
14:00-15:30 (MS 6221) Vassilis Gregoriades (U. Turin)The problem of HYP-isomorphism between recursive Polish spaces
Friday Jan 27 2017
14:00-15:30 (MS 6221) Zoltán Vidnyánszky (York U. and U. Toronto)Characterization of order types representable by Baire class 1 functions
Friday Jan 20 2017
14:00-15:30 (MS 6221) Minh Tran (UIUC)Tame structures via multiplicative character sums over constructible subsets of finite fields
Friday Jan 13 2017
14:00-15:30 (MS 6221) Spencer Unger (UCLA)Borel circle squaring
Friday Nov 18 2016
14:00-15:30 (MS 6221) Anton Bernshteyn (UIUC)Measurable graph colorings and the Lovasz Local Lemma
Friday Oct 28 2016
15:00-15:50 (MS 6221) Alessandro Achille (UCLA CS Dept.)A Vietoris-Smale mapping theorem for the homotopy of hyperdefinable sets
Friday Oct 14 2016
14:00-15:30 (MS 6221) Ronnie Chen (Caltech)Structurability by locally finite contractible simplicial complexes
Friday Sep 16 2016
14:00-15:30 (MS 6221) Haim Horowitz (Hebrew U)On the non-existence and definability of mad families
Friday Jun 03 2016
15:00-15:50 (MS 6221) Andrew Marks (UCLA)Measurable matchings and quasitilings
Friday May 20 2016
13:00-13:50 (MS 3915A) Anton Bobkov (UCLA)VC-density in an additive reduct of p-adic numbers.
Friday May 13 2016
15:00-15:50 (MS 3915A) Anton Bobkov (UCLA)VC-density in partial order trees.
Friday Apr 29 2016
15:00-15:50 (MS 6221) Omer Ben Neria (UCLA)The distance between HOD and V
Friday Apr 15 2016
15:00-15:50 (MS 6221) Spencer Unger (UCLA)Compactness in graphs
Friday Apr 01 2016
13:00-13:50 (MS 6221) James Freitag (UCLA)Elimination of imaginaries in ACVF
Friday Mar 11 2016
14:00-15:30 (MS 6221) Javier de la Nuez (U. Muenster)Bounding the Shelah rank of varieties over the free group
Wednesday Mar 09 2016
16:00-17:30 (MS 5118) Andre Nies (University of Auckland)The complexity of isomorphism between profinite groups
Friday Mar 04 2016
14:00-15:30 (MS 6221) James Freitag (UCLA)Elimination of imaginaries for ACVF.
Friday Feb 19 2016
14:00-15:30 (MS 6221) Noah Schweber (UC Berkeley)Uncountable computable structure theory
Friday Feb 05 2016
14:00-15:30 (MS 6221) James Freitag (UCLA)Elimination of imaginaries for ACVF: definable types
Friday Jan 29 2016
14:00-15:30 (MS 6221) Martino Lupini (Caltech)Nonstandard analysis and a sumset conjecture of Erdos
Friday Jan 22 2016
14:00-15:30 (MS 6221) Katrin Tent (Universitaet Muenster)Profinite groups with NIP theory and $p$-adic analytic groups
Friday Jan 15 2016
14:00-15:30 (MS 6221) Alex Kruckman (UC Berkeley)Properly Ergodic Structures
Friday Jan 08 2016
14:00-15:30 (MS 6221) Dima Sinapova (UIC)The tree property at successive cardinals
Friday Dec 04 2015
14:00-15:30 (MS 6221) Artem Chernikov (UCLA)Elimination of imaginaries in algebraically closed valued fields, IV
Friday Nov 20 2015
14:00-15:30 (MS 6221) Peter Burton (Caltech)Completely positive entropy actions of sofic groups with $\mathbb{Z}$ in their center
Friday Nov 13 2015
16:00-17:00 (MS 6627) Nick Ramsey (UC Berkeley)Trees and the global combinatorics of first-order theories
14:00-15:30 (MS 6221) Jesse Han; Artem Chernikov (UCLA)Basic model theory of algebraically closed valued fields, III
Friday Nov 06 2015
14:00-15:30 (MS 6221) Artem Chernikov (UCLA)Regularity lemmas for definable graphs
Friday Oct 30 2015
14:00-15:30 (MS 6221) Matthias Aschenbrenner, Jesse Han (UCLA)Basic model theory of algebraically closed valued fields, II; imaginaries
Friday Oct 23 2015
14:00-15:30 (MS 6221) James Freitag (UCLA)Around Jouanolou-type theorems
Friday Oct 16 2015
14:00-15:30 (MS 6221) Matthias Aschenbrenner (UCLA)Basic model theory of algebraically closed valued fields
Friday Oct 09 2015
14:00-15:30 (MS 6221) Martino Lupini (Caltech)Fraisse theory and the noncommutative Poulsen simplex