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, Massy Khoshbin, and Jose Iovino.
Student Seminar Coordinator
Olivia Aubone
2025 Summer Student Seminars
Model Theory and Quantum Foundations
| 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 |
Past Student Seminars
| 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" |
Student Seminars Gallery
