Talks

Ground model definability in ${\rm ZF}$
This is a talk at the Joint Mathematics Meeting, special session on 'Choiceless Set Theory and related areas', University of Denver, January 1516, 2020.
Slides 
Toy multiverses of set theory
This is a talk at the Philosophy of Set Theory and Foundations workshop, University of Konstanz, August 1, 2019.
Slides 
A model of secondorder arithmetic satisfying ${\rm AC}$ but not ${\rm DC}$
This is a talk at the Journées sur les Arithmétiques Faibles 2019 Conference, CUNY Graduate Center, May 2830, 2019.
Slides 
Set theory in secondorder
This is a talk at the Set Theory in UK 2 meeting, University of Bristol, May 8, 2019.

Set theories with classes
This is a talk at the special set theory session, Association for Symbolic Logic 2019 Annual North American Meeting, CUNY Graduate Center, May 2023, 2019.
Slides 
A primer on the settheoretic multiverse
This is a talk at the ALPS Seminar, Virginia Commonwealth University , April 12, 2019.
Slides 
The Stable Core
This is a talk at the Reflections on Set Theoretic Reflection Conference, University of Barcelona, November 1619, 2018.

The Stable Core
This is a talk at the Mathematical Philosophy and Mathematical Practice Conference, University of Konstanz, September 20, 2018.
Slides 
Virtual Vopěnka's Principle
This is a talk at the Accessible categories and their connections Conference, University of Leeds, July 18, 2018.
Slides 
Booleanvalued class forcing
This is a talk at the CUNY Logic Workshop in New York, May 4, 2018.

Virtual large cardinal principles at KGRC
This is a talk at the Kurt Gödel Research Center Research Seminar in Vienna, Austria, April 14, 2018.
Slides 
The emerging zoo of secondorder set theories
This is a talk at the Young Researchers' Workshop: Forcing and Philosophy, University of Konstanz, January 18, 2018.
Slides 
Virtual large cardinal principles
This is a talk at the Harvard Logic Colloquium, Cambridge, November 8, 2017.

Filter games and Ramseylike cardinals
This is a talk at the CUNY Set Theory Seminar, October 20, 2017.

A model of secondorder arithmetic with the choice scheme in which $\Pi^1_2$dependent choice fails
This is a talk at the Kurt Gödel Research Center Research Seminar in Vienna, Austria, May 18, 2017.
Slides 
Computable processes which produce any desired output in the right nonstandard model
This is a talk at the special session "Computability Theory: Pushing the Boundaries" of 2017 AMS Eastern Sectional Meeting in New York, May 67.

Virtual Set Theory and Generic Vopěnka's Principle
This is a talk at the VCU MAMLS Conference in Richmond, Virginia, April 1, 2017.

A countable ordinal definable set of reals without ordinal definable elements
This is a talk at the CUNY Set Theory Seminar, February 10, 2017.
Notes 
A settheoretic approach to Scott's Problem
This is a talk at the National University of Singapore Logic Seminar, October 19, 2016.
Slides 
Generic Vopěnka's Principle at YST2016
This is a talk at the Young Set Theory 2016 Conference in Copenhagen, Denmark, June 1317, 2016.

Generic Vopěnka's Principle This is a talk at the Rutgers Logic Seminar in New Jersey, May 2, 2016.

Computable processes can produce arbitrary outputs in nonstandard models
This is a talk at the CUNY MOPA Seminar in New York, April 13, 2016.

Virtual large cardinals
This is a talk at Set Theory Day in New York, March 11, 2016.

Ehrenfeucht principles in set theory
This is a talk at the British Logic Colloquium in Cambridge, UK, September 24, 2015.

Indestructible remarkable cardinals
This is a talk at the 5th European Set Theory Conference in Cambridge, UK, August 2428, 2015.
Slides 
An introduction to nonstandard models of arithmetic
This is a talk at the Virginia Commonwealth University Analysis, Logic and Physics Seminar, April 24, 2015.
Slides 
Remarkable Laver functions
This is a talk at the CUNY Set Theory Seminar, February 27, 2015.

KelleyMorse set theory and choice principles for classes
This is a talk at the SoTFoM II (Symposia on the Foundations of Mathematics) conference in London, UK, January 1213, 2015.
Slides 
Choice schemes for KelleyMorse set theory
This is a talk at the Colloquium Logicum Conference in Munich, Germany, September 46, 2014.

Incomparable $\omega_1$like models of set theory
This is a talk at the Connecticut Logic Seminar, March 31, 2014.

Introduction to remarkable cardinals
This is a talk at the CUNY Set Theory Seminar, March 14, 2014.

Ramsey cardinals and the continuum function
This is a talk at the CUNY Logic Workshop, February 14, 2014.

A Jonsson $\omega_1$like model of set theory
This is a talk at the CUNY Set Theory Seminar, November 15, 2013.

Embeddings among $\omega_1$like models of set theory
This is a talk at the CUNY Set Theory Seminar, October 4, 2013.

Models of $\rm{ZFC}^$ that are not definable in their set forcing extensions
This is a talk at the CUNY Set Theory Seminar, May 4, 2012.

Indestructibility for Ramsey cardinals
This is a talk at the Rutgers Logic Seminar, April 2, 2012.

An iPhone app for a nonstandard model of number theory?
This is a talk at the City Tech CLAC (Center for Logic, Algebra, and Computation) Seminar, February 14, 2012.
Slides 
Forcing and gaps in $2^\omega$
This is a talk at the CUNY Set Theory Seminar, December 2nd, 2011.
Notes 
A natural model of the multiverse axioms
This is a talk at the MIT Logic Seminar, April 8, 2010.
Slides 
Gödel's Proof
This is a talk at the United States Military Academy at West Point Mathematics Seminar, January 20, 2010.
Slides 
Making strong cardinals indestructible by $\leq\kappa$weakly closed Prikry forcing
This was a talk at the CUNY Set Theory Seminar sometime in 2009.