Peter Holy


Peter Holy

E-Mail: maxph@bristol.ac.uk
Phone: +44 117 9545436

I am a research assistant at the University of Bristol.


Publications

(with Sy-David Friedman and Philipp Lücke) Large Cardinals and Lightface Definable Wellorders without GCH.
In preparation.

(with Sy-David Friedman) A Quasi Lower Bound on the Consistency Strength of PFA.
Accepted for Transactions of the AMS, 2012. pdf

(with Sy-David Friedman) Condensation and Large Cardinals.
Fundamenta Mathematicae 215, no. 2, pp 133--166, 2011. pdf info

Dissertation: Condensation and Large Cardinals.
(2010, advisor: Sy D. Friedman) pdf info

Masters Thesis: Absoluteness Results in Set Theory.
(2007, advisor: Sy D. Friedman) pdf


Unpublished Notes

Condensation and Large Cardinals - A Simplified Version of my Dissertation.
(2013) pdf info


Slides for Talks

Large Cardinals and lightface definable Wellorders without GCH
Kurt Gödel Research Center, Vienna, 10.01.2013; Bristol Logic Seminar, 11.03.2013 --> pdf

The Outer Model Programme
Oxford Logic Seminar, 07.02.2013 --> pdf

L-like Models with Large Cardinals and a quasi lower Bound on the Consistency Strength of PFA.
PhD Colloquium Paderborn, 13.09.2012; Bristol Logic Seminar, 28.11.2012 --> pdf


Research Interests: I am interested in set theory, in particular in large cardinals, forcing, forcing axioms,
absoluteness principles, the constructible universe and the consistency of L-like properties with large cardinals.


----> Collection of Oberwolfach Set Theory Workshop 2011 slides


Teaching:

2012/2013: Mathematics Tutorials for 1st year students
- Thursdays 3pm-4pm, Royal Fort Gate House: 1.1, starting on October, 18th, 2012

Past Teaching

at the Kurt Gödel Research Center for Mathematical Logic, Vienna:

autumn 2011: Reading Course in Set Theory, Exercises for Introduction to Mathematical Logic.
spring 2011: Exercises for Axiomatic Set Theory 1.
spring 2010: Exercises for Axiomatic Set Theory 1.
spring 2009: Exercises for Axiomatic Set Theory 1.
----------------------------------------
Old Exercises (Introduction to Mathematical Logic, autumn 2011): 1, 2, 3, 4, 5, 6, 7, 8, 9.
Reading Course in Set Theory info.
Old Exercises (Axiomatic Set Theory 1, spring 2011): 1, 2, 3, 4, 5, 6, 7, 8, 9, 10.
Old Exercises (Axiomatic Set Theory 1, spring 2010): 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12.
Old Exercises (Axiomatic Set Theory 1, spring 2009): 1, 2, 3, 4, 5, 6, 7, 8.


Update log here.

Valid HTML 4.01 Transitional