Monthly Archives: March 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.

Posted in talks | Tagged , , | Leave a comment

A model of second-order arithmetic satisfying AC but not DC

S. Friedman and V. Gitman, “A model of second-order arithmetic satisfying AC but not DC.” (manuscript under review)   PDF Citation @ARTICLE{FriedmanGitman:ModelOfACNotDC, author = {Sy-David Friedman and Victoria Gitman}, title = {A model of second-order arithmetic satisfying {AC} but not … Continue reading

Posted in publications | Tagged , , , , , , | 9 Comments