## 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. Continue reading

## Virtual large cardinals

• V. Gitman and R. Schindler, “Virtual large cardinals.” (Submitted)
@ARTICLE{GitmanSchindler:virtualCardinals,
AUTHOR= {Gitman, Victoria and Schindler, Ralf},
TITLE= {Virtual large cardinals},
Note ={Submitted},
pdf={https://boolesrings.org/victoriagitman/files/2017/03/virtualLargeCardinals.pdf},
}

## Virtual Set Theory and Generic Vopěnka’s Principle

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

## A countable ordinal definable set of reals without ordinal definable elements

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

Posted in talks | | 2 Comments

## The oddities of class forcing

I recently finished reading a series of excellent articles by Peter Holy, Regula Krapf, Philipp Lücke, Ana Njegomir and Philipp Schlicht investigating properties of class forcing over models of ${\rm GBC}$ (Gödel-Bernays set theory). So I would like to summarize their results in this post. Continue reading

Posted in research | | 6 Comments

## A set-theoretic approach to Scott’s Problem

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

## 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. Continue reading

## Generic Vopěnka’s Principle

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

## Computable processes can produce arbitrary outputs in nonstandard models (continued)

In the previous post, I discussed a theorem of Woodin, extended recently by Blanck and Enayat, showing that for every computably enumerable theory $T$, there is in index $e$ such that if $M\models T$ satisfies that $W_e$ is contained in an $M$-finite set $s$, then $M$ has an end-extension $N\models T$ such that in $N$, $W_e=s$. Continue reading

Posted in research | Tagged | 1 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. Continue reading

Posted in talks | Tagged | 6 Comments