The goal of these seminars is to explore the intersection between logic and state-of-the-art quantum foundations. The faculty facilitators are Eduardo Dueñez and Jose Iovino.
Student Seminar Coordinator
Olivia Aubone
2025 Fall Student Seminars
Model Theory and Quantum Theory
| Date | Details |
|---|---|
| September 3, 2025 | Forcing, infinitary logic, and the multiverse of mathematics Speaker: Olivia Aubone Section 8.1 of the lecture notes |
| September 8, 2025 | Forcing, infinitary logic, and the multiverse of mathematics Speaker: Olivia Aubone Section 8.2 of the lecture notes |
| September 10, 2025 | The generic model theorem Speaker: Olivia Aubone Section 8.2 of the lecture notes |
| September 15, 2025 | The generic model theorem and the omitting types theorem Speaker: Olivia Aubone Sections 8.3 and 8.4 of the lecture notes |
| September 17, 2025 | The general omitting types theorem Speaker: Olivia Aubone Section 8.3 of the lecture notes |
| September 22, 2025 | Kochen-Specker and structures in quantum theory Speaker: Ken Soto Section 9.1 of the lecture notes |
| September 24, 2025 | Kochen-Specker and structures in quantum theory Speaker: Nick Stipanovic Section 9.1 of the lecture notes |
| September 29, 2025 | Kochen-Specker and partial algebras in quantum theory Speaker: Luca Iovino Section 9.1 of the lecture notes |
| October 1, 2025 | Kochen-Specker and quantum polynomials Speaker: Luca Iovino Section 9.2 of the lecture notes |
| October 6, 2025 | Kochen-Specker and partial Boolean algebras Speaker: Nick Stipanovic Section 9.2 of the lecture notes |
| October 8, 2025 | Kochen-Specker and partial Boolean algebras, II Speaker: Nick Stipanovic Section 9.2 of the lecture notes |
| October 15, 2025 | Kochen-Specker and partial Boolean algebras, III Speaker: Nick Stipanovic Section 9.2 of the lecture notes |
| October 20, 2025 | Kochen-Specker and completeness of Q-Logic Speaker: Olivia Aubone Section 9.3 of the lecture notes |
| October 27, 2025 | Introduction to infinitary logic, I Speaker: Josh Hamilton Review of sections 8.1 and 8.2 of the lecture notes |
| October 29, 2025 | Introduction to infinitary logic, II Speaker: Olivia Aubone Review of sections 8.1 and 8.2 of the lecture notes |
Past Student Seminars
| Date | Details |
|---|---|
| May 12, 2025 | Topological Preliminaries: Topological spaces Section 2.1 of the lecture notes |
| May 14, 2025 | Topological Preliminaries: Filter and ultrafilter limits Section 2.1 of the lecture notes |
| May 19, 2025 | Topological Preliminaries: Filter and ultrafilter limits and compactness Section 2.2-2.5 of the lecture notes |
| May 21, 2025 | Foundational Preliminaries: Ordinal and cardinal numbers, and the Axiom of Choice |
| May 23, 2025 | Ultraproducts, Ultrapowers and Applications: Nonstandard arithmetic, nonstandard analysis, and types Sections 3.1-3.2 of the lecture notes |
| May 28, 2025 | Ultraproducts, Ultrapowers and Applications: Nonstandard arithmetic, nonstandard analysis, types and indiscernibility Section 3.2 of the lecture notes |
| May 30, 2025 | Proof of Łoś' theorem and proof of the compactness theorem from Łoś' theorem Sections 3.3-3.4 of the lecture notes |
| June 4, 2025 | Axiomatic Systems Section 4.2 of the lecture notes |
| June 6, 2025 | Consequences of the Completeness Theorem: Compactness and the size of models. Statement of Lindström's first theorem Sections 4.1-4.6 of the lecture notes |
| June 9, 2025 | Proof of the Completeness Theorem: The Henkin model construction, I Section 4.4 of the lecture notes |
| June 11, 2025 | Proof of the Completeness Theorem: The Henkin model construction, II Section 4.4 of the lecture notes |
| June 13, 2025 | Introduction to Definability Section 5 of the lecture notes |
| June 16, 2025 | Interpolation Section 5.1 of the lecture notes |
| June 18, 2025 | Definability Section 5.2 of the lecture notes |
| July 7, 2025 | Definability Section 5.3 of the lecture notes |
| July 9, 2025 | Axiomatizability Section 3.6 of the lecture notes |
| July 11, 2025 | Elementary extensions and elementary embeddings Section 6 of the lecture notes |
| July 14, 2025 | Types Sections 7.1 and 7.2 of the lecture notes |
| July 16, 2025 | Averages of types Section 7.2 of the lecture notes |
| July 18, 2025 | Saturated structures Section 7.3 of the lecture notes |
| July 21, 2025 | Saturated structures Section 7.3 of the lecture notes |
| July 23, 2025 | Saturated structures Section 7.3 of the lecture notes |
| July 25, 2025 | Homogeneous structures Section 7.4 of the lecture notes |
| July 28, 2025 | The back-and-forth method Section 7.4 of the lecture notes |
| July 30, 2025 | Infinitary languages Section 8.1 of the lecture notes |
| August 1, 2025 | Forcing Section 8.1 of the lecture notes |
| August 4, 2025 | Forcing Section 8.2 of the lecture notes |
| August 6, 2025 | Forcing, generic sets, and their meaning in science Sections 8.2 and 8.3 of the lecture notes |
| August 8, 2025 | Generic models Section 8.3 of the lecture notes |
| Date | Details |
|---|---|
| March 31, 2025 | Preliminary Meeting |
| April 2, 2025 | Lecture: Olivia Aubone Section 2 of Jon Barwise's paper "An Introduction to First-Order Logic" |
| April 7, 2025 | Lecture: Olivia Aubone Section 2 of Jon Barwise's paper "An Introduction to First-Order Logic" |
| April 9, 2025 | Lecture: Eduardo Dueñez Section 3 of Jon Barwise's paper "An Introduction to First-Order Logic" |
| April 14, 2025 | Lecture: Eduardo Dueñez Section 3 of Jon Barwise's paper "An Introduction to First-Order Logic" |
| April 16, 2025 | Lecture: Josh Hamilton Section 4 of Jon Barwise's paper "An Introduction to First-Order Logic" |
| April 21, 2025 | Lecture: Josh Hamilton Section 4 of Jon Barwise's paper "An Introduction to First-Order Logic" |
| April 23, 2025 | Lecture: Josh Hamilton Section 4 of Jon Barwise's paper "An Introduction to First-Order Logic" |
| April 28, 2025 | Lecture: Olivia Aubone Section 4 of Jon Barwise's paper "An Introduction to First-Order Logic" |
| April 30, 2025 | Lecture: Olivia Aubone Section 4 of Jon Barwise's paper "An Introduction to First-Order Logic" |
| May 5, 2025 | Lecture: Olivia Aubone Section 4 of Jon Barwise's paper "An Introduction to First-Order Logic" |
| May 7, 2025 | Lecture: Olivia Aubone Section 4 of Jon Barwise's paper "An Introduction to First-Order Logic" |
Gallery
