Sato, Kentaro Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts. (English) Zbl 07541618 Arch. Math. Logic 61, No. 3-4, 399-435 (2022). MSC: 03D70 03E65 03F35 03F55 03D30 03F50 PDF BibTeX XML Cite \textit{K. Sato}, Arch. Math. Logic 61, No. 3--4, 399--435 (2022; Zbl 07541618) Full Text: DOI OpenURL
Flood, Stephen; Jura, Matthew; Levin, Oscar; Markkanen, Tyler The computational strength of matchings in countable graphs. (English) Zbl 07538233 Ann. Pure Appl. Logic 173, No. 8, Article ID 103133, 26 p. (2022). MSC: 03D80 03D99 03F15 03F35 PDF BibTeX XML Cite \textit{S. Flood} et al., Ann. Pure Appl. Logic 173, No. 8, Article ID 103133, 26 p. (2022; Zbl 07538233) Full Text: DOI OpenURL
Liu, Lu; Patey, Ludovic The reverse mathematics of the thin set and Erdős-Moser theorems. (English) Zbl 07506780 J. Symb. Log. 87, No. 1, 313-346 (2022). MSC: 03D80 03F35 03B30 PDF BibTeX XML Cite \textit{L. Liu} and \textit{L. Patey}, J. Symb. Log. 87, No. 1, 313--346 (2022; Zbl 07506780) Full Text: DOI OpenURL
Barnes, James S.; Goh, Jun Le; Shore, Richard A. Theorems of hyperarithmetic analysis and almost theorems of hyperarithmetic analysis. (English) Zbl 07503072 Bull. Symb. Log. 28, No. 1, 133-149 (2022). MSC: 03B30 03D55 03F35 05C63 03D80 05C38 05C69 05C70 PDF BibTeX XML Cite \textit{J. S. Barnes} et al., Bull. Symb. Log. 28, No. 1, 133--149 (2022; Zbl 07503072) Full Text: DOI OpenURL
Fiori-Carones, Marta; Shafer, Paul; Soldà, Giovanni An inside/outside Ramsey theorem and recursion theory. (English) Zbl 07479592 Trans. Am. Math. Soc. 375, No. 3, 1977-2024 (2022). MSC: 03B30 03D30 03F35 PDF BibTeX XML Cite \textit{M. Fiori-Carones} et al., Trans. Am. Math. Soc. 375, No. 3, 1977--2024 (2022; Zbl 07479592) Full Text: DOI arXiv OpenURL
Krasil’shchik, I. S.; Verbovetsky, A. M. Recursion operators in the cotangent covering of the rdDym equation. (English) Zbl 1477.35010 Anal. Math. Phys. 12, No. 1, Paper No. 1, 14 p. (2022). MSC: 35B06 35G20 PDF BibTeX XML Cite \textit{I. S. Krasil'shchik} and \textit{A. M. Verbovetsky}, Anal. Math. Phys. 12, No. 1, Paper No. 1, 14 p. (2022; Zbl 1477.35010) Full Text: DOI arXiv OpenURL
Dzhafarov, Damir; Flood, Stephen; Solomon, Reed; Westrick, Linda Effectiveness for the dual Ramsey theorem. (English) Zbl 07473054 Notre Dame J. Formal Logic 62, No. 3, 455-490 (2021). MSC: 03D80 05C55 03F60 03F35 03B30 PDF BibTeX XML Cite \textit{D. Dzhafarov} et al., Notre Dame J. Formal Logic 62, No. 3, 455--490 (2021; Zbl 07473054) Full Text: DOI arXiv OpenURL
Breuvart, Flavien; Dal Lago, Ugo; Herrou, Agathe On higher-order probabilistic subrecursion. (English) Zbl 07471685 Log. Methods Comput. Sci. 17, No. 4, Paper No. 25, 35 p. (2021). MSC: 68N30 03B40 68N19 68Q10 68Q55 PDF BibTeX XML Cite \textit{F. Breuvart} et al., Log. Methods Comput. Sci. 17, No. 4, Paper No. 25, 35 p. (2021; Zbl 07471685) Full Text: arXiv Link OpenURL
Freund, Anton Well ordering principles and \(\Pi^1_4\)-statements: a pilot study. (English) Zbl 07415222 J. Symb. Log. 86, No. 2, 709-745 (2021). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03D65 03F15 03F35 PDF BibTeX XML Cite \textit{A. Freund}, J. Symb. Log. 86, No. 2, 709--745 (2021; Zbl 07415222) Full Text: DOI arXiv OpenURL
Chong, Chi Tat; Li, Wei; Liu, Lu; Yang, Yue The strength of Ramsey’s theorem for pairs over trees. I: Weak König’s lemma. (English) Zbl 07377373 Trans. Am. Math. Soc. 374, No. 8, 5545-5581 (2021). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03F35 03D80 05D10 PDF BibTeX XML Cite \textit{C. T. Chong} et al., Trans. Am. Math. Soc. 374, No. 8, 5545--5581 (2021; Zbl 07377373) Full Text: DOI arXiv OpenURL
Uftring, Patrick The characterization of Weihrauch reducibility in systems containing \(E-PA^{\omega } + QF-AC^{0,0}\). (English) Zbl 07370811 J. Symb. Log. 86, No. 1, 224-261 (2021). MSC: 03B47 03F52 03D65 03D30 PDF BibTeX XML Cite \textit{P. Uftring}, J. Symb. Log. 86, No. 1, 224--261 (2021; Zbl 07370811) Full Text: DOI arXiv OpenURL
Sanders, Sam Nets and reverse mathematics. (English) Zbl 07363324 Computability 10, No. 1, 31-62 (2021). MSC: 03Dxx PDF BibTeX XML Cite \textit{S. Sanders}, Computability 10, No. 1, 31--62 (2021; Zbl 07363324) Full Text: DOI arXiv OpenURL
Baran, Hynek Infinitely many commuting nonlocal symmetries for modified Martínez Alonso-Shabat equation. (English) Zbl 1459.35010 Commun. Nonlinear Sci. Numer. Simul. 96, Article ID 105692, 5 p. (2021). MSC: 35A30 35B06 35G20 37K06 37K10 PDF BibTeX XML Cite \textit{H. Baran}, Commun. Nonlinear Sci. Numer. Simul. 96, Article ID 105692, 5 p. (2021; Zbl 1459.35010) Full Text: DOI arXiv OpenURL
Morozov, Oleg I. Integrability structures of the generalized Hunter-Saxton equation. (English) Zbl 1458.35138 Anal. Math. Phys. 11, No. 2, Paper No. 50, 22 p. (2021). MSC: 35G20 35Q60 17B50 22E70 PDF BibTeX XML Cite \textit{O. I. Morozov}, Anal. Math. Phys. 11, No. 2, Paper No. 50, 22 p. (2021; Zbl 1458.35138) Full Text: DOI arXiv OpenURL
Brattka, Vasco; Gherardi, Guido Completion of choice. (English) Zbl 1462.03019 Ann. Pure Appl. Logic 172, No. 3, Article ID 102914, 31 p. (2021). Reviewer: Jeffry L. Hirst (Boone) MSC: 03D78 03B30 03D30 03F60 03F35 PDF BibTeX XML Cite \textit{V. Brattka} and \textit{G. Gherardi}, Ann. Pure Appl. Logic 172, No. 3, Article ID 102914, 31 p. (2021; Zbl 1462.03019) Full Text: DOI arXiv OpenURL
Fujiwara, Makoto; Kawai, Tatsuji Characterising Brouwer’s continuity by bar recursion on moduli of continuity. (English) Zbl 07297808 Arch. Math. Logic 60, No. 1-2, 241-263 (2021). MSC: 03F55 03F35 03F50 03F10 PDF BibTeX XML Cite \textit{M. Fujiwara} and \textit{T. Kawai}, Arch. Math. Logic 60, No. 1--2, 241--263 (2021; Zbl 07297808) Full Text: DOI OpenURL
Wu, Huishan Ring structure theorems and arithmetic comprehension. (English) Zbl 1473.03009 Arch. Math. Logic 60, No. 1-2, 145-160 (2021). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03D15 03F35 03D80 13E10 PDF BibTeX XML Cite \textit{H. Wu}, Arch. Math. Logic 60, No. 1--2, 145--160 (2021; Zbl 1473.03009) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \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 OpenURL
Kihara, Takayuki; Marcone, Alberto; Pauly, Arno Searching for an analogue of \(\text{ATR}_0\) in the Weihrauch lattice. (English) Zbl 1473.03026 J. Symb. Log. 85, No. 3, 1006-1043 (2020). Reviewer: Jeffry L. Hirst (Boone) MSC: 03D78 03D30 03B30 03F35 PDF BibTeX XML Cite \textit{T. Kihara} et al., J. Symb. Log. 85, No. 3, 1006--1043 (2020; Zbl 1473.03026) Full Text: DOI arXiv OpenURL
Parys, Paweł A type system describing unboundedness. (English) Zbl 1462.68109 Discrete Math. Theor. Comput. Sci. 22, No. 4, Paper No. 2, 85 p. (2020). MSC: 68Q45 03B40 03D05 68Q17 PDF BibTeX XML Cite \textit{P. Parys}, Discrete Math. Theor. Comput. Sci. 22, No. 4, Paper No. 2, 85 p. (2020; Zbl 1462.68109) Full Text: DOI Link OpenURL
Normann, Dag; Sanders, Sam Open sets in computability theory and reverse mathematics. (English) Zbl 1472.03012 J. Log. Comput. 30, No. 8, 1639-1679 (2020). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03D65 03F35 03D80 03F60 PDF BibTeX XML Cite \textit{D. Normann} and \textit{S. Sanders}, J. Log. Comput. 30, No. 8, 1639--1679 (2020; Zbl 1472.03012) Full Text: DOI arXiv OpenURL
Hirst, Jeffry L. Leaf management. (English) Zbl 1485.03242 Computability 9, No. 3-4, 309-314 (2020). MSC: 03F35 03B30 03D30 PDF BibTeX XML Cite \textit{J. L. Hirst}, Computability 9, No. 3--4, 309--314 (2020; Zbl 1485.03242) Full Text: DOI arXiv OpenURL
Goh, Jun Le Compositions of multivalued functions. (English) Zbl 1460.03013 Computability 9, No. 3-4, 231-247 (2020). Reviewer: Jamalbek Tussupov (Astana) MSC: 03D30 03D78 03F35 PDF BibTeX XML Cite \textit{J. Le Goh}, Computability 9, No. 3--4, 231--247 (2020; Zbl 1460.03013) Full Text: DOI OpenURL
Davis, Caleb; Hirschfeldt, Denis R.; Hirst, Jeffry; Pardo, Jake; Pauly, Arno; Yokoyama, Keita Combinatorial principles equivalent to weak induction. (English) Zbl 1485.03025 Computability 9, No. 3-4, 219-229 (2020). MSC: 03B30 03D30 03F35 05D10 PDF BibTeX XML Cite \textit{C. Davis} et al., Computability 9, No. 3--4, 219--229 (2020; Zbl 1485.03025) Full Text: DOI arXiv OpenURL
Chong, C. T.; Li, Wei; Wang, Wei; Yang, Yue On the strength of Ramsey’s theorem for trees. (English) Zbl 1444.03012 Adv. Math. 369, Article ID 107180, 38 p. (2020). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03F35 03D80 05D10 PDF BibTeX XML Cite \textit{C. T. Chong} et al., Adv. Math. 369, Article ID 107180, 38 p. (2020; Zbl 1444.03012) Full Text: DOI OpenURL
Sanders, Sam Splittings and disjunctions in reverse mathematics. (English) Zbl 1462.03009 Notre Dame J. Formal Logic 61, No. 1, 51-74 (2020). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03D65 03F35 PDF BibTeX XML Cite \textit{S. Sanders}, Notre Dame J. Formal Logic 61, No. 1, 51--74 (2020; Zbl 1462.03009) Full Text: DOI arXiv Euclid OpenURL
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 PDF BibTeX XML Cite \textit{A. Freund}, J. Symb. Log. 85, No. 1, 511--530 (2020; Zbl 1479.03007) Full Text: DOI arXiv OpenURL
Afshari, Bahareh; Hetzl, Stefan; Leigh, Graham E. Herbrand’s theorem as higher order recursion. (English) Zbl 1464.03085 Ann. Pure Appl. Logic 171, No. 6, Article ID 102792, 45 p. (2020). Reviewer: Annika Kanckos (Helsinki) MSC: 03F05 03F07 03D05 03F30 PDF BibTeX XML Cite \textit{B. Afshari} et al., Ann. Pure Appl. Logic 171, No. 6, Article ID 102792, 45 p. (2020; Zbl 1464.03085) Full Text: DOI OpenURL
Goh, Jun Le Embeddings between well-orderings: computability-theoretic reductions. (English) Zbl 1479.03008 Ann. Pure Appl. Logic 171, No. 6, Article ID 102789, 17 p. (2020). Reviewer: Paul Shafer (Leeds) MSC: 03B30 03D30 03D80 03F35 03D55 PDF BibTeX XML Cite \textit{J. Le Goh}, Ann. Pure Appl. Logic 171, No. 6, Article ID 102789, 17 p. (2020; Zbl 1479.03008) Full Text: DOI OpenURL
Powell, Thomas Dependent choice as a termination principle. (English) Zbl 1481.03040 Arch. Math. Logic 59, No. 3-4, 503-516 (2020). MSC: 03D65 03F35 03B30 68Q42 PDF BibTeX XML Cite \textit{T. Powell}, Arch. Math. Logic 59, No. 3--4, 503--516 (2020; Zbl 1481.03040) Full Text: DOI arXiv OpenURL
Normann, Dag; Sanders, Sam Pincherle’s theorem in reverse mathematics and computability theory. (English) Zbl 1443.03008 Ann. Pure Appl. Logic 171, No. 5, Article ID 102788, 41 p. (2020). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03D65 03F35 03D80 PDF BibTeX XML Cite \textit{D. Normann} and \textit{S. Sanders}, Ann. Pure Appl. Logic 171, No. 5, Article ID 102788, 41 p. (2020; Zbl 1443.03008) Full Text: DOI arXiv OpenURL
Cholak, Peter; Patey, Ludovic Thin set theorems and cone avoidance. (English) Zbl 1442.03007 Trans. Am. Math. Soc. 373, No. 4, 2743-2773 (2020). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03F35 03D80 05D10 PDF BibTeX XML Cite \textit{P. Cholak} and \textit{L. Patey}, Trans. Am. Math. Soc. 373, No. 4, 2743--2773 (2020; Zbl 1442.03007) Full Text: DOI arXiv OpenURL
Longley, John Bar recursion is not computable via iteration. (English) Zbl 1459.03067 Computability 8, No. 2, 119-153 (2019). MSC: 03D65 03D75 PDF BibTeX XML Cite \textit{J. Longley}, Computability 8, No. 2, 119--153 (2019; Zbl 1459.03067) Full Text: DOI arXiv OpenURL
Normann, Dag; Sanders, Sam Computability theory, nonstandard analysis, and their connections. (English) Zbl 1454.03018 J. Symb. Log. 84, No. 4, 1422-1465 (2019). MSC: 03B30 03D65 03F35 03H05 PDF BibTeX XML Cite \textit{D. Normann} and \textit{S. Sanders}, J. Symb. Log. 84, No. 4, 1422--1465 (2019; Zbl 1454.03018) Full Text: DOI arXiv Link OpenURL
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 PDF BibTeX XML Cite \textit{A. Freund}, Bull. Lond. Math. Soc. 51, No. 5, 801--814 (2019; Zbl 1448.03008) Full Text: DOI arXiv OpenURL
Krasil’shchik, I. S.; Morozov, O. I.; Vojčák, P. Nonlocal symmetries, conservation laws, and recursion operators of the Veronese web equation. (English) Zbl 1426.35014 J. Geom. Phys. 146, Article ID 103519, 11 p. (2019). MSC: 35B06 35G20 PDF BibTeX XML Cite \textit{I. S. Krasil'shchik} et al., J. Geom. Phys. 146, Article ID 103519, 11 p. (2019; Zbl 1426.35014) Full Text: DOI arXiv OpenURL
Normann, Dag; Sanders, Sam The strength of compactness in computability theory and nonstandard analysis. (English) Zbl 1430.03035 Ann. Pure Appl. Logic 170, No. 11, Article ID 102710, 42 p. (2019). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03D65 03F35 PDF BibTeX XML Cite \textit{D. Normann} and \textit{S. Sanders}, Ann. Pure Appl. Logic 170, No. 11, Article ID 102710, 42 p. (2019; Zbl 1430.03035) Full Text: DOI arXiv OpenURL
Hirst, Jeffry L.; Mummert, Carl Using Ramsey’s theorem once. (English) Zbl 1475.03071 Arch. Math. Logic 58, No. 7-8, 857-866 (2019). Reviewer: Emil Jeřábek (Praha) MSC: 03B30 03F35 03F50 03D30 PDF BibTeX XML Cite \textit{J. L. Hirst} and \textit{C. Mummert}, Arch. Math. Logic 58, No. 7--8, 857--866 (2019; Zbl 1475.03071) Full Text: DOI arXiv OpenURL
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 PDF BibTeX XML Cite \textit{A. Freund}, Adv. Math. 355, Article ID 106767, 65 p. (2019; Zbl 1441.03012) Full Text: DOI arXiv OpenURL
Berardi, Stefano; Oliva, Paulo; Steila, Silvia An analysis of the Podelski-Rybalchenko termination theorem via bar recursion. (English) Zbl 1444.03140 J. Log. Comput. 29, No. 4, 555-575 (2019). MSC: 03D65 03F35 05D10 03F55 PDF BibTeX XML Cite \textit{S. Berardi} et al., J. Log. Comput. 29, No. 4, 555--575 (2019; Zbl 1444.03140) Full Text: DOI OpenURL
Monin, Benoit; Patey, Ludovic Pigeons do not jump high. (English) Zbl 1441.03013 Adv. Math. 352, 1066-1095 (2019). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03F35 03D80 PDF BibTeX XML Cite \textit{B. Monin} and \textit{L. Patey}, Adv. Math. 352, 1066--1095 (2019; Zbl 1441.03013) Full Text: DOI arXiv OpenURL
Normann, Dag; Sanders, Sam On the mathematical and foundational significance of the uncountable. (English) Zbl 1484.03018 J. Math. Log. 19, No. 1, Article ID 1950001, 40 p. (2019). MSC: 03B30 03D65 03F35 PDF BibTeX XML Cite \textit{D. Normann} and \textit{S. Sanders}, J. Math. Log. 19, No. 1, Article ID 1950001, 40 p. (2019; Zbl 1484.03018) Full Text: DOI arXiv OpenURL
Jamal, Sameerah; Mathebula, A. Generalized symmetries and recursive operators of some diffusive equations. (English) Zbl 1428.37073 Bull. Malays. Math. Sci. Soc. (2) 42, No. 2, 697-706 (2019). MSC: 37L20 35K57 70G65 35B06 PDF BibTeX XML Cite \textit{S. Jamal} and \textit{A. Mathebula}, Bull. Malays. Math. Sci. Soc. (2) 42, No. 2, 697--706 (2019; Zbl 1428.37073) Full Text: DOI OpenURL
Fujiwara, Makoto; Kawai, Tatsuji Equivalence of bar induction and bar recursion for continuous functions with continuous moduli. (English) Zbl 1459.03091 Ann. Pure Appl. Logic 170, No. 8, 867-890 (2019). MSC: 03F55 03F35 03F10 03B30 03F50 PDF BibTeX XML Cite \textit{M. Fujiwara} and \textit{T. Kawai}, Ann. Pure Appl. Logic 170, No. 8, 867--890 (2019; Zbl 1459.03091) Full Text: DOI OpenURL
Hachtman, Sherwood Determinacy and monotone inductive definitions. (English) Zbl 1468.03068 Isr. J. Math. 230, No. 1, 71-96 (2019). MSC: 03E60 03D70 03D65 03F35 PDF BibTeX XML Cite \textit{S. Hachtman}, Isr. J. Math. 230, No. 1, 71--96 (2019; Zbl 1468.03068) Full Text: DOI OpenURL
Tian, Kai; Gao, Binfang; Liu, Q. P.; Chen, Chen On Kupershmidt’s extended equation of dispersive water waves. (English) Zbl 1412.35074 Appl. Math. Lett. 92, 121-127 (2019). MSC: 35G55 35Q35 35P05 PDF BibTeX XML Cite \textit{K. Tian} et al., Appl. Math. Lett. 92, 121--127 (2019; Zbl 1412.35074) Full Text: DOI OpenURL
van den Berg, Benno; Sanders, Sam Reverse mathematics and parameter-free transfer. (English) Zbl 06994737 Ann. Pure Appl. Logic 170, No. 3, 273-296 (2019). MSC: 03D65 03F10 03F35 26E35 PDF BibTeX XML Cite \textit{B. van den Berg} and \textit{S. Sanders}, Ann. Pure Appl. Logic 170, No. 3, 273--296 (2019; Zbl 06994737) Full Text: DOI arXiv OpenURL
Hague, Matthew; Meyer, Roland; Muskalla, Sebastian; Zimmermann, Martin Parity to safety in polynomial time for pushdown and collapsible pushdown systems. (English) Zbl 07378374 Potapov, Igor (ed.) et al., 43rd international symposium on mathematical foundations of computer science. MFCS 2018, Liverpool, United Kingdom, August 27–31, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 117, Article 57, 15 p. (2018). MSC: 68Qxx PDF BibTeX XML Cite \textit{M. Hague} et al., LIPIcs -- Leibniz Int. Proc. Inform. 117, Article 57, 15 p. (2018; Zbl 07378374) Full Text: DOI arXiv OpenURL
Parys, Pawel Homogeneity without loss of generality. (English) Zbl 1462.68025 Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 27, 15 p. (2018). MSC: 68N18 68Q42 PDF BibTeX XML Cite \textit{P. Parys}, LIPIcs -- Leibniz Int. Proc. Inform. 108, Article 27, 15 p. (2018; Zbl 1462.68025) Full Text: DOI OpenURL
Kapron, Bruce M.; Steinberg, Florian Type-two polynomial-time and restricted lookahead. (English) Zbl 1452.03097 Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 579-588 (2018). MSC: 03D65 03B40 PDF BibTeX XML Cite \textit{B. M. Kapron} and \textit{F. Steinberg}, in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 579--588 (2018; Zbl 1452.03097) Full Text: DOI arXiv OpenURL
Kihara, Takayuki Higher randomness and lim-sup forcing within and beyond hyperarithmetic. (English) Zbl 1448.03034 Friedman, Sy-David (ed.) et al., Sets and computations. Hackensack, NJ: World Scientific. Lect. Notes Ser., Inst. Math. Sci., Natl. Univ. Singap. 33, 117-155 (2018). MSC: 03D65 03D32 03E40 03D10 03F35 PDF BibTeX XML Cite \textit{T. Kihara}, Lect. Notes Ser., Inst. Math. Sci., Natl. Univ. Singap. 33, 117--155 (2018; Zbl 1448.03034) Full Text: DOI OpenURL
Parys, Pawel The complexity of the diagonal problem for recursion schemes. (English) Zbl 07278117 Lokam, Satya (ed.) et al., 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 93, Article 45, 14 p. (2018). MSC: 68N30 68Qxx PDF BibTeX XML Cite \textit{P. Parys}, LIPIcs -- Leibniz Int. Proc. Inform. 93, Article 45, 14 p. (2018; Zbl 07278117) Full Text: DOI OpenURL
Parys, Paweł Recursion schemes and the WMSO+U logic. (English) Zbl 07228444 Niedermeier, Rolf (ed.) et al., 35th symposium on theoretical aspects of computer science, STACS 2018, Caen, France, February 28 – March 3, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 96, Article 53, 16 p. (2018). MSC: 03B25 PDF BibTeX XML Cite \textit{P. Parys}, LIPIcs -- Leibniz Int. Proc. Inform. 96, Article 53, 16 p. (2018; Zbl 07228444) Full Text: DOI OpenURL
Caparrós Quintero, Agustín; Hernández Heredero, Rafael Formal recursion operators of integrable nonevolutionary equations and Lagrangian systems. (English) Zbl 1411.35020 J. Phys. A, Math. Theor. 51, No. 38, Article ID 385201, 22 p. (2018). MSC: 35B06 35G20 17B80 03D80 PDF BibTeX XML Cite \textit{A. Caparrós Quintero} and \textit{R. Hernández Heredero}, J. Phys. A, Math. Theor. 51, No. 38, Article ID 385201, 22 p. (2018; Zbl 1411.35020) Full Text: DOI arXiv OpenURL
Slaman, Theodore A.; Yokoyama, Keita The strength of Ramsey’s theorem for pairs and arbitrarily many colors. (English) Zbl 1436.03098 J. Symb. Log. 83, No. 4, 1610-1617 (2018). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03F35 05D10 03H15 03C62 03D80 PDF BibTeX XML Cite \textit{T. A. Slaman} and \textit{K. Yokoyama}, J. Symb. Log. 83, No. 4, 1610--1617 (2018; Zbl 1436.03098) Full Text: DOI arXiv OpenURL
Habibullin, I. T.; Khakimova, A. R. A direct algorithm for constructing recursion operators and Lax pairs for integrable models. (English. Russian original) Zbl 1454.37062 Theor. Math. Phys. 196, No. 2, 1200-1216 (2018); translation from Teor. Mat. Fiz. 196, No. 2, 294-312 (2018). MSC: 37K06 37K35 37K10 35G20 35Q55 PDF BibTeX XML Cite \textit{I. T. Habibullin} and \textit{A. R. Khakimova}, Theor. Math. Phys. 196, No. 2, 1200--1216 (2018; Zbl 1454.37062); translation from Teor. Mat. Fiz. 196, No. 2, 294--312 (2018) Full Text: DOI arXiv OpenURL
Baran, H.; Krasilshchik, I. S.; Morozov, O. I.; Vojčák, P. Nonlocal symmetries of integrable linearly degenerate equations: a comparative study. (English. Russian original) Zbl 1403.35019 Theor. Math. Phys. 196, No. 2, 1089-1110 (2018); translation from Teor. Mat. Fiz. 196, No. 2, 169-192 (2018). MSC: 35B06 35G20 PDF BibTeX XML Cite \textit{H. Baran} et al., Theor. Math. Phys. 196, No. 2, 1089--1110 (2018; Zbl 1403.35019); translation from Teor. Mat. Fiz. 196, No. 2, 169--192 (2018) Full Text: DOI arXiv OpenURL
Sen, Yang Whitehead’s problem and reverse mathematics. (English) Zbl 1405.03033 Isr. J. Math. 228, No. 1, 455-512 (2018). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03F35 03D80 20K99 PDF BibTeX XML Cite \textit{Y. Sen}, Isr. J. Math. 228, No. 1, 455--512 (2018; Zbl 1405.03033) Full Text: DOI OpenURL
Montalbán, Antonio; Shore, Richard A. Conservativity of ultrafilters over subsystems of second order arithmetic. (English) Zbl 06915723 J. Symb. Log. 83, No. 2, 740-765 (2018). MSC: 03B30 03D80 03F25 03F35 PDF BibTeX XML Cite \textit{A. Montalbán} and \textit{R. A. Shore}, J. Symb. Log. 83, No. 2, 740--765 (2018; Zbl 06915723) Full Text: DOI Link OpenURL
Patey, Ludovic; Yokoyama, Keita The proof-theoretic strength of Ramsey’s theorem for pairs and two colors. (English) Zbl 1469.03033 Adv. Math. 330, 1034-1070 (2018). MSC: 03B30 03F35 05D10 03H15 03C62 03D80 PDF BibTeX XML Cite \textit{L. Patey} and \textit{K. Yokoyama}, Adv. Math. 330, 1034--1070 (2018; Zbl 1469.03033) Full Text: DOI arXiv OpenURL
Hone, Andrew N. W.; Novikov, Vladimir; Wang, Jing Ping Generalizations of the short pulse equation. (English) Zbl 1393.37076 Lett. Math. Phys. 108, No. 4, 927-947 (2018). Reviewer: Nilay Duruk Mutlubas (Tuzla) MSC: 37K10 35G20 37K05 PDF BibTeX XML Cite \textit{A. N. W. Hone} et al., Lett. Math. Phys. 108, No. 4, 927--947 (2018; Zbl 1393.37076) Full Text: DOI arXiv OpenURL
Sanders, Sam The Gandy-Hyland functional and a computational aspect of nonstandard analysis. (English) Zbl 1436.03238 Computability 7, No. 1, 7-43 (2018). MSC: 03D65 03H05 PDF BibTeX XML Cite \textit{S. Sanders}, Computability 7, No. 1, 7--43 (2018; Zbl 1436.03238) Full Text: DOI arXiv OpenURL
Carlucci, Lorenzo “Weak yet strong” restrictions of Hindman’s finite sums theorem. (English) Zbl 1477.03174 Proc. Am. Math. Soc. 146, No. 2, 819-829 (2018). MSC: 03D80 05D10 03F35 03B30 PDF BibTeX XML Cite \textit{L. Carlucci}, Proc. Am. Math. Soc. 146, No. 2, 819--829 (2018; Zbl 1477.03174) Full Text: DOI arXiv OpenURL
Colcombet, Thomas Logic and regular cost functions. (English) Zbl 1452.03089 Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 1, 4 p. (2017). MSC: 03D05 03B16 03B25 03D40 68Q45 PDF BibTeX XML Cite \textit{T. Colcombet}, in: Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20--23, 2017. Piscataway, NJ: IEEE Press. Article No. 1, 4 p. (2017; Zbl 1452.03089) Full Text: Link OpenURL
Suzuki, Ryota; Fujima, Koichi; Kobayashi, Naoki; Tsukada, Takeshi Streett automata model checking of higher-order recursion schemes. (English) Zbl 1441.68135 Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 32, 18 p. (2017). MSC: 68Q60 68Q45 PDF BibTeX XML Cite \textit{R. Suzuki} et al., LIPIcs -- Leibniz Int. Proc. Inform. 84, Article 32, 18 p. (2017; Zbl 1441.68135) Full Text: DOI OpenURL
Hague, Matthew; Meyer, Roland; Muskalla, Sebastian Domains for higher-order games. (English) Zbl 1441.68125 Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 59, 15 p. (2017). MSC: 68Q45 68Q55 91A80 PDF BibTeX XML Cite \textit{M. Hague} et al., LIPIcs -- Leibniz Int. Proc. Inform. 83, Article 59, 15 p. (2017; Zbl 1441.68125) Full Text: DOI arXiv OpenURL
Kuyper, Rutger On Weihrauch reducibility and intuitionistic reverse mathematics. (English) Zbl 1421.03003 J. Symb. Log. 82, No. 4, 1438-1458 (2017). MSC: 03B30 03B20 03D30 03F35 PDF BibTeX XML Cite \textit{R. Kuyper}, J. Symb. Log. 82, No. 4, 1438--1458 (2017; Zbl 1421.03003) Full Text: DOI arXiv OpenURL
Eastaugh, Benedict Book review of: D. R. Hirschfeldt, Slicing the truth. On the computable and reverse mathematics of combinatorial principles. (English) Zbl 1378.00026 Stud. Log. 105, No. 4, 873-879 (2017). MSC: 00A17 03-02 03B30 03F35 03D30 03D80 03E05 05D10 PDF BibTeX XML Cite \textit{B. Eastaugh}, Stud. Log. 105, No. 4, 873--879 (2017; Zbl 1378.00026) Full Text: DOI OpenURL
Kobayashi, Naoki; Lozes, Étienne; Bruse, Florian On the relationship between higher-order recursion schemes and higher-order fixpoint logic. (English) Zbl 1380.68277 Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 246-259 (2017). MSC: 68Q60 03B70 PDF BibTeX XML Cite \textit{N. Kobayashi} et al., in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 246--259 (2017; Zbl 1380.68277) Full Text: DOI HAL OpenURL
Hague, Matthew; Murawski, Andrzej S.; Ong, C.-H. Luke; Serre, Olivier Collapsible pushdown automata and recursion schemes. (English) Zbl 1407.68256 ACM Trans. Comput. Log. 18, No. 3, Article No. 25, 42 p. (2017). MSC: 68Q45 68Q42 PDF BibTeX XML Cite \textit{M. Hague} et al., ACM Trans. Comput. Log. 18, No. 3, Article No. 25, 42 p. (2017; Zbl 1407.68256) Full Text: DOI HAL OpenURL
Kudinov, Oleg; Selivanov, Victor First order theories of some lattices of open sets. (English) Zbl 1459.03062 Log. Methods Comput. Sci. 13, No. 3, Paper No. 16, 18 p. (2017). MSC: 03D30 03D45 03F35 PDF BibTeX XML Cite \textit{O. Kudinov} and \textit{V. Selivanov}, Log. Methods Comput. Sci. 13, No. 3, Paper No. 16, 18 p. (2017; Zbl 1459.03062) Full Text: DOI arXiv OpenURL
Mailund, Thomas Functional programming in R. Advanced statistical programming for data science, analysis and finance. (English) Zbl 1376.68002 Berlin: Springer/Apress (ISBN 978-1-4842-2745-9/pbk; 978-1-4842-2746-6/ebook). xv, 104 p. (2017). Reviewer: Irina Ioana Mohorianu (Norwich) MSC: 68-01 62-04 68N18 PDF BibTeX XML Cite \textit{T. Mailund}, Functional programming in R. Advanced statistical programming for data science, analysis and finance. Berlin: Springer/Apress (2017; Zbl 1376.68002) Full Text: DOI OpenURL
Hachtman, Sherwood Determinacy in third order arithmetic. (English) Zbl 1422.03128 Ann. Pure Appl. Logic 168, No. 11, 2008-2021 (2017). MSC: 03F35 03B30 03E60 03E45 03D60 PDF BibTeX XML Cite \textit{S. Hachtman}, Ann. Pure Appl. Logic 168, No. 11, 2008--2021 (2017; Zbl 1422.03128) Full Text: DOI OpenURL
Dzhafarov, Damir D.; Patey, Ludovic Coloring trees in reverse mathematics. (English) Zbl 1423.03048 Adv. Math. 318, 497-514 (2017). MSC: 03B30 03D80 03F35 05C55 05D10 PDF BibTeX XML Cite \textit{D. D. Dzhafarov} and \textit{L. Patey}, Adv. Math. 318, 497--514 (2017; Zbl 1423.03048) Full Text: DOI arXiv OpenURL
Astor, Eric P.; Dzhafarov, Damir D.; Solomon, Reed; Suggs, Jacob The uniform content of partial and linear orders. (English) Zbl 1390.03040 Ann. Pure Appl. Logic 168, No. 6, 1153-1171 (2017). Reviewer: Jeffry L. Hirst (Boone) MSC: 03D80 03B30 03D30 05D10 03F35 PDF BibTeX XML Cite \textit{E. P. Astor} et al., Ann. Pure Appl. Logic 168, No. 6, 1153--1171 (2017; Zbl 1390.03040) Full Text: DOI arXiv OpenURL
Escardó, Martín; Oliva, Paulo The Herbrand functional interpretation of the double negation shift. (English) Zbl 1419.03051 J. Symb. Log. 82, No. 2, 590-607 (2017). MSC: 03F07 03F10 03F35 PDF BibTeX XML Cite \textit{M. Escardó} and \textit{P. Oliva}, J. Symb. Log. 82, No. 2, 590--607 (2017; Zbl 1419.03051) Full Text: DOI arXiv OpenURL
Speranski, Stanislav O. Notes on the computational aspects of Kripke’s theory of truth. (English) Zbl 1417.03244 Stud. Log. 105, No. 2, 407-429 (2017). MSC: 03D65 03D70 03F35 03F40 PDF BibTeX XML Cite \textit{S. O. Speranski}, Stud. Log. 105, No. 2, 407--429 (2017; Zbl 1417.03244) Full Text: DOI OpenURL
Euler, M.; Euler, N.; Nucci, M. C. On nonlocal symmetries generated by recursion operators: second-order evolution equations. (English) Zbl 1360.35045 Discrete Contin. Dyn. Syst. 37, No. 8, 4239-4247 (2017). MSC: 35G20 35A30 58J70 PDF BibTeX XML Cite \textit{M. Euler} et al., Discrete Contin. Dyn. Syst. 37, No. 8, 4239--4247 (2017; Zbl 1360.35045) Full Text: DOI OpenURL
Bienvenu, Laurent; Kuyper, Rutger Parallel and serial jumps of weak weak König’s lemma. (English) Zbl 1485.03240 Day, Adam (ed.) et al., Computability and complexity. Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 10010, 201-217 (2017). MSC: 03F35 03D30 03D78 03F60 PDF BibTeX XML Cite \textit{L. Bienvenu} and \textit{R. Kuyper}, Lect. Notes Comput. Sci. 10010, 201--217 (2017; Zbl 1485.03240) Full Text: DOI HAL OpenURL
Dzhafarov, Damir D.; Jockusch, Carl G. jun.; Solomon, Reed; Westrick, Linda Brown Effectiveness of Hindman’s theorem for bounded sums. (English) Zbl 1480.03005 Day, Adam (ed.) et al., Computability and complexity. Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 10010, 134-142 (2017). MSC: 03B30 03D80 03F35 05D10 PDF BibTeX XML Cite \textit{D. D. Dzhafarov} et al., Lect. Notes Comput. Sci. 10010, 134--142 (2017; Zbl 1480.03005) Full Text: DOI arXiv OpenURL
Chong, C. T.; Slaman, Theodore A.; Yang, Yue The inductive strength of Ramsey’s theorem for pairs. (English) Zbl 1423.03047 Adv. Math. 308, 121-141 (2017). MSC: 03B30 03F35 03D80 05D10 PDF BibTeX XML Cite \textit{C. T. Chong} et al., Adv. Math. 308, 121--141 (2017; Zbl 1423.03047) Full Text: DOI OpenURL
Greenberg, Noam; Melnikov, Alexander Proper divisibility in computable rings. (English) Zbl 1370.03021 J. Algebra 474, 180-212 (2017). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03D45 13G05 03D80 16U10 03F35 PDF BibTeX XML Cite \textit{N. Greenberg} and \textit{A. Melnikov}, J. Algebra 474, 180--212 (2017; Zbl 1370.03021) Full Text: DOI OpenURL
Dzhafarov, Damir D.; Patey, Ludovic; Solomon, Reed; Westrick, Linda Brown Ramsey’s theorem for singletons and strong computable reducibility. (English) Zbl 1423.03159 Proc. Am. Math. Soc. 145, No. 3, 1343-1355 (2017). MSC: 03D80 03F35 05D10 03B30 03D30 PDF BibTeX XML Cite \textit{D. D. Dzhafarov} et al., Proc. Am. Math. Soc. 145, No. 3, 1343--1355 (2017; Zbl 1423.03159) Full Text: DOI arXiv OpenURL
Clemente, Lorenzo; Parys, Paweł; Salvati, Sylvain; Walukiewicz, Igor The diagonal problem for higher-order recursion schemes is decidable. (English) Zbl 1401.68158 Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 96-105 (2016). MSC: 68Q45 03B25 68Q42 68Q85 PDF BibTeX XML Cite \textit{L. Clemente} et al., in: Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016. New York, NY: Association for Computing Machinery (ACM). 96--105 (2016; Zbl 1401.68158) Full Text: DOI arXiv OpenURL
Birkedal, Lars; Bizjak, Aleš; Clouston, Ranald; Grathwohl, Hans Bugge; Spitters, Bas; Vezzosi, Andrea Guarded cubical type theory: path equality for guarded recursion. (English) Zbl 1370.68052 Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 23, 17 p. (2016). MSC: 68N30 03B15 03B70 03G30 55U40 68Q55 68T15 PDF BibTeX XML Cite \textit{L. Birkedal} et al., LIPIcs -- Leibniz Int. Proc. Inform. 62, Article 23, 17~p. (2016; Zbl 1370.68052) Full Text: DOI arXiv OpenURL
Patey, Ludovic The strength of the tree theorem for pairs in reverse mathematics. (English) Zbl 1368.03019 J. Symb. Log. 81, No. 4, 1481-1499 (2016). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03F35 03D80 05D10 PDF BibTeX XML Cite \textit{L. Patey}, J. Symb. Log. 81, No. 4, 1481--1499 (2016; Zbl 1368.03019) Full Text: DOI arXiv OpenURL
Dzhafarov, Damir D. Strong reductions between combinatorial principles. (English) Zbl 1368.03044 J. Symb. Log. 81, No. 4, 1405-1431 (2016). Reviewer: Jeffry L. Hirst (Boone) MSC: 03D80 03B30 03F35 05D10 03D30 PDF BibTeX XML Cite \textit{D. D. Dzhafarov}, J. Symb. Log. 81, No. 4, 1405--1431 (2016; Zbl 1368.03044) Full Text: DOI arXiv Link OpenURL
Day, Adam R. On the strength of two recurrence theorems. (English) Zbl 1368.03016 J. Symb. Log. 81, No. 4, 1357-1374 (2016). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 54H20 03D30 03F35 03F60 37B20 PDF BibTeX XML Cite \textit{A. R. Day}, J. Symb. Log. 81, No. 4, 1357--1374 (2016; Zbl 1368.03016) Full Text: DOI arXiv OpenURL
Flood, Stephen; Towsner, Henry Separating principles below \(\mathsf{WKL}_0\). (English) Zbl 1373.03017 Math. Log. Q. 62, No. 6, 507-529 (2016). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03F35 03D80 PDF BibTeX XML Cite \textit{S. Flood} and \textit{H. Towsner}, Math. Log. Q. 62, No. 6, 507--529 (2016; Zbl 1373.03017) Full Text: DOI arXiv OpenURL
Patey, Ludovic The weakness of being cohesive, thin or free in reverse mathematics. (English) Zbl 1368.03018 Isr. J. Math. 216, No. 2, 905-955 (2016). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03F35 03D30 03D80 05D10 05C55 PDF BibTeX XML Cite \textit{L. Patey}, Isr. J. Math. 216, No. 2, 905--955 (2016; Zbl 1368.03018) Full Text: DOI arXiv OpenURL
Baran, H.; Krasil’shchik, I. S.; Morozov, O. I.; Vojčák, P. Coverings over Lax integrable equations and their nonlocal symmetries. (English. Russian original) Zbl 1351.35022 Theor. Math. Phys. 188, No. 3, 1273-1295 (2016); translation from Teor. Mat. Fiz. 188, No. 3, 361-385 (2016). MSC: 35G20 37K10 14H70 PDF BibTeX XML Cite \textit{H. Baran} et al., Theor. Math. Phys. 188, No. 3, 1273--1295 (2016; Zbl 1351.35022); translation from Teor. Mat. Fiz. 188, No. 3, 361--385 (2016) Full Text: DOI arXiv OpenURL
Hirschfeldt, Denis R.; Jockusch, Carl G. jun. On notions of computability-theoretic reduction between \(\Pi_2^1\) principles. (English) Zbl 1373.03068 J. Math. Log. 16, No. 1, Article ID 1650002, 59 p. (2016). Reviewer: Jeffry L. Hirst (Boone) MSC: 03D30 03B30 03D80 03F35 PDF BibTeX XML Cite \textit{D. R. Hirschfeldt} and \textit{C. G. Jockusch jun.}, J. Math. Log. 16, No. 1, Article ID 1650002, 59 p. (2016; Zbl 1373.03068) Full Text: DOI OpenURL
Soskova, Mariya I. The automorphism group of the enumeration degrees. (English) Zbl 1403.03071 Ann. Pure Appl. Logic 167, No. 10, 982-999 (2016). MSC: 03D30 03D28 03F35 PDF BibTeX XML Cite \textit{M. I. Soskova}, Ann. Pure Appl. Logic 167, No. 10, 982--999 (2016; Zbl 1403.03071) Full Text: DOI OpenURL
Hötzel Escardó, Martín; Streicher, Thomas The intrinsic topology of Martin-Löf universes. (English) Zbl 1402.03022 Ann. Pure Appl. Logic 167, No. 9, 794-805 (2016). MSC: 03B15 03F50 03C90 03D65 PDF BibTeX XML Cite \textit{M. Hötzel Escardó} and \textit{T. Streicher}, Ann. Pure Appl. Logic 167, No. 9, 794--805 (2016; Zbl 1402.03022) Full Text: DOI OpenURL
Escardó, Martín; Xu, Chuangjie A constructive manifestation of the Kleene-Kreisel continuous functionals. (English) Zbl 1402.03020 Ann. Pure Appl. Logic 167, No. 9, 770-793 (2016). MSC: 03B15 03F50 03C90 03D65 PDF BibTeX XML Cite \textit{M. Escardó} and \textit{C. Xu}, Ann. Pure Appl. Logic 167, No. 9, 770--793 (2016; Zbl 1402.03020) Full Text: DOI OpenURL
Basu, Sankha S.; Simpson, Stephen G. Mass problems and intuitionistic higher-order logic. (English) Zbl 06568533 Computability 5, No. 1, 29-47 (2016). MSC: 03G30 03D30 PDF BibTeX XML Cite \textit{S. S. Basu} and \textit{S. G. Simpson}, Computability 5, No. 1, 29--47 (2016; Zbl 06568533) Full Text: DOI arXiv OpenURL
Dorais, François G.; Dzhafarov, Damir D.; Hirst, Jeffry L.; Mileti, Joseph R.; Shafer, Paul On uniform relationships between combinatorial problems. (English) Zbl 06560459 Trans. Am. Math. Soc. 368, No. 2, 1321-1359 (2016). MSC: 03B30 05D10 05D40 05D15 03D32 03D80 03F35 PDF BibTeX XML Cite \textit{F. G. Dorais} et al., Trans. Am. Math. Soc. 368, No. 2, 1321--1359 (2016; Zbl 06560459) Full Text: DOI arXiv Link OpenURL
Jura, Matthew Reverse mathematics and the coloring number of graphs. (English) Zbl 1353.03008 Notre Dame J. Formal Logic 57, No. 1, 27-44 (2016). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03F35 03D80 05C15 PDF BibTeX XML Cite \textit{M. Jura}, Notre Dame J. Formal Logic 57, No. 1, 27--44 (2016; Zbl 1353.03008) Full Text: DOI Link OpenURL
Montalbán, Antonio; Shore, Richard A. The strength of Turing determinacy within second order arithmetic. (English) Zbl 1396.03112 Fundam. Math. 232, No. 3, 249-268 (2016). MSC: 03F35 03B30 03D80 03E60 PDF BibTeX XML Cite \textit{A. Montalbán} and \textit{R. A. Shore}, Fundam. Math. 232, No. 3, 249--268 (2016; Zbl 1396.03112) Full Text: DOI Link OpenURL
Blanchette, Jasmin Christian; Popescu, Andrei; Traytel, Dmitriy Foundational extensible corecursion: a proof assistant perspective. (English) Zbl 1360.68358 Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP ’15, Vancouver, Canada, September 1–3, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3669-7). 192-204 (2015). MSC: 68N30 68T15 PDF BibTeX XML Cite \textit{J. C. Blanchette} et al., in: Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP '15, Vancouver, Canada, September 1--3, 2015. New York, NY: Association for Computing Machinery (ACM). 192--204 (2015; Zbl 1360.68358) Full Text: DOI arXiv Link OpenURL