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.

Olivia Aubone

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"