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

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"