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 |
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
