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