Henney-Turner, Christopher; Holy, Peter; Schlicht, Philipp; Welch, Philip Asymmetric cut and choose games. (English) Zbl 07808885 Bull. Symb. Log. 29, No. 4, 588-625 (2023). MSC: 03E05 03E55 03E35 PDFBibTeX XMLCite \textit{C. Henney-Turner} et al., Bull. Symb. Log. 29, No. 4, 588--625 (2023; Zbl 07808885) Full Text: DOI arXiv
Freire, Rodrigo A.; Holy, Peter An ordinal-connection axiom as a weak form of global choice under the GCH. (English) Zbl 07680026 Arch. Math. Logic 62, No. 3-4, 321-332 (2023). MSC: 03E10 03E65 03E50 03E25 03E35 03E45 03E70 PDFBibTeX XMLCite \textit{R. A. Freire} and \textit{P. Holy}, Arch. Math. Logic 62, No. 3--4, 321--332 (2023; Zbl 07680026) Full Text: DOI
Holy, Peter; Lücke, Philipp; Njegomir, Ana Characterizing large cardinals through Neeman’s pure side condition forcing. (English) Zbl 1473.03032 Fundam. Math. 252, No. 1, 53-102 (2021). Reviewer: Miha E. Habič (Great Barrington) MSC: 03E55 03E05 03E35 PDFBibTeX XMLCite \textit{P. Holy} et al., Fundam. Math. 252, No. 1, 53--102 (2021; Zbl 1473.03032) Full Text: DOI arXiv
Holy, Peter; Lücke, Philipp Small models, large cardinals, and induced ideals. (English) Zbl 1479.03024 Ann. Pure Appl. Logic 172, No. 2, Article ID 102889, 51 p. (2021). Reviewer: Miha E. Habič (Great Barrington) MSC: 03E55 03E35 03E05 PDFBibTeX XMLCite \textit{P. Holy} and \textit{P. Lücke}, Ann. Pure Appl. Logic 172, No. 2, Article ID 102889, 51 p. (2021; Zbl 1479.03024) Full Text: DOI arXiv
Holy, Peter; Lücke, Philipp; Njegomir, Ana Small embedding characterizations for large cardinals. (English) Zbl 1404.03043 Ann. Pure Appl. Logic 170, No. 2, 251-271 (2019). Reviewer: Mohammad Golshani (Tehran) MSC: 03E55 03E05 03E35 03E40 PDFBibTeX XMLCite \textit{P. Holy} et al., Ann. Pure Appl. Logic 170, No. 2, 251--271 (2019; Zbl 1404.03043) Full Text: DOI arXiv
Holy, Peter; Schlicht, Philipp A hierarchy of Ramsey-like cardinals. (English) Zbl 1459.03085 Fundam. Math. 242, No. 1, 49-74 (2018). MSC: 03E55 03E35 PDFBibTeX XMLCite \textit{P. Holy} and \textit{P. Schlicht}, Fundam. Math. 242, No. 1, 49--74 (2018; Zbl 1459.03085) Full Text: DOI arXiv
Holy, Peter; Krapf, Regula; Schlicht, Philipp Characterizations of pretameness and the Ord-cc. (English) Zbl 1469.03148 Ann. Pure Appl. Logic 169, No. 8, 775-802 (2018). MSC: 03E40 03E70 03E35 PDFBibTeX XMLCite \textit{P. Holy} et al., Ann. Pure Appl. Logic 169, No. 8, 775--802 (2018; Zbl 1469.03148) Full Text: DOI arXiv
Holy, Peter; Lücke, Philipp Simplest possible locally definable well-orders. (English) Zbl 1420.03135 Fundam. Math. 236, No. 2, 101-139 (2017). MSC: 03E47 03E35 03E50 03E55 PDFBibTeX XMLCite \textit{P. Holy} and \textit{P. Lücke}, Fundam. Math. 236, No. 2, 101--139 (2017; Zbl 1420.03135) Full Text: DOI
Holy, Peter; Welch, Philip; Wu, Liuzhen Local club condensation and L-likeness. (English) Zbl 1373.03096 J. Symb. Log. 80, No. 4, 1361-1378 (2015). MSC: 03E35 03E55 PDFBibTeX XMLCite \textit{P. Holy} et al., J. Symb. Log. 80, No. 4, 1361--1378 (2015; Zbl 1373.03096) Full Text: DOI Link
Friedman, Sy-David; Holy, Peter; Lücke, Philipp Large cardinals and lightface definable well-orders, without the GCH. (English) Zbl 1373.03095 J. Symb. Log. 80, No. 1, 251-284 (2015). MSC: 03E35 03E55 03E47 03E50 PDFBibTeX XMLCite \textit{S.-D. Friedman} et al., J. Symb. Log. 80, No. 1, 251--284 (2015; Zbl 1373.03095) Full Text: DOI Link
Holy, Peter \(\Sigma_1\)-wellorders without collapsing. (English) Zbl 1371.03068 Arch. Math. Logic 54, No. 3-4, 453-462 (2015). MSC: 03E47 03E35 03E55 PDFBibTeX XMLCite \textit{P. Holy}, Arch. Math. Logic 54, No. 3--4, 453--462 (2015; Zbl 1371.03068) Full Text: DOI
Asperó, David; Holy, Peter; Lücke, Philipp Forcing lightface definable well-orders without the GCH. (English) Zbl 1371.03067 Ann. Pure Appl. Logic 166, No. 5, 553-582 (2015). MSC: 03E47 03E35 03E05 03E55 PDFBibTeX XMLCite \textit{D. Asperó} et al., Ann. Pure Appl. Logic 166, No. 5, 553--582 (2015; Zbl 1371.03067) Full Text: DOI
Friedman, Sy-David; Holy, Peter A quasi-lower bound on the consistency strength of PFA. (English) Zbl 1341.03071 Trans. Am. Math. Soc. 366, No. 8, 4021-4065 (2014). MSC: 03E35 03E55 03E57 PDFBibTeX XMLCite \textit{S.-D. Friedman} and \textit{P. Holy}, Trans. Am. Math. Soc. 366, No. 8, 4021--4065 (2014; Zbl 1341.03071) Full Text: DOI
Holy, Peter; Lücke, Philipp Locally \(\Sigma _{1}\)-definable well-orders of \(\mathrm{H}(\kappa ^+)\). (English) Zbl 1341.03075 Fundam. Math. 226, No. 3, 221-236 (2014). MSC: 03E35 03E47 PDFBibTeX XMLCite \textit{P. Holy} and \textit{P. Lücke}, Fundam. Math. 226, No. 3, 221--236 (2014; Zbl 1341.03075) Full Text: DOI
Friedman, Sy-David; Holy, Peter Condensation and large cardinals. (English) Zbl 1258.03074 Fundam. Math. 215, No. 2, 133-166 (2011). MSC: 03E55 03E35 PDFBibTeX XMLCite \textit{S.-D. Friedman} and \textit{P. Holy}, Fundam. Math. 215, No. 2, 133--166 (2011; Zbl 1258.03074) Full Text: DOI Link