Peter Holy

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 14

Top Topics

Algebraic Geometry

Top Venues

Ann. Pure Appl. Log.

Bull. Symb. Log.

Arch. Math. Log.

Publications

Christopher Henney-Turner, Peter Holy, Philipp Schlicht, Philip D. Welch
Asymmetric Cut and Choose Games. Bull. Symb. Log. 29 (4) (2023)
Brent Cody, Peter Holy
Ideal operators and Higher Indescribability. J. Symb. Log. 88 (2) (2023)
Rodrigo A. Freire, Peter Holy
An ordinal-connection axiom as a weak form of global choice under the GCH. Arch. Math. Log. 62 (3) (2023)
Rodrigo A. Freire, Peter Holy
An Axiomatic Approach to forcing in a General Setting. Bull. Symb. Log. 28 (3) (2022)
Peter Holy, Marlene Koelbing, Philipp Schlicht, Wolfgang Wohofsky
Ideal topologies in higher descriptive set theory. Ann. Pure Appl. Log. 173 (4) (2022)
Peter Holy, Philipp Lücke
Small models, large cardinals, and induced ideals. Ann. Pure Appl. Log. 172 (2) (2021)
Victoria Gitman, Joel David Hamkins, Peter Holy, Philipp Schlicht, Kameryn J. Williams
The exact strength of the class forcing Theorem. J. Symb. Log. 85 (3) (2020)
Peter Holy, Philipp Lücke, Ana Njegomir
Small embedding characterizations for large cardinals. Ann. Pure Appl. Log. 170 (2) (2019)
Peter Holy, Regula Krapf, Philipp Schlicht
Characterizations of pretameness and the Ord-cc. Ann. Pure Appl. Log. 169 (8) (2018)
Peter Holy, Regula Krapf, Philipp Lücke, Ana Njegomir, Philipp Schlicht
Class forcing, the forcing Theorem and Boolean Completions. J. Symb. Log. 81 (4) (2016)
Peter Holy
Σ 1-wellorders without collapsing. Arch. Math. Log. 54 (3-4) (2015)
Peter Holy, Philip D. Welch, Liuzhen Wu
Local Club Condensation and L-Likeness. J. Symb. Log. 80 (4) (2015)
Sy-David Friedman, Peter Holy, Philipp Lücke
Large Cardinals and Lightface Definable Well-Orders, without the GCH. J. Symb. Log. 80 (1) (2015)
David Asperó, Peter Holy, Philipp Lücke
Forcing lightface definable well-orders without the GCH. Ann. Pure Appl. Log. 166 (5) (2015)