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
Model Theory and Quantum Foundations
Date | Details |
---|---|
May 12, 2025 | Lecture Topological Preliminaries: Topological spaces |
May 14, 2025 | Lecture Topological Preliminaries: Filter and ultrafilter limits |
May 19, 2025 | Lecture Topological Preliminaries: Filter and ultrafilter limits |
May 21, 2025 | Lecture Foundational Preliminaries: Ordinal and cardinal numbers, and the Axiom of Choice |
May 23, 2025 | Lecture Ultraproducts and Ultrapowers: Łoś' theorem |
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" |