Bufetov, Alexander I.; Nivasch, Gabriel; Pakhomov, Fedor Generalized fusible numbers and their ordinals. (English) Zbl 07748764 Ann. Pure Appl. Logic 175, No. 1, Article ID 103355, 25 p. (2024). MSC: 03F15 03D60 03B70 PDFBibTeX XMLCite \textit{A. I. Bufetov} et al., Ann. Pure Appl. Logic 175, No. 1, Article ID 103355, 25 p. (2024; Zbl 07748764) Full Text: DOI arXiv
Goubault-Larrecq, Jean; Laboureix, Bastien Statures and sobrification ranks of Noetherian spaces. (English) Zbl 07800541 Houston J. Math. 49, No. 1, 1-76 (2023). MSC: 54G99 06A07 PDFBibTeX XMLCite \textit{J. Goubault-Larrecq} and \textit{B. Laboureix}, Houston J. Math. 49, No. 1, 1--76 (2023; Zbl 07800541) Full Text: arXiv Link
Freund, Anton; Rathjen, Michael Well ordering principles for iterated \(\Pi^1_1\)-comprehension. (English) Zbl 07756888 Sel. Math., New Ser. 29, No. 5, Paper No. 76, 83 p. (2023). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03D60 03E10 03F15 03F35 PDFBibTeX XMLCite \textit{A. Freund} and \textit{M. Rathjen}, Sel. Math., New Ser. 29, No. 5, Paper No. 76, 83 p. (2023; Zbl 07756888) Full Text: DOI arXiv OA License
Freund, Anton Bachmann-Howard derivatives. (English) Zbl 07691799 Arch. Math. Logic 62, No. 5-6, 581-618 (2023). MSC: 03F15 05C05 06A06 18A35 PDFBibTeX XMLCite \textit{A. Freund}, Arch. Math. Logic 62, No. 5--6, 581--618 (2023; Zbl 07691799) Full Text: DOI arXiv
Rathjen, Michael Well-ordering principles in proof theory and reverse mathematics. (English) Zbl 07632450 Ferreira, Fernando (ed.) et al., Axiomatic thinking II. Cham: Springer. 89-127 (2022). MSC: 03-03 03A05 PDFBibTeX XMLCite \textit{M. Rathjen}, in: Axiomatic thinking II. Cham: Springer. 89--127 (2022; Zbl 07632450) Full Text: DOI arXiv
Brignall, Robert; Vatter, Vincent Labelled well-quasi-order for permutation classes. (English) Zbl 1498.05006 Combinatorial Theory 2, No. 3, Paper No. 14, 54 p. (2022). MSC: 05A05 06A07 PDFBibTeX XMLCite \textit{R. Brignall} and \textit{V. Vatter}, Comb. Theory 2, No. 3, Paper No. 14, 54 p. (2022; Zbl 1498.05006) Full Text: DOI arXiv
Freund, Anton A mathematical commitment without computational strength. (English) Zbl 1523.03027 Rev. Symb. Log. 15, No. 4, 880-906 (2022). Reviewer: Victor V. Pambuccian (Glendale) MSC: 03F30 03F40 68Q25 PDFBibTeX XMLCite \textit{A. Freund}, Rev. Symb. Log. 15, No. 4, 880--906 (2022; Zbl 1523.03027) Full Text: DOI arXiv
Erickson, Jeff; Nivasch, Gabriel; Xu, Junyan Fusible numbers and Peano arithmetic. (English) Zbl 07577570 Log. Methods Comput. Sci. 18, No. 3, Paper No. 6, 26 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{J. Erickson} et al., Log. Methods Comput. Sci. 18, No. 3, Paper No. 6, 26 p. (2022; Zbl 07577570) Full Text: arXiv Link
Freund, Anton; Rathjen, Michael; Weiermann, Andreas Minimal bad sequences are necessary for a uniform Kruskal theorem. (English) Zbl 07507731 Adv. Math. 400, Article ID 108265, 44 p. (2022). MSC: 03B30 05C05 06A07 68Q42 03F35 PDFBibTeX XMLCite \textit{A. Freund} et al., Adv. Math. 400, Article ID 108265, 44 p. (2022; Zbl 07507731) Full Text: DOI arXiv
Freund, Anton Patterns of resemblance and Bachmann-Howard fixed points. (English) Zbl 07451871 Sel. Math., New Ser. 28, No. 1, Paper No. 19, 32 p. (2022). MSC: 03B30 03D60 03E10 03F15 PDFBibTeX XMLCite \textit{A. Freund}, Sel. Math., New Ser. 28, No. 1, Paper No. 19, 32 p. (2022; Zbl 07451871) Full Text: DOI arXiv
Endrullis, Jörg; Klop, Jan Willem; Overbeek, Roy Star games and Hydras. (English) Zbl 07379291 Log. Methods Comput. Sci. 17, No. 2, Paper No. 20, 32 p. (2021). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{J. Endrullis} et al., Log. Methods Comput. Sci. 17, No. 2, Paper No. 20, 32 p. (2021; Zbl 07379291) Full Text: DOI arXiv
Wilken, Gunnar Pure \(\Sigma_2\)-elementarity beyond the core. (English) Zbl 07374869 Ann. Pure Appl. Logic 172, No. 9, Article ID 103001, 93 p. (2021). MSC: 03F15 03E35 03E10 03C13 PDFBibTeX XMLCite \textit{G. Wilken}, Ann. Pure Appl. Logic 172, No. 9, Article ID 103001, 93 p. (2021; Zbl 07374869) Full Text: DOI arXiv
Freund, Anton; Rathjen, Michael Derivatives of normal functions in reverse mathematics. (English) Zbl 1473.03036 Ann. Pure Appl. Logic 172, No. 2, Article ID 102890, 50 p. (2021). Reviewer: Andrei Sipoş (Bucureşti) MSC: 03F15 03B30 03F35 03D60 03E10 PDFBibTeX XMLCite \textit{A. Freund} and \textit{M. Rathjen}, Ann. Pure Appl. Logic 172, No. 2, Article ID 102890, 50 p. (2021; Zbl 1473.03036) Full Text: DOI arXiv
Schütte, Kurt Beziehungen des Ordinalzahlensystems OT\((\theta )\) zur Veblen-Hierarchie. (German. English summary) Zbl 07438608 Kahle, Reinhard (ed.) et al., The legacy of Kurt Schütte. Cham: Springer. 461-469 (2020). MSC: 03-XX 68-XX PDFBibTeX XMLCite \textit{K. Schütte}, in: The legacy of Kurt Schütte. Cham: Springer. 461--469 (2020; Zbl 07438608) Full Text: DOI
Wilken, Gunnar A glimpse of \(\sum_3 \)-elementarity. (English) Zbl 07438605 Kahle, Reinhard (ed.) et al., The legacy of Kurt Schütte. Cham: Springer. 415-441 (2020). MSC: 68-XX 01-XX PDFBibTeX XMLCite \textit{G. Wilken}, in: The legacy of Kurt Schütte. Cham: Springer. 415--441 (2020; Zbl 07438605) Full Text: DOI
Rathjen, Michael; Thomson, Ian Alexander Well-ordering principles, \( \omega \)-models and \(\prod_1^1 \)-comprehension. (English) Zbl 07438596 Kahle, Reinhard (ed.) et al., The legacy of Kurt Schütte. Cham: Springer. 171-215 (2020). MSC: 03B30 03F05 03F15 03F35 03F35 PDFBibTeX XMLCite \textit{M. Rathjen} and \textit{I. A. Thomson}, in: The legacy of Kurt Schütte. Cham: Springer. 171--215 (2020; Zbl 07438596) Full Text: DOI
Freund, Anton From Kruskal’s theorem to Friedman’s gap condition. (English) Zbl 07348344 Math. Struct. Comput. Sci. 30, No. 8, 952-975 (2020). MSC: 06A07 03B30 05C05 PDFBibTeX XMLCite \textit{A. Freund}, Math. Struct. Comput. Sci. 30, No. 8, 952--975 (2020; Zbl 07348344) Full Text: DOI arXiv
Freund, Anton Computable aspects of the Bachmann-Howard principle. (English) Zbl 1457.03027 J. Math. Log. 20, No. 2, Article ID 2050006, 26 p. (2020). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03D60 03F15 PDFBibTeX XMLCite \textit{A. Freund}, J. Math. Log. 20, No. 2, Article ID 2050006, 26 p. (2020; Zbl 1457.03027) Full Text: DOI arXiv
Marcone, Alberto The reverse mathematics of wqos and bqos. (English) Zbl 1496.03035 Schuster, Peter M. (ed.) et al., Well-quasi orders in computation, logic, language and reasoning. A unifying concept of proof theory, automata theory, formal languages and descriptive set theory. Based on the minisymposium on well-quasi orders: from theory to applications within the Jahrestagung der Deutschen Mathematiker-Vereinigung (DMV), Hamburg, Germany, September 21–25, 2015 and the Dagstuhl seminar 16031 on well quasi-orders in computer science, Schloss Dagstuhl, Germany, January 17–22, 2016. Cham: Springer. Trends Log. Stud. Log. Libr. 53, 189-219 (2020). MSC: 03B30 03F35 06A06 PDFBibTeX XMLCite \textit{A. Marcone}, Trends Log. Stud. Log. Libr. 53, 189--219 (2020; Zbl 1496.03035) Full Text: DOI arXiv
Gordeev, Lev Strong WQO tree theorems. (English) Zbl 1481.03064 Schuster, Peter M. (ed.) et al., Well-quasi orders in computation, logic, language and reasoning. A unifying concept of proof theory, automata theory, formal languages and descriptive set theory. Based on the minisymposium on well-quasi orders: from theory to applications within the Jahrestagung der Deutschen Mathematiker-Vereinigung (DMV), Hamburg, Germany, September 21–25, 2015 and the Dagstuhl seminar 16031 on well quasi-orders in computer science, Schloss Dagstuhl, Germany, January 17–22, 2016. Cham: Springer. Trends Log. Stud. Log. Libr. 53, 107-125 (2020). MSC: 03F15 03F35 PDFBibTeX XMLCite \textit{L. Gordeev}, Trends Log. Stud. Log. Libr. 53, 107--125 (2020; Zbl 1481.03064) Full Text: DOI
Džamonja, Mirna; Schmitz, Sylvain; Schnoebelen, Philippe On ordinal invariants in well quasi orders and finite antichain orders. (English) Zbl 1481.03046 Schuster, Peter M. (ed.) et al., Well-quasi orders in computation, logic, language and reasoning. A unifying concept of proof theory, automata theory, formal languages and descriptive set theory. Based on the minisymposium on well-quasi orders: from theory to applications within the Jahrestagung der Deutschen Mathematiker-Vereinigung (DMV), Hamburg, Germany, September 21–25, 2015 and the Dagstuhl seminar 16031 on well quasi-orders in computer science, Schloss Dagstuhl, Germany, January 17–22, 2016. Cham: Springer. Trends Log. Stud. Log. Libr. 53, 29-54 (2020). MSC: 03E10 03E05 06A06 PDFBibTeX XMLCite \textit{M. Džamonja} et al., Trends Log. Stud. Log. Libr. 53, 29--54 (2020; Zbl 1481.03046) Full Text: DOI arXiv
Freund, Anton Predicative collapsing principles. (English) Zbl 1479.03007 J. Symb. Log. 85, No. 1, 511-530 (2020). Reviewer: Paul Shafer (Leeds) MSC: 03B30 03F15 03F35 PDFBibTeX XMLCite \textit{A. Freund}, J. Symb. Log. 85, No. 1, 511--530 (2020; Zbl 1479.03007) Full Text: DOI arXiv
Rathjen, Michael; Toppel, Michael On relating theories: proof-theoretical reduction. (English) Zbl 1469.03160 Centrone, Stefania (ed.) et al., Mathesis universalis, computability and proof. Based on the Humboldt-Kolleg “Proof theory as mathesis universalis”, held at the German-Italian Centre for European Excellence, Villa Vigoni, Loveno di Menaggio, Como, Italy, July 24–28, 2017. Cham: Springer. Synth. Libr. 412, 311-331 (2019). MSC: 03F15 03F25 03F35 03F50 PDFBibTeX XMLCite \textit{M. Rathjen} and \textit{M. Toppel}, Synth. Libr. 412, 311--331 (2019; Zbl 1469.03160) Full Text: DOI Link
Freund, Anton A categorical construction of Bachmann-Howard fixed points. (English) Zbl 1448.03008 Bull. Lond. Math. Soc. 51, No. 5, 801-814 (2019). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03D60 03F15 03F35 PDFBibTeX XMLCite \textit{A. Freund}, Bull. Lond. Math. Soc. 51, No. 5, 801--814 (2019; Zbl 1448.03008) Full Text: DOI arXiv
Freund, Anton \(\Pi_1^1\)-comprehension as a well-ordering principle. (English) Zbl 1441.03012 Adv. Math. 355, Article ID 106767, 65 p. (2019). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03D60 03F15 03F35 PDFBibTeX XMLCite \textit{A. Freund}, Adv. Math. 355, Article ID 106767, 65 p. (2019; Zbl 1441.03012) Full Text: DOI arXiv
Ranzi, Florian; Strahm, Thomas A flexible type system for the small Veblen ordinal. (English) Zbl 1439.03101 Arch. Math. Logic 58, No. 5-6, 711-751 (2019). Reviewer: Graham E. Leigh (Göteborg) MSC: 03F15 03F03 03F35 03F50 PDFBibTeX XMLCite \textit{F. Ranzi} and \textit{T. Strahm}, Arch. Math. Logic 58, No. 5--6, 711--751 (2019; Zbl 1439.03101) Full Text: DOI Link
Arai, Toshiyasu Proof-theoretic strengths of weak theories for positive inductive definitions. (English) Zbl 1502.03021 J. Symb. Log. 83, No. 3, 1091-1111 (2018). MSC: 03F35 03F15 PDFBibTeX XMLCite \textit{T. Arai}, J. Symb. Log. 83, No. 3, 1091--1111 (2018; Zbl 1502.03021) Full Text: DOI arXiv
Delhommé, Christian; Pouzet, Maurice The length of an intersection. (English) Zbl 1469.06004 Math. Log. Q. 63, No. 3-4, 243-255 (2017). MSC: 06A06 06A07 PDFBibTeX XMLCite \textit{C. Delhommé} and \textit{M. Pouzet}, Math. Log. Q. 63, No. 3--4, 243--255 (2017; Zbl 1469.06004) Full Text: DOI arXiv
Buchholz, Wilfried A survey on ordinal notations around the Bachmann-Howard ordinal. (English) Zbl 1429.03206 Jäger, Gerhard (ed.) et al., Feferman on foundations. Logic, mathematics, philosophy. Cham: Springer. Outst. Contrib. Log. 13, 71-100 (2017). MSC: 03F15 PDFBibTeX XMLCite \textit{W. Buchholz}, Outst. Contrib. Log. 13, 71--100 (2017; Zbl 1429.03206) Full Text: DOI
Montalbán, Antonio Fraïssé’s conjecture in \(\Pi_1^1\)-comprehension. (English) Zbl 1472.03066 J. Math. Log. 17, No. 2, Article ID 1750006, 12 p. (2017). MSC: 03F35 03B30 06A05 PDFBibTeX XMLCite \textit{A. Montalbán}, J. Math. Log. 17, No. 2, Article ID 1750006, 12 p. (2017; Zbl 1472.03066) Full Text: DOI
Rathjen, Michael; Van der Meeren, Jeroen; Weiermann, Andreas Ordinal notation systems corresponding to Friedman’s linearized well-partial-orders with gap-condition. (English) Zbl 1417.03292 Arch. Math. Logic 56, No. 5-6, 607-638 (2017). MSC: 03F15 03E10 06A06 PDFBibTeX XMLCite \textit{M. Rathjen} et al., Arch. Math. Logic 56, No. 5--6, 607--638 (2017; Zbl 1417.03292) Full Text: DOI arXiv Link
Van der Meeren, Jeroen; Rathjen, Michael; Weiermann, Andreas An order-theoretic characterization of the Howard-Bachmann-hierarchy. (English) Zbl 1421.03005 Arch. Math. Logic 56, No. 1-2, 79-118 (2017). MSC: 03B30 03E10 03E35 03F03 03F05 03F15 03F35 06A06 PDFBibTeX XMLCite \textit{J. Van der Meeren} et al., Arch. Math. Logic 56, No. 1--2, 79--118 (2017; Zbl 1421.03005) Full Text: DOI arXiv
Carlson, Timothy Analysis of a double Kruskal theorem. (English) Zbl 1423.06005 Trans. Am. Math. Soc. 369, No. 4, 2897-2916 (2017). MSC: 06A07 03F15 03F40 05C05 PDFBibTeX XMLCite \textit{T. Carlson}, Trans. Am. Math. Soc. 369, No. 4, 2897--2916 (2017; Zbl 1423.06005) Full Text: DOI arXiv
Schwichtenberg, Helmut; Seisenberger, Monika; Wiesnet, Franziskus Higman’s lemma and its computational content. (English) Zbl 1439.03099 Kahle, Reinhard (ed.) et al., Advances in proof theory. Proceedings of the symposium, on the occasion of the 60th birthday of Gerhard Jäger, Bern, Switzerland, December 13–14, 2013. Basel: Birkhäuser/Springer. Prog. Comput. Sci. Appl. Log. 28, 353-375 (2016). MSC: 03F07 03F20 05A05 PDFBibTeX XMLCite \textit{H. Schwichtenberg} et al., Prog. Comput. Sci. Appl. Log. 28, 353--375 (2016; Zbl 1439.03099) Full Text: DOI
Buchholz, Wilfried A survey on ordinal notations around the Bachmann-Howard ordinal. (English) Zbl 1439.03100 Kahle, Reinhard (ed.) et al., Advances in proof theory. Proceedings of the symposium, on the occasion of the 60th birthday of Gerhard Jäger, Bern, Switzerland, December 13–14, 2013. Basel: Birkhäuser/Springer. Prog. Comput. Sci. Appl. Log. 28, 1-29 (2016). MSC: 03F15 03D20 03E10 PDFBibTeX XMLCite \textit{W. Buchholz}, Prog. Comput. Sci. Appl. Log. 28, 1--29 (2016; Zbl 1439.03100) Full Text: DOI
Van der Meeren, Jeroen; Rathjen, Michael; Weiermann, Andreas Well-partial-orderings and the big Veblen number. (English) Zbl 1378.03041 Arch. Math. Logic 54, No. 1-2, 193-230 (2015). MSC: 03F15 03E10 06A06 PDFBibTeX XMLCite \textit{J. Van der Meeren} et al., Arch. Math. Logic 54, No. 1--2, 193--230 (2015; Zbl 1378.03041) Full Text: DOI Link
Rathjen, Michael Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience. (English) Zbl 1323.03075 Ann. Pure Appl. Logic 165, No. 2, 563-572 (2014). MSC: 03E70 03F25 03F50 PDFBibTeX XMLCite \textit{M. Rathjen}, Ann. Pure Appl. Logic 165, No. 2, 563--572 (2014; Zbl 1323.03075) Full Text: DOI arXiv
Towsner, Henry Partial impredicativity in reverse mathematics. (English) Zbl 1275.03079 J. Symb. Log. 78, No. 2, 459-488 (2013). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03F35 PDFBibTeX XMLCite \textit{H. Towsner}, J. Symb. Log. 78, No. 2, 459--488 (2013; Zbl 1275.03079) Full Text: DOI arXiv Euclid
Rathjen, Michael Constructive Zermelo-Fraenkel set theory, power set, and the calculus of constructions. (English) Zbl 1312.03038 Dybjer, Peter (ed.) et al., Epistemology versus ontology. Essays on the philosophy and foundations of mathematics in honour of Per Martin-Löf. Based on the conference, “Philosophy and foundations of mathematics: Epistemological and ontological aspects”, Uppsala, Sweden, May 5–8, 2009. Dordrecht: Springer (ISBN 978-94-007-4434-9/hbk; 978-94-007-4435-6/ebook). Logic, Epistemology, and the Unity of Science 27, 313-349 (2012). MSC: 03F50 03E70 03F35 PDFBibTeX XMLCite \textit{M. Rathjen}, Log. Epistemol. Unity Sci. 27, 313--349 (2012; Zbl 1312.03038) Full Text: DOI
Longo, Giuseppe Theorems as constructive visions. (English) Zbl 1247.97002 Hanna, Gila (ed.) et al., Proof and proving in mathematics education. The 19th ICMI study. Berlin: Springer (ISBN 978-94-007-2128-9/hbk; 978-94-007-2129-6/ebook). New ICMI Study Series 15, 51-66 (2012). MSC: 97A30 97E50 97E40 PDFBibTeX XMLCite \textit{G. Longo}, New ICMI Stud. Ser. 15, 51--66 (2012; Zbl 1247.97002) Full Text: DOI
Montalbán, Antonio Open questions in reverse mathematics. (English) Zbl 1233.03023 Bull. Symb. Log. 17, No. 3, 431-454 (2011). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03F35 PDFBibTeX XMLCite \textit{A. Montalbán}, Bull. Symb. Log. 17, No. 3, 431--454 (2011; Zbl 1233.03023) Full Text: DOI Link
Weiermann, Andreas; Wilken, Gunnar Ordinal arithmetic with simultaneously defined theta-functions. (English) Zbl 1223.03036 Math. Log. Q. 57, No. 2, 116-132 (2011). MSC: 03F03 03F15 PDFBibTeX XMLCite \textit{A. Weiermann} and \textit{G. Wilken}, Math. Log. Q. 57, No. 2, 116--132 (2011; Zbl 1223.03036) Full Text: DOI
Weiermann, Andreas A computation of the maximal order type of the term ordering on finite multisets. (English) Zbl 1268.03064 Ambos-Spies, Klaus (ed.) et al., Mathematical theory and computational practice. 5th conference on computability in Europe, CiE 2009, Heidelberg, Germany, July 19–24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03072-7/pbk). Lecture Notes in Computer Science 5635, 488-498 (2009). MSC: 03E05 06A06 PDFBibTeX XMLCite \textit{A. Weiermann}, Lect. Notes Comput. Sci. 5635, 488--498 (2009; Zbl 1268.03064) Full Text: DOI Link
Marcone, Alberto; Montalbán, Antonio On Fraïssé’s conjecture for linear orders of finite Hausdorff rank. (English) Zbl 1184.03006 Ann. Pure Appl. Logic 160, No. 3, 355-367 (2009). Reviewer: Josef Berger (München) MSC: 03B30 03F35 06A07 03D80 PDFBibTeX XMLCite \textit{A. Marcone} and \textit{A. Montalbán}, Ann. Pure Appl. Logic 160, No. 3, 355--367 (2009; Zbl 1184.03006) Full Text: DOI
Montalbán, Antonio On the equimorphism types of linear orderings. (English) Zbl 1129.03024 Bull. Symb. Log. 13, No. 1, 71-99 (2007). Reviewer: Jeffry L. Hirst (Boone) MSC: 03D80 03F35 06A05 PDFBibTeX XMLCite \textit{A. Montalbán}, Bull. Symb. Log. 13, No. 1, 71--99 (2007; Zbl 1129.03024) Full Text: DOI Link
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 PDFBibTeX XMLCite \textit{G. Lee}, Ann. Pure Appl. Logic 147, No. 1--2, 48--70 (2007; Zbl 1121.03080) Full Text: DOI
Wilken, Gunnar Ordinal arithmetic based on Skolem hulling. (English) Zbl 1117.03063 Ann. Pure Appl. Logic 145, No. 2, 130-161 (2007). MSC: 03F15 PDFBibTeX XMLCite \textit{G. Wilken}, Ann. Pure Appl. Logic 145, No. 2, 130--161 (2007; Zbl 1117.03063) Full Text: DOI
Wilken, Gunnar The Bachmann-Howard structure in terms of \(\Sigma_1\)-elementarity. (English) Zbl 1110.03053 Arch. Math. Logic 45, No. 7, 807-829 (2006). MSC: 03F15 PDFBibTeX XMLCite \textit{G. Wilken}, Arch. Math. Logic 45, No. 7, 807--829 (2006; Zbl 1110.03053) Full Text: DOI
Montalbán, Antonio Equivalence between Fraïssé’s conjecture and Jullien’s theorem. (English) Zbl 1094.03045 Ann. Pure Appl. Logic 139, No. 1-3, 1-42 (2006). Reviewer: Jeffry L. Hirst (Boone) MSC: 03F35 03B30 06A05 PDFBibTeX XMLCite \textit{A. Montalbán}, Ann. Pure Appl. Logic 139, No. 1--3, 1--42 (2006; Zbl 1094.03045) 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 PDFBibTeX XMLCite \textit{A. Weiermann}, Ann. Pure Appl. Logic 136, No. 1--2, 189--218 (2005; Zbl 1090.03028) Full Text: DOI
Weiermann, Andreas An application of graphical enumeration to PA. (English) Zbl 1041.03045 J. Symb. Log. 68, No. 1, 5-16 (2003). Reviewer: Roman Murawski (Poznań) MSC: 03F30 PDFBibTeX XMLCite \textit{A. Weiermann}, J. Symb. Log. 68, No. 1, 5--16 (2003; Zbl 1041.03045) Full Text: DOI
Weiermann, Andreas How is it that infinitary methods can be applied to finitary mathematics? Gödel’s \(T\): A case study. (English) Zbl 0928.03066 J. Symb. Log. 63, No. 4, 1348-1370 (1998). Reviewer: G.Mints (Stanford) MSC: 03F35 PDFBibTeX XMLCite \textit{A. Weiermann}, J. Symb. Log. 63, No. 4, 1348--1370 (1998; Zbl 0928.03066) Full Text: DOI