Spreen, Dieter Bi-topological spaces and the continuity problem. (English) Zbl 07568608 Topol. Proc. 61, 77-99 (2023). MSC: 03F60 03D45 54D65 54E35 54E55 PDF BibTeX XML Cite \textit{D. Spreen}, Topol. Proc. 61, 77--99 (2023; Zbl 07568608) Full Text: Link OpenURL
Fellin, Giulio; Schuster, Peter; Wessel, Daniel The Jacobson radical of a propositional theory. (English) Zbl 07550752 Bull. Symb. Log. 28, No. 2, 163-181 (2022). MSC: 03F03 03F65 PDF BibTeX XML Cite \textit{G. Fellin} et al., Bull. Symb. Log. 28, No. 2, 163--181 (2022; Zbl 07550752) Full Text: DOI OpenURL
Yang, E. Semilinear logics with knotted axioms. (English) Zbl 07547163 Iran. J. Fuzzy Syst. 19, No. 2, 17-30 (2022). MSC: 03Bxx 03Gxx 03Fxx PDF BibTeX XML Cite \textit{E. Yang}, Iran. J. Fuzzy Syst. 19, No. 2, 17--30 (2022; Zbl 07547163) Full Text: DOI OpenURL
Küchlin, Wolfgang Logic and verification of product configuration in the automotive industry. (English) Zbl 07543891 Mainzer, Klaus (ed.) et al., Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school “Proof and computation”, September 20–26, 2019. Hackensack, NJ: World Scientific. 387-408 (2022). MSC: 03-XX 03Dxx 03Fxx 03Bxx PDF BibTeX XML Cite \textit{W. Küchlin}, in: Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school ``Proof and computation'', September 20--26, 2019. Hackensack, NJ: World Scientific. 387--408 (2022; Zbl 07543891) Full Text: DOI OpenURL
Larchey-Wendling, Dominique; Monin, Jean-François The Braga method: extracting certified algorithms from complex recursive schemes in Coq. (English) Zbl 07543890 Mainzer, Klaus (ed.) et al., Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school “Proof and computation”, September 20–26, 2019. Hackensack, NJ: World Scientific. 305-386 (2022). MSC: 03-XX 03Dxx 03Fxx 03Bxx PDF BibTeX XML Cite \textit{D. Larchey-Wendling} and \textit{J.-F. Monin}, in: Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school ``Proof and computation'', September 20--26, 2019. Hackensack, NJ: World Scientific. 305--386 (2022; Zbl 07543890) Full Text: DOI OpenURL
Benini, Marco; Bonacina, Roberta An Ad-Hoc semantics to study structural properties of types. (English) Zbl 07543889 Mainzer, Klaus (ed.) et al., Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school “Proof and computation”, September 20–26, 2019. Hackensack, NJ: World Scientific. 267-303 (2022). MSC: 03-XX 03Dxx 03Fxx 03Bxx PDF BibTeX XML Cite \textit{M. Benini} and \textit{R. Bonacina}, in: Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school ``Proof and computation'', September 20--26, 2019. Hackensack, NJ: World Scientific. 267--303 (2022; Zbl 07543889) Full Text: DOI OpenURL
Coquand, Thierry; Tosun, Ayberk Formal topology and univalent foundations. (English) Zbl 07543888 Mainzer, Klaus (ed.) et al., Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school “Proof and computation”, September 20–26, 2019. Hackensack, NJ: World Scientific. 255-266 (2022). MSC: 03-XX 03Dxx 03Fxx 03Bxx PDF BibTeX XML Cite \textit{T. Coquand} and \textit{A. Tosun}, in: Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school ``Proof and computation'', September 20--26, 2019. Hackensack, NJ: World Scientific. 255--266 (2022; Zbl 07543888) Full Text: DOI OpenURL
Freund, Anton A uniform characterization of \(\Sigma_1\)-reflection over the fragments of Peano arithmetic. (English) Zbl 07543887 Mainzer, Klaus (ed.) et al., Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school “Proof and computation”, September 20–26, 2019. Hackensack, NJ: World Scientific. 189-253 (2022). MSC: 03-XX 03Dxx 03Fxx 03Bxx PDF BibTeX XML Cite \textit{A. Freund}, in: Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school ``Proof and computation'', September 20--26, 2019. Hackensack, NJ: World Scientific. 189--253 (2022; Zbl 07543887) Full Text: DOI OpenURL
Blechschmidt, Ingo Generalized spaces for constructive algebra. (English) Zbl 07543886 Mainzer, Klaus (ed.) et al., Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school “Proof and computation”, September 20–26, 2019. Hackensack, NJ: World Scientific. 99-187 (2022). MSC: 03-XX 03Dxx 03Fxx 03Bxx PDF BibTeX XML Cite \textit{I. Blechschmidt}, in: Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school ``Proof and computation'', September 20--26, 2019. Hackensack, NJ: World Scientific. 99--187 (2022; Zbl 07543886) Full Text: DOI OpenURL
Kawai, Tatsuji From intuitionistic mathematics to point-free topology. (English) Zbl 07543885 Mainzer, Klaus (ed.) et al., Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school “Proof and computation”, September 20–26, 2019. Hackensack, NJ: World Scientific. 55-98 (2022). MSC: 03-XX 03Dxx 03Fxx 03Bxx PDF BibTeX XML Cite \textit{T. Kawai}, in: Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school ``Proof and computation'', September 20--26, 2019. Hackensack, NJ: World Scientific. 55--98 (2022; Zbl 07543885) Full Text: DOI OpenURL
Centrone, Stefania Conceptions of proof from aristotle to Gentzen’s calculi. (English) Zbl 07543884 Mainzer, Klaus (ed.) et al., Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school “Proof and computation”, September 20–26, 2019. Hackensack, NJ: World Scientific. 33-54 (2022). MSC: 03-XX 03Dxx 03Fxx 03Bxx PDF BibTeX XML Cite \textit{S. Centrone}, in: Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school ``Proof and computation'', September 20--26, 2019. Hackensack, NJ: World Scientific. 33--54 (2022; Zbl 07543884) Full Text: DOI OpenURL
Mainzer, Klaus Proof and computation: perspectives for mathematics, computer science, and philosophy. (English) Zbl 07543883 Mainzer, Klaus (ed.) et al., Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school “Proof and computation”, September 20–26, 2019. Hackensack, NJ: World Scientific. 1-32 (2022). MSC: 03-XX 03Dxx 03Fxx 03Bxx PDF BibTeX XML Cite \textit{K. Mainzer}, in: Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school ``Proof and computation'', September 20--26, 2019. Hackensack, NJ: World Scientific. 1--32 (2022; Zbl 07543883) Full Text: DOI OpenURL
Nemoto, Takako; Kentaro, Sato A marriage of Brouwer’s intuitionism and Hilbert’s finitism. I: Arithmetic. (English) Zbl 07541909 J. Symb. Log. 87, No. 2, 437-497 (2022). MSC: 03F25 03F35 03F50 03F55 03F60 PDF BibTeX XML Cite \textit{T. Nemoto} and \textit{S. Kentaro}, J. Symb. Log. 87, No. 2, 437--497 (2022; Zbl 07541909) Full Text: DOI OpenURL
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
Stirton, William R. Combinatory logic with polymorphic types. (English) Zbl 07541615 Arch. Math. Logic 61, No. 3-4, 317-343 (2022). MSC: 03Fxx PDF BibTeX XML Cite \textit{W. R. Stirton}, Arch. Math. Logic 61, No. 3--4, 317--343 (2022; Zbl 07541615) Full Text: DOI OpenURL
Fiori-Carones, Marta; Marcone, Alberto Uniquely orderable interval graphs. (English) Zbl 07541375 Discrete Math. 345, No. 9, Article ID 112935, 12 p. (2022). MSC: 03Fxx 03Bxx 05Cxx PDF BibTeX XML Cite \textit{M. Fiori-Carones} and \textit{A. Marcone}, Discrete Math. 345, No. 9, Article ID 112935, 12 p. (2022; Zbl 07541375) Full Text: DOI OpenURL
Pentus, A. E.; Pentus, M. R. Proof nets for the Lambek calculus with one division and a negative-polarity modality for weakening. (English. Russian original) Zbl 07538686 J. Math. Sci., New York 262, No. 5, 759-766 (2022); translation from Fundam. Prikl. Mat. 23, No. 2, 247-257 (2020). MSC: 03Bxx 03Fxx 68Qxx PDF BibTeX XML Cite \textit{A. E. Pentus} and \textit{M. R. Pentus}, J. Math. Sci., New York 262, No. 5, 759--766 (2022; Zbl 07538686); translation from Fundam. Prikl. Mat. 23, No. 2, 247--257 (2020) Full Text: DOI OpenURL
Schuster, Peter; Wessel, Daniel The Jacobson radical for an inconsistency predicate. (English) Zbl 07527242 Computability 11, No. 2, 147-162 (2022). MSC: 13-XX 03Dxx 03Fxx PDF BibTeX XML Cite \textit{P. Schuster} and \textit{D. Wessel}, Computability 11, No. 2, 147--162 (2022; Zbl 07527242) Full Text: DOI OpenURL
Prawitz, Dag Book review of: P. Weingartner (ed.) and H.-P. Leeb (ed.), Kreisel’s interests. On the foundations of logic and mathematics. (English) Zbl 07511969 Philos. Math. (3) 30, No. 1, 121-126 (2022). MSC: 00A17 03-06 03Bxx 03Fxx 00B25 00B30 PDF BibTeX XML Cite \textit{D. Prawitz}, Philos. Math. (3) 30, No. 1, 121--126 (2022; Zbl 07511969) Full Text: DOI OpenURL
Kurahashi, Taishi; Okawa, Yuya; Shavrukov, V. Yu.; Visser, Albert On Guaspari’s problem about partially conservative sentences. (English) Zbl 07501982 Ann. Pure Appl. Logic 173, No. 5, Article ID 103087, 25 p. (2022). MSC: 03F40 03F30 03F03 03F99 PDF BibTeX XML Cite \textit{T. Kurahashi} et al., Ann. Pure Appl. Logic 173, No. 5, Article ID 103087, 25 p. (2022; Zbl 07501982) Full Text: DOI OpenURL
Jeon, Hanul Constructive Ackermann’s interpretation. (English) Zbl 07501981 Ann. Pure Appl. Logic 173, No. 5, Article ID 103086, 19 p. (2022). MSC: 03F50 03E70 03F30 03F65 PDF BibTeX XML Cite \textit{H. Jeon}, Ann. Pure Appl. Logic 173, No. 5, Article ID 103086, 19 p. (2022; Zbl 07501981) Full Text: DOI OpenURL
Konovalov, A. Yu. Basic predicate calculus is not sound with respect to the strong variant of strictly primitive recursive realizability. (English. Russian original) Zbl 07488500 Math. Notes 111, No. 2, 243-257 (2022); translation from Mat. Zametki 111, No. 2, 241-257 (2022). MSC: 03Fxx 03Bxx 03Cxx PDF BibTeX XML Cite \textit{A. Yu. Konovalov}, Math. Notes 111, No. 2, 243--257 (2022; Zbl 07488500); translation from Mat. Zametki 111, No. 2, 241--257 (2022) Full Text: DOI OpenURL
Khaniki, Erfan Not all Kripke models of \(\mathsf{HA}\) are locally \(\mathsf{PA}\). (English) Zbl 07472316 Adv. Math. 397, Article ID 108126, 22 p. (2022). MSC: 03Fxx 03Cxx 03Bxx PDF BibTeX XML Cite \textit{E. Khaniki}, Adv. Math. 397, Article ID 108126, 22 p. (2022; Zbl 07472316) Full Text: DOI OpenURL
Berger, Josef; Svindland, Gregor On Farkas’ lemma and related propositions in BISH. (English) Zbl 1486.03113 Ann. Pure Appl. Logic 173, No. 2, Article ID 103059, 20 p. (2022). Reviewer: Mark Mandelkern (Las Cruces) MSC: 03F60 46N10 PDF BibTeX XML Cite \textit{J. Berger} and \textit{G. Svindland}, Ann. Pure Appl. Logic 173, No. 2, Article ID 103059, 20 p. (2022; Zbl 1486.03113) Full Text: DOI arXiv OpenURL
Schuster, Peter; Wessel, Daniel; Yengui, Ihsen Dynamic evaluation of integrity and the computational content of Krull’s lemma. (English) Zbl 07389899 J. Pure Appl. Algebra 226, No. 1, Article ID 106794, 7 p. (2022). Reviewer: Paolo Lella (Trento) MSC: 13A18 03F65 16P60 PDF BibTeX XML Cite \textit{P. Schuster} et al., J. Pure Appl. Algebra 226, No. 1, Article ID 106794, 7 p. (2022; Zbl 07389899) Full Text: DOI OpenURL
Mainzer, Klaus (ed.); Schuster, Peter (ed.); Schwichtenberg, Helmut (ed.) Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school “Proof and computation”, September 20–26, 2019. (English) Zbl 1486.03009 Hackensack, NJ: World Scientific (ISBN 978-981-12-3647-1/hbk; 978-981-12-3649-5/ebook). xvi, 408 p. (2022). MSC: 03-06 03Dxx 03F65 03B70 00B25 PDF BibTeX XML Cite \textit{K. Mainzer} (ed.) et al., Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school ``Proof and computation'', September 20--26, 2019. Hackensack, NJ: World Scientific (2022; Zbl 1486.03009) Full Text: DOI OpenURL
Romano, Daniel Abraham The third isomorphism theorem for implicative semigroups with apartness. (English) Zbl 07540049 Bull. Int. Math. Virtual Inst. 11, No. 3, 443-449 (2021). MSC: 03F65 20M12 06F05 06A99 PDF BibTeX XML Cite \textit{D. A. Romano}, Bull. Int. Math. Virtual Inst. 11, No. 3, 443--449 (2021; Zbl 07540049) Full Text: DOI OpenURL
Romano, Daniel A. UP-algebra with apartness. (English) Zbl 07539998 J. Int. Math. Virtual Inst. 11, No. 1, 17-33 (2021). MSC: 03F65 03G25 PDF BibTeX XML Cite \textit{D. A. Romano}, J. Int. Math. Virtual Inst. 11, No. 1, 17--33 (2021; Zbl 07539998) Full Text: DOI OpenURL
Wiesnet, Franziskus An algorithmic version of Zariski’s lemma. (English) Zbl 07495193 De Mol, Liesbeth (ed.) et al., Connecting with computability. 17th conference on computability in Europe, CiE 2021, virtual event, Ghent, Belgium, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12813, 469-482 (2021). Reviewer: Alborz Azarang (Ahvaz) MSC: 14A25 03F65 12F05 PDF BibTeX XML Cite \textit{F. Wiesnet}, Lect. Notes Comput. Sci. 12813, 469--482 (2021; Zbl 07495193) Full Text: DOI OpenURL
Dummett, Michael Sense and reference from a constructivist standpoint. (English) Zbl 07482183 Bull. Symb. Log. 27, No. 4, 485-500 (2021). MSC: 03-06 PDF BibTeX XML Cite \textit{M. Dummett}, Bull. Symb. Log. 27, No. 4, 485--500 (2021; Zbl 07482183) Full Text: DOI OpenURL
Romano, Daniel A. On co-filters in semigroups with apartness. (English) Zbl 07477621 Kragujevac J. Math. 45, No. 4, 607-613 (2021). MSC: 03F65 20M99 06F05 06D99 PDF BibTeX XML Cite \textit{D. A. Romano}, Kragujevac J. Math. 45, No. 4, 607--613 (2021; Zbl 07477621) Full Text: DOI Link OpenURL
Moschovakis, Joan Rand Solovay’s relative consistency proof for FIM and BI. (English) Zbl 07473064 Notre Dame J. Formal Logic 62, No. 4, 661-667 (2021). MSC: 03-03 01A61 03B30 03F25 03F50 03F55 PDF BibTeX XML Cite \textit{J. R. Moschovakis}, Notre Dame J. Formal Logic 62, No. 4, 661--667 (2021; Zbl 07473064) 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
Arai, Toshiyasu (ed.); Kikuchi, Makoto (ed.); Kuroda, Satoru (ed.); Okada, Mitsuhiro (ed.); Yorioka, Teruyuki (ed.) Advances in mathematical logic. Dedicated to the memory of Professor Gaisi Takeuti, SAML 2018. Selected, revised contributions based on the presentations at the symposium, Kobe, Japan, September 18–20, 2018. (English) Zbl 1479.03003 Springer Proceedings in Mathematics & Statistics 369. Singapore: Springer (ISBN 978-981-16-4172-5/hbk; 978-981-16-4173-2/ebook). xi, 229 p. (2021). MSC: 03-06 03Bxx 03Exx 03Fxx 00B25 00B30 PDF BibTeX XML Cite \textit{T. Arai} (ed.) et al., Advances in mathematical logic. Dedicated to the memory of Professor Gaisi Takeuti, SAML 2018. Selected, revised contributions based on the presentations at the symposium, Kobe, Japan, September 18--20, 2018. Singapore: Springer (2021; Zbl 1479.03003) Full Text: DOI OpenURL
Wessel, Daniel A note on connected reduced rings. (English) Zbl 1481.13016 J. Commut. Algebra 13, No. 4, 583-588 (2021). Reviewer: Marco Benini (Buccinasco) MSC: 13B25 03F65 PDF BibTeX XML Cite \textit{D. Wessel}, J. Commut. Algebra 13, No. 4, 583--588 (2021; Zbl 1481.13016) Full Text: DOI Link OpenURL
Forster, Yannick; Kirst, Dominik; Wehr, Dominik Completeness theorems for first-order logic analysed in constructive type theory. Extended version. (English) Zbl 07471462 J. Log. Comput. 31, No. 1, 112-151 (2021). MSC: 03F50 03B35 03B38 03B10 PDF BibTeX XML Cite \textit{Y. Forster} et al., J. Log. Comput. 31, No. 1, 112--151 (2021; Zbl 07471462) Full Text: DOI OpenURL
Cordes, Moritz Calculizing classical Inferential erotetic logic. (English) Zbl 07469716 Rev. Symb. Log. 14, No. 4, 1066-1087 (2021). MSC: 03F99 PDF BibTeX XML Cite \textit{M. Cordes}, Rev. Symb. Log. 14, No. 4, 1066--1087 (2021; Zbl 07469716) Full Text: DOI OpenURL
Fermüller, Christian G. Connecting sequent calculi with Lorenzen-style dialogue games. (English) Zbl 07465330 Heinzmann, Gerhard (ed.) et al., Paul Lorenzen – mathematician and logician. Contributions presented at the workshop, Konstanz, Germany, March 8–9, 2018. Cham: Springer. Log. Epistemol. Unity Sci. 51, 115-141 (2021). Reviewer: Volker Peckhaus (Paderborn) MSC: 03B47 03B20 01A60 03A05 03-03 03F52 91A05 PDF BibTeX XML Cite \textit{C. G. Fermüller}, Log. Epistemol. Unity Sci. 51, 115--141 (2021; Zbl 07465330) Full Text: DOI OpenURL
Schuster, Peter; Wessel, Daniel Syntax for semantics: Krull’s maximal ideal theorem. (English) Zbl 07465328 Heinzmann, Gerhard (ed.) et al., Paul Lorenzen – mathematician and logician. Contributions presented at the workshop, Konstanz, Germany, March 8–9, 2018. Cham: Springer. Log. Epistemol. Unity Sci. 51, 77-102 (2021). Reviewer: Radoslav M. Dimitrić (New York) MSC: 13-03 03E25 13C15 01A60 03A05 03E25 03F65 01A70 13A15 13E05 PDF BibTeX XML Cite \textit{P. Schuster} and \textit{D. Wessel}, Log. Epistemol. Unity Sci. 51, 77--102 (2021; Zbl 07465328) Full Text: DOI OpenURL
Coquand, Thierry Lorenzen and constructive mathematics. (English) Zbl 07465326 Heinzmann, Gerhard (ed.) et al., Paul Lorenzen – mathematician and logician. Contributions presented at the workshop, Konstanz, Germany, March 8–9, 2018. Cham: Springer. Log. Epistemol. Unity Sci. 51, 47-61 (2021). Reviewer: Volker Peckhaus (Paderborn) MSC: 03-03 03F50 03F60 01A60 01A70 03A05 03F03 03F45 06-03 28-03 PDF BibTeX XML Cite \textit{T. Coquand}, Log. Epistemol. Unity Sci. 51, 47--61 (2021; Zbl 07465326) Full Text: DOI OpenURL
Klonowski, Mateusz Axiomatization of some basic and modal Boolean connexive logics. (English) Zbl 07462130 Log. Univers. 15, No. 4, 517-536 (2021). MSC: 03-02 03B45 03B60 03C30 03C50 03C90 03F99 PDF BibTeX XML Cite \textit{M. Klonowski}, Log. Univers. 15, No. 4, 517--536 (2021; Zbl 07462130) Full Text: DOI OpenURL
Nyberg Brodda, Carl-Fredrik Book review of: M. Hils and F. Loeser, A first journey through logic. (English) Zbl 1480.00031 Lond. Math. Soc., Newsl. 2021, No. 496, 50-51 (2021). MSC: 00A17 03-01 03B10 03Exx 03Fxx PDF BibTeX XML Cite \textit{C.-F. Nyberg Brodda}, Lond. Math. Soc., Newsl. 2021, No. 496, 50--51 (2021; Zbl 1480.00031) Full Text: Link OpenURL
Kolmakov, E. A. On a strengthening of the non-isomorphism theorem for provability algebras. (English. Russian original) Zbl 07427861 Dokl. Math. 104, No. 1, 180-183 (2021); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 499, 26-30 (2021). MSC: 03Fxx 03Bxx 03Gxx PDF BibTeX XML Cite \textit{E. A. Kolmakov}, Dokl. Math. 104, No. 1, 180--183 (2021; Zbl 07427861); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 499, 26--30 (2021) Full Text: DOI OpenURL
Booij, Auke B. Extensional constructive real analysis via locators. (English) Zbl 07408496 Math. Struct. Comput. Sci. 31, No. 1, 64-88 (2021). MSC: 03B38 03F60 PDF BibTeX XML Cite \textit{A. B. Booij}, Math. Struct. Comput. Sci. 31, No. 1, 64--88 (2021; Zbl 07408496) Full Text: DOI arXiv OpenURL
Iemhoff, Rosalie; Passmann, Robert Logics of intuitionistic Kripke-Platek set theory. (English) Zbl 07404814 Ann. Pure Appl. Logic 172, No. 10, Article ID 103014, 22 p. (2021). Reviewer: Peter M. Schuster (Verona) MSC: 03F50 03F55 03B20 03B55 03E70 PDF BibTeX XML Cite \textit{R. Iemhoff} and \textit{R. Passmann}, Ann. Pure Appl. Logic 172, No. 10, Article ID 103014, 22 p. (2021; Zbl 07404814) Full Text: DOI arXiv OpenURL
Kornev, R. A. A semilattice of degrees of computable metrics. (English. Russian original) Zbl 07401177 Sib. Math. J. 62, No. 5, 822-841 (2021); translation from Sib. Mat. Zh. 62, No. 5, 1013-1038 (2021). MSC: 03Dxx 03Fxx 68Qxx PDF BibTeX XML Cite \textit{R. A. Kornev}, Sib. Math. J. 62, No. 5, 822--841 (2021; Zbl 07401177); translation from Sib. Mat. Zh. 62, No. 5, 1013--1038 (2021) Full Text: DOI OpenURL
Tyulenev, A. V. An example of noncomputability of exponents of a system of ordinary differential equations. (English. Russian original) Zbl 07392395 Mosc. Univ. Math. Bull. 76, No. 2, 53-59 (2021); translation from Vestn. Mosk. Univ., Ser. I 76, No. 2, 10-15 (2021). MSC: 03Dxx 03-XX 03Fxx PDF BibTeX XML Cite \textit{A. V. Tyulenev}, Mosc. Univ. Math. Bull. 76, No. 2, 53--59 (2021; Zbl 07392395); translation from Vestn. Mosk. Univ., Ser. I 76, No. 2, 10--15 (2021) Full Text: DOI OpenURL
Da Ré, Bruno Structural weakening and paradoxes. (English) Zbl 07391981 Notre Dame J. Formal Logic 62, No. 2, 369-398 (2021). MSC: 03B47 03B80 03F99 PDF BibTeX XML Cite \textit{B. Da Ré}, Notre Dame J. Formal Logic 62, No. 2, 369--398 (2021; Zbl 07391981) Full Text: DOI OpenURL
Conidis, Chris J. The complexity of module radicals. (English) Zbl 07391980 Notre Dame J. Formal Logic 62, No. 2, 353-368 (2021). MSC: 03D80 03F65 PDF BibTeX XML Cite \textit{C. J. Conidis}, Notre Dame J. Formal Logic 62, No. 2, 353--368 (2021; Zbl 07391980) Full Text: DOI OpenURL
Muravitsky, Alexei On nonmonotonic consequence relations. (English) Zbl 07380930 Log. Univers. 15, No. 2, 227-249 (2021). MSC: 03B05 03B99 03F99 PDF BibTeX XML Cite \textit{A. Muravitsky}, Log. Univers. 15, No. 2, 227--249 (2021; Zbl 07380930) Full Text: DOI OpenURL
Glinskih, Ludmila; Itsykson, Dmitry On tseitin formulas, read-once branching programs and treewidth. (English) Zbl 07377746 Theory Comput. Syst. 65, No. 3, 613-633 (2021). MSC: 68Qxx 03Fxx 68Txx PDF BibTeX XML Cite \textit{L. Glinskih} and \textit{D. Itsykson}, Theory Comput. Syst. 65, No. 3, 613--633 (2021; Zbl 07377746) Full Text: DOI OpenURL
Burnik, Konrad; Iljazović, Zvonko Dense computability structures. (English) Zbl 07371884 J. Complexity 65, Article ID 101543, 24 p. (2021). MSC: 03Fxx 68Qxx 03Dxx PDF BibTeX XML Cite \textit{K. Burnik} and \textit{Z. Iljazović}, J. Complexity 65, Article ID 101543, 24 p. (2021; Zbl 07371884) Full Text: DOI OpenURL
Fujiwara, Makoto Weihrauch and constructive reducibility between existence statements. (English) Zbl 07363323 Computability 10, No. 1, 17-30 (2021). MSC: 03Dxx PDF BibTeX XML Cite \textit{M. Fujiwara}, Computability 10, No. 1, 17--30 (2021; Zbl 07363323) Full Text: DOI OpenURL
Petrakis, Iosif Direct spectra of Bishop spaces and their limits. (English) Zbl 1473.03038 Log. Methods Comput. Sci. 17, No. 2, Paper No. 4, 50 p. (2021). Reviewer: Daniel Romano (Banja Luka) MSC: 03F65 03F60 PDF BibTeX XML Cite \textit{I. Petrakis}, Log. Methods Comput. Sci. 17, No. 2, Paper No. 4, 50 p. (2021; Zbl 1473.03038) Full Text: arXiv Link OpenURL
Chan, Yuen-Kwok Foundations of constructive probability theory. (English) Zbl 07344237 Encyclopedia of Mathematics and its Applications 177. Cambridge: Cambridge University Press (ISBN 978-1-108-83543-5/hbk; 978-1-108-88401-3/ebook). xiii, 612 p. (2021). Reviewer: Iosif Petrakis (München) MSC: 60-02 03-02 60A05 60Gxx 03F65 PDF BibTeX XML Cite \textit{Y.-K. Chan}, Foundations of constructive probability theory. Cambridge: Cambridge University Press (2021; Zbl 07344237) Full Text: DOI arXiv OpenURL
Rewitzky, Ingrid Book review of: J. Golińska-Pilarek (ed.) and M. Zawidzki (ed.), Ewa Orłowska on relational methods in logic and computer science. (English) Zbl 1460.00019 Stud. Log. 109, No. 2, 443-445 (2021). MSC: 00A17 03-06 03C60 03Fxx 03B70 00B15 PDF BibTeX XML Cite \textit{I. Rewitzky}, Stud. Log. 109, No. 2, 443--445 (2021; Zbl 1460.00019) Full Text: DOI OpenURL
Aguirre, Anthony (ed.); Merali, Zeeya (ed.); Sloan, David (ed.) Undecidability, uncomputability, and unpredictability. (English) Zbl 1469.81002 The Frontiers Collection. Cham: Springer (ISBN 978-3-030-70353-0/hbk; 978-3-030-70354-7/ebook). vii, 180 p. (2021). MSC: 81-06 81Pxx 03Fxx 00A79 00B15 PDF BibTeX XML Cite \textit{A. Aguirre} (ed.) et al., Undecidability, uncomputability, and unpredictability. Cham: Springer (2021; Zbl 1469.81002) Full Text: DOI OpenURL
Rybakov, Vladimir V. A note on computation MTs with time in instructions or with tapes of fixed length. (English) Zbl 07334144 J. Sib. Fed. Univ., Math. Phys. 14, No. 1, 69-73 (2021). MSC: 03Fxx 03Hxx 03Bxx 03Dxx PDF BibTeX XML Cite \textit{V. V. Rybakov}, J. Sib. Fed. Univ., Math. Phys. 14, No. 1, 69--73 (2021; Zbl 07334144) Full Text: DOI MNR OpenURL
Hamkins, Joel David Proof and the art of mathematics. Examples and extensions. (English) Zbl 07330885 Cambridge, MA: MIT Press (ISBN 978-0-262-54220-3/pbk). 132 p. (2021). MSC: 03-01 03Fxx 01A80 PDF BibTeX XML Cite \textit{J. D. Hamkins}, Proof and the art of mathematics. Examples and extensions. Cambridge, MA: MIT Press (2021; Zbl 07330885) OpenURL
Pattinson, Dirk; Mohammadian, Mina Constructive domains with classical witnesses. (English) Zbl 07327952 Log. Methods Comput. Sci. 17, No. 1, Paper No. 19, 30 p. (2021). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{D. Pattinson} and \textit{M. Mohammadian}, Log. Methods Comput. Sci. 17, No. 1, Paper No. 19, 30 p. (2021; Zbl 07327952) Full Text: arXiv Link OpenURL
Rahman, Shahid; Zarepour, Mohammad Saleh On descriptional propositions in Ibn Sīnā: elements for a logical analysis. (English) Zbl 1473.03007 Mojtahedi, Mojtaba (ed.) et al., Mathematics, logic, and their philosophies. Essays in honour of Mohammad Ardeshir. Cham: Springer. Log. Epistemol. Unity Sci. 49, 411-431 (2021). Reviewer: Jim Mackenzie (Sydney) MSC: 03A05 03B05 03B45 03B38 03-03 01A30 PDF BibTeX XML Cite \textit{S. Rahman} and \textit{M. S. Zarepour}, Log. Epistemol. Unity Sci. 49, 411--431 (2021; Zbl 1473.03007) Full Text: DOI Link OpenURL
Bell, John L. Intuitionistic/constructive accounts of the continuum today. (English) Zbl 1467.03032 Shapiro, Stewart (ed.) et al., The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press. 476-501 (2021). Reviewer: Antonín Slavík (Praha) MSC: 03F60 03-03 01A60 26E40 26E35 03F55 03A05 PDF BibTeX XML Cite \textit{J. L. Bell}, in: The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press. 476--501 (2021; Zbl 1467.03032) Full Text: DOI 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). Reviewer: Danko Ilik (Paris) 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
Wares, Arsalan Challenging problems in Euclidean geometry. (English) Zbl 1475.97018 Int. J. Math. Educ. Sci. Technol. 51, No. 4, 626-630 (2020). MSC: 97G40 51M04 PDF BibTeX XML Cite \textit{A. Wares}, Int. J. Math. Educ. Sci. Technol. 51, No. 4, 626--630 (2020; Zbl 1475.97018) Full Text: DOI OpenURL
Scambler, Chris An indeterminate universe of sets. (English) Zbl 1475.03046 Synthese 197, No. 2, 545-573 (2020). MSC: 03A05 03F50 03E70 PDF BibTeX XML Cite \textit{C. Scambler}, Synthese 197, No. 2, 545--573 (2020; Zbl 1475.03046) Full Text: DOI OpenURL
Buss, Samuel R. (ed.); Iemhoff, Rosalie (ed.); Kohlenbach, Ulrich (ed.); Rathjen, Michael (ed.) Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8–14, 2020 (hybrid meeting). (English) Zbl 1473.00044 Oberwolfach Rep. 17, No. 4, 1693-1757 (2020). MSC: 00B05 00B25 03-06 03Fxx PDF BibTeX XML Cite \textit{S. R. Buss} (ed.) et al., Oberwolfach Rep. 17, No. 4, 1693--1757 (2020; Zbl 1473.00044) Full Text: DOI OpenURL
Mitrović, Melanija; Silvestrov, Sergei Isomorphism theorems for basic constructive algebraic structures with special emphasize on constructive semigroups with apartness – an overview. (English) Zbl 07392809 Silvestrov, Sergei (ed.) et al., Algebraic structures and applications. Selected papers based on the presentations at the international conference on stochastic processes and algebraic structures – from theory towards applications, SPAS 2017, Västerås and Stockholm, Sweden, October 4–6, 2017. Cham: Springer. Springer Proc. Math. Stat. 317, 653-686 (2020). MSC: 20M15 03F65 PDF BibTeX XML Cite \textit{M. Mitrović} and \textit{S. Silvestrov}, Springer Proc. Math. Stat. 317, 653--686 (2020; Zbl 07392809) Full Text: DOI OpenURL
Ishihara, Hajime The constructive Hahn-Banach theorem, revisited. (English) Zbl 07377989 Rezuş, Adrian (ed.), Contemporary logic and computing. London: College Publications. Landsc. Log. 1, 638-663 (2020). MSC: 03Bxx 03Dxx PDF BibTeX XML Cite \textit{H. Ishihara}, Landsc. Log. 1, 638--663 (2020; Zbl 07377989) OpenURL
Romano, Daniel A. Implicative semigroups with apartness, a review. (English) Zbl 1474.03151 J. Int. Math. Virtual Inst. 10, No. 2, 251-270 (2020). MSC: 03F65 20M12 06F05 PDF BibTeX XML Cite \textit{D. A. Romano}, J. Int. Math. Virtual Inst. 10, No. 2, 251--270 (2020; Zbl 1474.03151) OpenURL
Romano, Daniel A. A new co-filter in implicative semigroups with apartness. (English) Zbl 1474.03150 Acta Univ. Apulensis, Math. Inform. 64, 43-51 (2020). MSC: 03F65 20M12 06F05 PDF BibTeX XML Cite \textit{D. A. Romano}, Acta Univ. Apulensis, Math. Inform. 64, 43--51 (2020; Zbl 1474.03150) Full Text: DOI OpenURL
Romano, Daniel A. A remark on co-ideals in implicative semigroups with apartness. (English) Zbl 1474.03149 Acta Univ. Apulensis, Math. Inform. 61, 55-63 (2020). MSC: 03F65 20M12 06F05 PDF BibTeX XML Cite \textit{D. A. Romano}, Acta Univ. Apulensis, Math. Inform. 61, 55--63 (2020; Zbl 1474.03149) Full Text: DOI OpenURL
Brunet, T. D. P.; Fisher, E. Reasoning continuously: a formal construction of continuous proofs. (English) Zbl 1484.03118 Stud. Log. 108, No. 6, 1145-1160 (2020). MSC: 03F03 03F55 03F65 03A05 PDF BibTeX XML Cite \textit{T. D. P. Brunet} and \textit{E. Fisher}, Stud. Log. 108, No. 6, 1145--1160 (2020; Zbl 1484.03118) Full Text: DOI OpenURL
Maschio, Samuele; Sambin, Giovanni Topology as faithful communication through relations. (English) Zbl 07350043 Fundam. Inform. 176, No. 1, 61-78 (2020). MSC: 68-XX PDF BibTeX XML Cite \textit{S. Maschio} and \textit{G. Sambin}, Fundam. Inform. 176, No. 1, 61--78 (2020; Zbl 07350043) Full Text: DOI arXiv OpenURL
Piazza, Mario; Pulcini, Gabriele Fractional semantics for classical logic. (English) Zbl 1486.03016 Rev. Symb. Log. 13, No. 4, 810-828 (2020). MSC: 03B05 03B50 03B42 03F05 PDF BibTeX XML Cite \textit{M. Piazza} and \textit{G. Pulcini}, Rev. Symb. Log. 13, No. 4, 810--828 (2020; Zbl 1486.03016) Full Text: DOI OpenURL
Rathjen, Michael; Swan, Andrew W. Lifschitz realizability as a topological construction. (English) Zbl 1485.03222 J. Symb. Log. 85, No. 4, 1342-1375 (2020). MSC: 03E70 03F50 03F65 PDF BibTeX XML Cite \textit{M. Rathjen} and \textit{A. W. Swan}, J. Symb. Log. 85, No. 4, 1342--1375 (2020; Zbl 1485.03222) Full Text: DOI arXiv Link OpenURL
Quintero, José Andrés; Uzcátegui, Carlos Enrique Completion of premetric spaces. (English) Zbl 1468.54021 Rev. Colomb. Mat. 54, No. 1, 19-29 (2020). Reviewer: Eliza Wajch (Siedlce) MSC: 54E35 54E50 03E25 03F65 PDF BibTeX XML Cite \textit{J. A. Quintero} and \textit{C. E. Uzcátegui}, Rev. Colomb. Mat. 54, No. 1, 19--29 (2020; Zbl 1468.54021) Full Text: DOI arXiv OpenURL
Emmenegger, Jacopo; Palmgren, Erik Exact completion and constructive theories of sets. (English) Zbl 1485.03257 J. Symb. Log. 85, No. 2, 563-584 (2020). Reviewer: Amit Kuber (Kanpur) MSC: 03G30 18A35 18B25 18A15 03B38 18B05 18D15 03F55 PDF BibTeX XML Cite \textit{J. Emmenegger} and \textit{E. Palmgren}, J. Symb. Log. 85, No. 2, 563--584 (2020; Zbl 1485.03257) Full Text: DOI arXiv OpenURL
Diener, Hannes; Hendtlass, Matthew Differentiating convex functions constructively. (English) Zbl 1472.03068 J. Log. Anal. 12, Paper No. 8, 11 p. (2020). Reviewer: Vladik Ya. Kreinovich (El Paso) MSC: 03F60 PDF BibTeX XML Cite \textit{H. Diener} and \textit{M. Hendtlass}, J. Log. Anal. 12, Paper No. 8, 11 p. (2020; Zbl 1472.03068) Full Text: DOI 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
Rushton, Nelson A constructive framework for teaching discrete mathematics. (English) Zbl 07285502 Kosheleva, Olga (ed.) et al., Beyond traditional probabilistic data processing techniques: interval, fuzzy etc. methods and their applications. Dedicated to Vladik Kreinovich on the occasion of his 65th birthday. Cham: Springer. Stud. Comput. Intell. 835, 21-46 (2020). MSC: 68T37 PDF BibTeX XML Cite \textit{N. Rushton}, Stud. Comput. Intell. 835, 21--46 (2020; Zbl 07285502) Full Text: DOI OpenURL
Halbeisen, Lorenz; Krapf, Regula Gödel’s theorems and Zermelo’s axioms. A firm foundation of mathematics. (English) Zbl 07281928 Cham: Birkhäuser (ISBN 978-3-030-52278-0/hbk; 978-3-030-52281-0/pbk; 978-3-030-52279-7/ebook). x, 236 p. (2020). MSC: 03-01 03Bxx 03Fxx 03Exx PDF BibTeX XML Cite \textit{L. Halbeisen} and \textit{R. Krapf}, Gödel's theorems and Zermelo's axioms. A firm foundation of mathematics. Cham: Birkhäuser (2020; Zbl 07281928) Full Text: DOI OpenURL
Nemoto, Takako A constructive proof of the dense existence of nowhere-differentiable functions in \(C[0,1]\). (English) Zbl 1485.03252 Computability 9, No. 3-4, 315-326 (2020). MSC: 03F60 26A27 26A21 PDF BibTeX XML Cite \textit{T. Nemoto}, Computability 9, No. 3--4, 315--326 (2020; Zbl 1485.03252) Full Text: DOI OpenURL
Dzhafarov, Damir D.; Goh, Jun Le; Hirschfeldt, Denis R.; Patey, Ludovic; Pauly, Arno Ramsey’s theorem and products in the Weihrauch degrees. (English) Zbl 1485.03026 Computability 9, No. 2, 85-110 (2020). MSC: 03B30 03D78 03D30 05D10 03F60 PDF BibTeX XML Cite \textit{D. D. Dzhafarov} et al., Computability 9, No. 2, 85--110 (2020; Zbl 1485.03026) Full Text: DOI arXiv OpenURL
Larchey-Wendling, Dominique Constructive decision via redundancy-free proof-search. (English) Zbl 1468.03015 J. Autom. Reasoning 64, No. 7, 1197-1219 (2020). MSC: 03B35 03B25 03B47 03F03 68V20 PDF BibTeX XML Cite \textit{D. Larchey-Wendling}, J. Autom. Reasoning 64, No. 7, 1197--1219 (2020; Zbl 1468.03015) Full Text: DOI HAL OpenURL
Fernández-Duque, David; Shafer, Paul; Yokoyama, Keita Ekeland’s variational principle in weak and strong systems of arithmetic. (English) Zbl 1467.03006 Sel. Math., New Ser. 26, No. 5, Paper No. 68, 37 p. (2020). Reviewer: Anton Freund (Darmstadt) MSC: 03B30 03F35 03F60 58E30 PDF BibTeX XML Cite \textit{D. Fernández-Duque} et al., Sel. Math., New Ser. 26, No. 5, Paper No. 68, 37 p. (2020; Zbl 1467.03006) Full Text: DOI arXiv OpenURL
Maschio, Samuele Natural density and probability, constructively. (English) Zbl 1459.03095 Rep. Math. Logic 55, 41-59 (2020). Reviewer: Daniel Romano (Banja Luka) MSC: 03F65 60A05 PDF BibTeX XML Cite \textit{S. Maschio}, Rep. Math. Logic 55, 41--59 (2020; Zbl 1459.03095) Full Text: DOI arXiv OpenURL
Arai, Toshiyasu Ordinal analysis with an introduction to proof theory. (English) Zbl 07243781 Logic in Asia: Studia Logica Library. Singapore: Springer (ISBN 978-981-15-6458-1/hbk; 978-981-15-6461-1/pbk; 978-981-15-6459-8/ebook). xvi, 313 p. (2020). MSC: 03-01 03Fxx PDF BibTeX XML Cite \textit{T. Arai}, Ordinal analysis with an introduction to proof theory. Singapore: Springer (2020; Zbl 07243781) Full Text: DOI OpenURL
Kahle, Reinhard (ed.); Rathjen, Michael (ed.) The legacy of Kurt Schütte. (English) Zbl 1470.03011 Cham: Springer (ISBN 978-3-030-49423-0/hbk; 978-3-030-49426-1/pbk; 978-3-030-49424-7/ebook). xix, 502 p. (2020). MSC: 03-06 03F50 03A05 03-03 01A60 01A70 00B15 00B30 PDF BibTeX XML Cite \textit{R. Kahle} (ed.) and \textit{M. Rathjen} (ed.), The legacy of Kurt Schütte. Cham: Springer (2020; Zbl 1470.03011) Full Text: DOI OpenURL
Lombardi, Henri Spectral spaces versus distributive lattices: a dictionary. (English) Zbl 1440.03060 Facchini, Alberto (ed.) et al., Advances in rings, modules and factorizations. Selected papers based on the presentations at the international conference on rings and factorizations, Graz, Austria, February 19–23, 2018. Cham: Springer. Springer Proc. Math. Stat. 321, 223-245 (2020). MSC: 03F65 06D99 14A15 13B21 PDF BibTeX XML Cite \textit{H. Lombardi}, Springer Proc. Math. Stat. 321, 223--245 (2020; Zbl 1440.03060) Full Text: DOI arXiv OpenURL
Weingartner, Paul (ed.); Leeb, Hans-Peter (ed.) Kreisel’s interests. On the foundations of logic and mathematics. Contributions of the conference, Salzburg, Austria, August 13–14, 2018. (English) Zbl 1456.03005 Tributes 41. London: College Publications (ISBN 978-1-84890-330-2). viii, 171 p. (2020). MSC: 03-06 03Bxx 03Fxx 00B25 00B30 PDF BibTeX XML Cite \textit{P. Weingartner} (ed.) and \textit{H.-P. Leeb} (ed.), Kreisel's interests. On the foundations of logic and mathematics. Contributions of the conference, Salzburg, Austria, August 13--14, 2018. London: College Publications (2020; Zbl 1456.03005) OpenURL
Frank, Matthew Interpolating between choices for the approximate intermediate value theorem. (English) Zbl 07226007 Log. Methods Comput. Sci. 16, No. 3, Paper No. 5, 4 p. (2020). MSC: 03B70 68-XX 03F60 03D78 03E25 26A15 26E40 PDF BibTeX XML Cite \textit{M. Frank}, Log. Methods Comput. Sci. 16, No. 3, Paper No. 5, 4 p. (2020; Zbl 07226007) Full Text: arXiv Link OpenURL
Nemoto, Takako Finite sets and infinite sets in weak intuitionistic arithmetic. (English) Zbl 1481.03066 Arch. Math. Logic 59, No. 5-6, 607-657 (2020). MSC: 03F50 03F30 PDF BibTeX XML Cite \textit{T. Nemoto}, Arch. Math. Logic 59, No. 5--6, 607--657 (2020; Zbl 1481.03066) Full Text: DOI OpenURL
Schmidt, Diana Well-partial orderings and their maximal order types. (English) Zbl 07218748 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, 351-391 (2020). MSC: 03Fxx 03Exx 03Dxx PDF BibTeX XML Cite \textit{D. Schmidt}, Trends Log. Stud. Log. Libr. 53, 351--391 (2020; Zbl 07218748) Full Text: DOI OpenURL
Steila, Silvia A combinatorial bound for a restricted form of the termination theorem. (English) Zbl 07218746 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, 321-338 (2020). MSC: 03Bxx 03Fxx 05Dxx PDF BibTeX XML Cite \textit{S. Steila}, Trends Log. Stud. Log. Libr. 53, 321--338 (2020; Zbl 07218746) Full Text: DOI OpenURL
Powell, Thomas Well quasi-orders and the functional interpretation. (English) Zbl 07218744 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, 221-269 (2020). MSC: 03Fxx PDF BibTeX XML Cite \textit{T. Powell}, Trends Log. Stud. Log. Libr. 53, 221--269 (2020; Zbl 07218744) Full Text: DOI arXiv OpenURL
Krombholz, Martin; Rathjen, Michael Upper bounds on the graph minor theorem. (English) Zbl 07218741 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, 145-159 (2020). MSC: 03Fxx PDF BibTeX XML Cite \textit{M. Krombholz} and \textit{M. Rathjen}, Trends Log. Stud. Log. Libr. 53, 145--159 (2020; Zbl 07218741) Full Text: DOI arXiv OpenURL
Mines, Ray; Richman, Fred; Ruitenburg, Wim A course in constructive algebra. Translated from the English by Henri Lombardi and Stefan Neuwirth. (Un cours d’algèbre constructive.) (French) Zbl 1462.03003 Didactiques. Mathématiques. Besançon: Presses Universitaires de Franche-Comté (ISBN 978-2-84867-782-8/pbk). xii, 399 p. (2020). Reviewer: Ali Benhissi (Monastir) MSC: 03-01 03F65 13-01 13E05 PDF BibTeX XML Cite \textit{R. Mines} et al., Un cours d'algèbre constructive. Besançon: Presses Universitaires de Franche-Comté (2020; Zbl 1462.03003) OpenURL
Henry, Simon Weak model categories in classical and constructive mathematics. (English) Zbl 1445.55013 Theory Appl. Categ. 35, 875-958 (2020). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 55U35 55U40 18N40 18N50 18N65 03F65 PDF BibTeX XML Cite \textit{S. Henry}, Theory Appl. Categ. 35, 875--958 (2020; Zbl 1445.55013) Full Text: arXiv Link OpenURL
Kushida, Hirohiko On the constructive truth and falsity in Peano arithmetic. (English) Zbl 1485.03250 Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2020, Deerfield Beach, FL, USA, January 04–07, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11972, 75-84 (2020). MSC: 03F50 03F30 PDF BibTeX XML Cite \textit{H. Kushida}, Lect. Notes Comput. Sci. 11972, 75--84 (2020; Zbl 1485.03250) Full Text: DOI arXiv OpenURL