01.03.2024: Pdf for Outward compactness and talk slides for my talk on Large Cardinal Compactness added.
01.02.2023: Pdf for Asymmetric cut and choose games updated. Plus some further small updates.
19.07.2022: Pdf for Asymmetric cut and choose games added.
31.05.2022: Pdf for An ordinal-connection axiom... updated, status changed to accepted, as for Ramsey-like operators. I also added a pdf for my talk on Asymmetric Cut and Choose games.
29.03.2022: Pdf for An axiomatic approach to forcing... updated, status changed to accepted.
17.02.2022: Pdf for An axiomatic approach to forcing... updated.
21.11.2021: Pdf for Ramsey-like Operators updated (and name changed from Large Cardinal Operators...).
08.10.2021: Talk slides for Ulam style Cut and Choose games added.
05.10.2021: Pdf for An ordinal-connection axiom... paper added.
21.07.2021: Pdfs for two new papers added.
06.05.2021: Pdf for Ideal Operators and Higher Indescribability added.
06.04.2021: Pdf for my Large Cardinal Operators... paper updated.
28.11.2020: Talk slides for Ramsey-like Operators added.
02.11.2020: Pdf for Large Cardinal Operators and Elementary Embeddings added, pdf for Small Models, Large Cardinals, and Large Cardinal Ideals updated.
17.08.2020: Some recent talks added, together with slides.
11.04.2020: Talk slides for Ideal Topologies added, homepage moved to the University of Udine.
27.01.2020: Status of Characterizing large cardinals... changed to accepted, pdf updated. Also added an unpublished note on a countable support iteration for the tree property at aleph_2 and related properties.
19.11.2019: Added an unpublished note on a short forcing argument for the proper forcing axiom using Magidor's characterization of supercompactness.
30.10.2019: Talk slides for Small Models, Large Cardinals, and Large Cardinal Ideals added.
14.10.2019: Pdf for Small Models, Large Cardinals, and Induced Ideals added.
24.10.2018: Pdf for Characterizing large cardinals... added.
18.10.2018: Pdf for Small Embedding Characterizations... updated, status changed to accepted.
19.09.2018: Pdf for Sufficient conditions for the forcing theorem... updated, status changed to accepted. Talk slides for Characterizing large cardinals through forcing and The Edinburgh topology added / updated.
19.07.2018: Pdf for Small Embedding Characterizations... updated.
03.03.2018: Pdf for Sufficient Conditions for the Forcing Theorem... updated.
29.11.2017: Talk slides for The exact strength of the class forcing theorem added.
27.09.2017: Pdf for A Hierarchy of Ramsey-like cardinals updated, status changed to accepted.
13.09.2017: Pdf for A Hierarchy of Ramsey-like cardinals updated.
11.08.2017: Pdf for Small Embedding Characterizations for Large Cardinals added.
27.07.2017: Added unpublished note Separation in Class Forcing Extensions.
25.07.2017: Pdf for A Hierarchy of Ramsey-like cardinals updated.
17.07.2017: Pdf for The exact Strength of the Class Forcing theorem added, status updated to submitted.
05.05.2017: Pdf for Sufficient Conditions for the Forcing Theorem... added.
13.04.2017: Pdf for A Hierarchy of Ramsey-like cardinals added.
11.04.2017: Talk slides for Small Embedding Characterizations for large cardinals, and internal large cardinals added.
28.02.2017: Pdf for Characterizations of Pretameness and the Ord-cc updated. Added mention of new project The Strength of the Forcing Theorem.
06.12.2016: Pdf for Separation in Class Forcing Extensions updated.
04.11.2016: Pdf for Separation does not imply Replacement... updated, status changed to submitted.
15.09.2016: Pdf for Separation does not imply Replacement... added.
30.06.2016: Pdf for Simplest possible locally definable Well-orders updated, status changed to accepted.
08.03.2016: Pdf for Characterizations of Pretameness and the Ord-cc added, and submitted.
01.03.2016: Pdf for Separation in Class Forcing Extensions added, and submitted.
06.01.2016: Publication Info for Local Club Condensation and L-Likeness added.
12.10.2015: Pdf for Class Forcing, the Forcing Theorem and Boolean Completions updated.
18.09.2015: Pdf for Simplest possible locally definable Wellorders updated.
25.06.2015: Pdf for Class Forcing, the Forcing Theorem and Boolean Completions added.
01.06.2015: Talk slides for Non-pretame Class Forcing... added.
20.04.2015: Talk slides for The Dark Side of Class Forcing added and talk slides for Condensation does not imply Square updated.
13.01.2015: Status of Sigma_1-Wellorders without Collapsing changed to accepted and its pdf has been updated.
12.01.2015: Talk Slides for Amsterdam Workshop in Set Theory added.
09.01.2015: Status of Local Club Condensation and L-Likeness changed to accepted and its pdf has been updated.
19.12.2014: Update of the pdf for A generalization of the notion of bounded degree for infinite graphs.
13.11.2014: Status of Forcing lightface definable Wellorders without the GCH changed to accepted and its pdf has been updated.
17.10.2014: Homepage moved to the University of Bonn, together with many updates, most notably the pdf for Many Sigma_1-Wellorders... has been strongly updated and the paper is now called Sigma_1-Wellorders without Collapsing.
14.08.2014: A generalization of the notion of bounded degree for infinite graphs has seen its pdf updated.
13.08.2014: Moved papers in preparation to a separate Current Projects section, added mention of Local Club Condensation and a precipitous ideal on omega_1.
29.07.2014: Condensation and L-likeness has seen a major revision - pdf updated.
23.07.2014: Added mention of Collapsing, definability and applications.
08.07.2014: Added talk slides for Condensation does not imply Square and a link to David Asperós talk slides for Forcing lightface definable wellorders without the GCH.
02.07.2014: Added pdf for Simplest possible locally definable Wellorders, status changed to submitted.
27.06.2014: Added pdf for A generalization of the notion of bounded degree for infinite graphs.
01.05.2014: Updated pdf for Locally Sigma_1-definable Wellorders of H(kappa^+).
11.04.2014: Updated pdf for Many Sigma_1-Wellorders..., status changed to submitted.
09.04.2014: Added an Upcoming Talks section.
07.04.2014: Added pdf for Many Sigma_1-Wellorders....
04.04.2014: Updated pdf for Locally Sigma_1-definable Wellorders of H(kappa^+).
20.03.2014: Updated PFA and Class Forcing and changed status to submitted.
18.03.2014: Updated talk slides for Simplest Possible Wellorders talk.
14.03.2014: Status of Locally Sigma_1-definable Wellorders of H(kappa^+) changed to accepted. Added mention of current work on Many Sigma_1 wellorders.
25.02.2014: Updated pdf for Forcing lightface definable well-orders without the GCH and changed its status to submitted. Updated pdf for Condensation and L-likeness and changed its status to submitted. Linked talks with papers where appropriate and made some other minor stylistic changes.
21.02.2014: Added pdf for Forcing lightface definable well-orders without the GCH.
12.02.2014: Updated the slides for the talk Simplest Possible Wellorders of H(kappa^+) and updated my research interests.
18.12.2013: Updated pdf for Large Cardinals and Lightface Definable Wellorders without GCH and added pdf for Condensation and L-Likeness
12.12.2013: Updated note PFA and Class Forcing - slightly expanded and corrected
20.11.2013: Updated pdf for Large Cardinals and Lightface Definable Wellorders without GCH
30.09.2013: Added note PFA and Class Forcing and added talk Locally Sigma_1-definable Wellorders of H(kappa^+)
25.07.2013: Added pdf for joint paper with Sy Friedman and Philipp Lücke: Large Cardinals and Lightface Definable Wellorders without GCH; added joint paper with Philip Welch and Liuzhen Wu
22.07.2013: Added joint paper with Philipp Lücke: Locally Sigma_1-definable Wellorders of H(kappa^+); also some other minor changes
24.05.2013: Updated Condensation and Large Cardinals - a simplified version of my dissertation by correcting its Definition 8.6
21.05.2013: Added note Canonical Function Coding over a Stationary Set, updated the info page for Condensation and Large Cardinals (paper) and did some minor changes to the front page
29.04.2013: L-like models talk updated
13.03.2013: Wellorders talk updated
14.02.2013: Update log started