Weiermann, Andreas Well partial orders. (English) Zbl 07920713 Bezhanishvili, Nick (ed.) et al., Dick de Jongh on intuitionistic and provability logics. Cham: Springer. Outst. Contrib. Log. 28, 273-301 (2024). MSC: 03B20 03B45 03F45 × Cite Format Result Cite Review PDF Full Text: DOI
Cheng, Yong Current research on Gödel’s incompleteness theorems. (English) Zbl 1497.03067 Bull. Symb. Log. 27, No. 2, 113-167 (2021). Reviewer: Saeed Salehi (Tabriz) MSC: 03F40 03F30 03-02 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Wilken, Gunnar Pure \(\Sigma_2\)-elementarity beyond the core. (English) Zbl 1532.03089 Ann. Pure Appl. Logic 172, No. 9, Article ID 103001, 93 p. (2021). MSC: 03F15 03E35 03E10 03C13 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Wilken, Gunnar A glimpse of \(\sum_3 \)-elementarity. (English) Zbl 1535.03238 Kahle, Reinhard (ed.) et al., The legacy of Kurt Schütte. Cham: Springer. 415-441 (2020). MSC: 03E10 03F15 × Cite Format Result Cite Review PDF Full Text: DOI
Aghaei, Mojtaba; Khamseh, Amir Combinatorial unprovability proofs and their model-theoretic counterparts. (English) Zbl 1301.03062 Notre Dame J. Formal Logic 55, No. 2, 231-244 (2014). Reviewer: Roman Kossak (New York) MSC: 03F30 03B30 03C62 × Cite Format Result Cite Review PDF Full Text: DOI Euclid
Gordeev, Lev; Weiermann, Andreas Phase transitions of iterated Higman-style well-partial-orderings. (English) Zbl 1251.03076 Arch. Math. Logic 51, No. 1-2, 127-161 (2012). MSC: 03F30 03F03 03F35 05A16 06A07 × Cite Format Result Cite Review PDF Full Text: DOI
Carlucci, Lorenzo; Lee, Gyesik; Weiermann, Andreas Sharp thresholds for hypergraph regressive Ramsey numbers. (English) Zbl 1251.05103 J. Comb. Theory, Ser. A 118, No. 2, 558-585 (2011). Reviewer: Neal Bushaw (Memphis) MSC: 05C55 05C65 × Cite Format Result Cite Review PDF Full Text: DOI
Bovykin, Andrey Unprovability threshold for the planar graph minor theorem. (English) Zbl 1225.03072 Ann. Pure Appl. Logic 162, No. 3, 175-181 (2010). MSC: 03F03 03F35 05C83 × Cite Format Result Cite Review PDF Full Text: DOI
Omri, Eran; Weiermann, Andreas Classifying the phase transition threshold for Ackermannian functions. (English) Zbl 1160.03021 Ann. Pure Appl. Logic 158, No. 3, 156-162 (2009). MSC: 03D20 03D15 68Q15 × Cite Format Result Cite Review PDF Full Text: DOI Link
Weiermann, Andreas Phase transitions for Gödel incompleteness. (English) Zbl 1165.03048 Ann. Pure Appl. Logic 157, No. 2-3, 281-296 (2009). Reviewer: M. Yasuhara (Princeton) MSC: 03F30 03F15 03F40 05A16 × Cite Format Result Cite Review PDF Full Text: DOI
Bovykin, Andrey Exact unprovability results for compound well-quasi-ordered combinatorial classes. (English) Zbl 1159.03037 Ann. Pure Appl. Logic 157, No. 2-3, 77-84 (2009). MSC: 03F03 03B30 × Cite Format Result Cite Review PDF Full Text: DOI
Lee, Gyesik A comparison of well-known ordinal notation systems for \(\varepsilon _{0}\). (English) Zbl 1121.03080 Ann. Pure Appl. Logic 147, No. 1-2, 48-70 (2007). Reviewer: M. Yasuhara (Princeton) MSC: 03F15 03F30 03-02 × Cite Format Result Cite Review PDF Full Text: DOI
Pohlers, Wolfram (ed.) 2004 Summer Meeting of the Association for Symbolic Logic, Torino, Italy, July 23–31, 2004. (English) Zbl 1080.03502 Bull. Symb. Log. 11, No. 2, 249-312 (2005). MSC: 03-06 00B05 × Cite Format Result Cite Review PDF Full Text: DOI
Weiermann, Andreas Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results. (English) Zbl 1090.03028 Ann. Pure Appl. Logic 136, No. 1-2, 189-218 (2005). MSC: 03F15 03F30 03E05 × Cite Format Result Cite Review PDF Full Text: DOI
Stoltenberg-Hansen, Viggo (ed.) 2003 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium ’03, Helsinki, Finland, August 14–20, 2003. (English) Zbl 1059.03507 Bull. Symb. Log. 10, No. 2, 234-280 (2004). MSC: 03-06 00B05 × Cite Format Result Cite Review PDF Full Text: DOI
Arai, Toshiyasu On the slowly well orderedness of \(\varepsilon_0\). (English) Zbl 0997.03045 Math. Log. Q. 48, No. 1, 125-130 (2002). MSC: 03F30 03F15 × Cite Format Result Cite Review PDF Full Text: DOI