Peter Holy

According to our database, Peter Holy authored at least 14 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2023

Asymmetric Cut and Choose Games.

Christopher Henney-Turner, Peter Holy, Philipp Schlicht, Philip D. Welch

Bull. Symb. Log., December, 2023

An ordinal-connection axiom as a weak form of global choice under the GCH.

Rodrigo A. Freire, Peter Holy

Arch. Math. Log., May, 2023

Ideal operators and Higher Indescribability.

Brent Cody, Peter Holy

J. Symb. Log., 2023

2022

An Axiomatic Approach to forcing in a General Setting.

Rodrigo A. Freire, Peter Holy

Bull. Symb. Log., 2022

Ideal topologies in higher descriptive set theory.

Peter Holy, Marlene Koelbing, Philipp Schlicht, Wolfgang Wohofsky

Ann. Pure Appl. Log., 2022

2021

Small models, large cardinals, and induced ideals.

Peter Holy, Philipp Lücke

Ann. Pure Appl. Log., 2021

2020

The exact strength of the class forcing Theorem.

Victoria Gitman, Joel David Hamkins, Peter Holy, Philipp Schlicht, Kameryn J. Williams

J. Symb. Log., 2020

2019

Small embedding characterizations for large cardinals.

Peter Holy, Philipp Lücke, Ana Njegomir

Ann. Pure Appl. Log., 2019

2018

Characterizations of pretameness and the Ord-cc.

Peter Holy, Regula Krapf, Philipp Schlicht

Ann. Pure Appl. Log., 2018

2016

Class forcing, the forcing Theorem and Boolean Completions.

Peter Holy, Regula Krapf, Philipp Lücke, Ana Njegomir, Philipp Schlicht

J. Symb. Log., 2016

2015

Local Club Condensation and L-Likeness.

Peter Holy, Philip D. Welch, Liuzhen Wu

J. Symb. Log., 2015

Large Cardinals and Lightface Definable Well-Orders, without the GCH.

Sy-David Friedman, Peter Holy, Philipp Lücke

J. Symb. Log., 2015

Forcing lightface definable well-orders without the GCH.

David Asperó, Peter Holy, Philipp Lücke

Ann. Pure Appl. Log., 2015

Σ 1-wellorders without collapsing.

Peter Holy

Arch. Math. Log., 2015