Category Archives: talks

A model of second-order 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.

Posted in talks | Tagged , , , , , , | 2 Comments

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 2​017 AMS Eastern Sectional Meeting in New York, May 6-7.

Posted in talks | Tagged | Leave a comment

Virtual Set Theory and Generic Vopěnka’s Principle

This is a talk at the VCU MAMLS Conference in Richmond, Virginia, April 1, 2017.

Posted in talks | Tagged , , , | 4 Comments

A countable ordinal definable set of reals without ordinal definable elements

This is a talk at the CUNY Set Theory Seminar, February 10, 2017.

Posted in talks | Tagged , , | 2 Comments

A set-theoretic approach to Scott’s Problem

This is a talk at the National University of Singapore Logic Seminar, October 19, 2016.

Posted in talks | Tagged , , , | Leave a comment

Generic Vopěnka’s Principle at YST2016

This is a talk at the Young Set Theory 2016 Conference in Copenhagen, Denmark, June 13-17, 2016.

Posted in talks | Tagged , , , | 2 Comments

Generic Vopěnka’s Principle

This is a talk at the Rutgers Logic Seminar in New Jersey, May 2, 2016.

Posted in talks | Tagged , , , , | Leave a comment

Computable processes can produce arbitrary outputs in nonstandard models

This is a talk at the CUNY MOPA Seminar in New York, April 13, 2016.

Posted in talks | Tagged | 6 Comments

Virtual large cardinals

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

Posted in talks | Tagged , , , , | 3 Comments

Ehrenfeucht principles in set theory

This is a talk at the British Logic Colloquium in Cambridge, UK, September 2-4, 2015.

Posted in talks | Tagged , , , , | Leave a comment