Peter Holy

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