Chan, Yuen-Kwok Foundations of constructive probability theory (to appear). (English) Zbl 07344237 Encyclopedia of Mathematics and its Applications 177. Cambridge: Cambridge University Press (ISBN 978-1-108-83543-5/hbk). (2021). MSC: 60-02 60A05 60Gxx 03F65 PDF BibTeX XML
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 07339962 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 07339962) Full Text: DOI
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)
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 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: Link arXiv
Bell, John L. Intuitionistic/constructive accounts of the continuum today. (English) Zbl 07309831 Shapiro, Stewart (ed.) et al., The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press (ISBN 978-0-19-880964-7/hbk). 476-501 (2021). Reviewer: Antonín Slavík (Praha) MSC: 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 07309831) Full Text: DOI
Brattka, Vasco; Gherardi, Guido Completion of choice. (English) Zbl 07300475 Ann. Pure Appl. Logic 172, No. 3, Article ID 102914, 31 p. (2021). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03D30 03D78 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 07300475) Full Text: DOI
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
Romano, Daniel A. A new co-filter in implicative semigroups with apartness. (English) Zbl 07351437 Acta Univ. Apulensis, Math. Inform. 64, 43-51 (2020). MSC: 03F65 20M12 06F05 06A06 06A12 PDF BibTeX XML Cite \textit{D. A. Romano}, Acta Univ. Apulensis, Math. Inform. 64, 43--51 (2020; Zbl 07351437) Full Text: DOI
Romano, Daniel A. A remark on co-ideals in implicative semigroups with apartness. (English) Zbl 07351407 Acta Univ. Apulensis, Math. Inform. 61, 55-63 (2020). MSC: 03F65 20M12 06F05 06A06 06A12 PDF BibTeX XML Cite \textit{D. A. Romano}, Acta Univ. Apulensis, Math. Inform. 61, 55--63 (2020; Zbl 07351407) Full Text: DOI
Maschio, Samuele; Sambin, Giovanni Topology as faithful communication through relations. (English) Zbl 07350043 Fundam. Inform. 176, No. 1, 61-78 (2020). MSC: 68 PDF BibTeX XML Cite \textit{S. Maschio} and \textit{G. Sambin}, Fundam. Inform. 176, No. 1, 61--78 (2020; Zbl 07350043) Full Text: DOI
Piazza, Mario; Pulcini, Gabriele Fractional semantics for classical logic. (English) Zbl 07347060 Rev. Symb. Log. 13, No. 4, 810-828 (2020). MSC: 03B05 03B50 03B42 PDF BibTeX XML Cite \textit{M. Piazza} and \textit{G. Pulcini}, Rev. Symb. Log. 13, No. 4, 810--828 (2020; Zbl 07347060) Full Text: DOI
Brattka, Vasco; Gherardi, Guido Weihrauch goes Brouwerian. (English) Zbl 07333596 J. Symb. Log. 85, No. 4, 1614-1653 (2020). MSC: 03B30 03D30 03D78 03F52 03F60 06D20 PDF BibTeX XML Cite \textit{V. Brattka} and \textit{G. Gherardi}, J. Symb. Log. 85, No. 4, 1614--1653 (2020; Zbl 07333596) Full Text: DOI
Arai, Toshiyasu A simplified ordinal analysis of first-order reflection. (English) Zbl 07326438 J. Symb. Log. 85, No. 3, 1163-1185 (2020). MSC: 03F99 PDF BibTeX XML Cite \textit{T. Arai}, J. Symb. Log. 85, No. 3, 1163--1185 (2020; Zbl 07326438) Full Text: DOI
Quintero, José Andrés; Uzcátegui, Carlos Enrique Completion of premetric spaces. (English) Zbl 07325566 Rev. Colomb. Mat. 54, No. 1, 19-29 (2020). MSC: 54E35 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 07325566) Full Text: DOI
Emmenegger, Jacopo; Palmgren, Erik Exact completion and constructive theories of sets. (English) Zbl 07303633 J. Symb. Log. 85, No. 2, 563-584 (2020). Reviewer: William Javier Zuluaga Botero (Nice) MSC: 03G30 03B38 18B05 18D15 03F55 18A35 PDF BibTeX XML Cite \textit{J. Emmenegger} and \textit{E. Palmgren}, J. Symb. Log. 85, No. 2, 563--584 (2020; Zbl 07303633) Full Text: DOI
Diener, Hannes; Hendtlass, Matthew Differentiating convex functions constructively. (English) Zbl 07299942 J. Log. Anal. 12, Article 8, 11 p. (2020). MSC: 03F60 PDF BibTeX XML Cite \textit{H. Diener} and \textit{M. Hendtlass}, J. Log. Anal. 12, Article 8, 11 p. (2020; Zbl 07299942) Full Text: DOI
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 (ISBN 978-3-030-31040-0/hbk; 978-3-030-31043-1/pbk; 978-3-030-31041-7/ebook). Studies in Computational Intelligence 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
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-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
Nemoto, Takako A constructive proof of the dense existence of nowhere-differentiable functions in \(C[0,1]\). (English) Zbl 07271578 Computability 9, No. 3-4, 315-326 (2020). MSC: 03D PDF BibTeX XML Cite \textit{T. Nemoto}, Computability 9, No. 3--4, 315--326 (2020; Zbl 07271578) Full Text: DOI
Fernández-Duque, David; Shafer, Paul; Yokoyama, Keita Ekeland’s variational principle in weak and strong systems of arithmetic. (English) Zbl 07260158 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 07260158) Full Text: DOI
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
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-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
Kahle, Reinhard (ed.); Rathjen, Michael (ed.) The legacy of Kurt Schütte. (English) Zbl 07243240 Cham: Springer (ISBN 978-3-030-49423-0/hbk; 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 07243240) Full Text: DOI
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
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)
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 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: Link arXiv
Nemoto, Takako Finite sets and infinite sets in weak intuitionistic arithmetic. (English) Zbl 07222136 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 07222136) Full Text: DOI
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 07217919 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: 03F65 13-01 03-01 PDF BibTeX XML Cite \textit{R. Mines} et al., Un cours d'algèbre constructive. Besançon: Presses Universitaires de Franche-Comté (2020; Zbl 07217919)
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: Link
Balkanski, Eric; Leme, Renato Paes On the construction of substitutes. (English) Zbl 1434.90164 Math. Oper. Res. 45, No. 1, 272-291 (2020). MSC: 90C27 91B26 PDF BibTeX XML Cite \textit{E. Balkanski} and \textit{R. P. Leme}, Math. Oper. Res. 45, No. 1, 272--291 (2020; Zbl 1434.90164) Full Text: DOI
Ciraulo, Francesco; Contente, Michele Overlap algebras: a constructive look at complete Boolean algebras. (English) Zbl 07168149 Log. Methods Comput. Sci. 16, No. 1, Paper No. 13, 15 p. (2020). MSC: 03B70 68 PDF BibTeX XML Cite \textit{F. Ciraulo} and \textit{M. Contente}, Log. Methods Comput. Sci. 16, No. 1, Paper No. 13, 15 p. (2020; Zbl 07168149) Full Text: arXiv
Bonacina, Roberta; Wessel, Daniel Ribenboim’s order extension theorem from a constructive point of view. (English) Zbl 07146749 Algebra Univers. 81, No. 1, Paper No. 5, 6 p. (2020). MSC: 06F25 03F65 03G10 PDF BibTeX XML Cite \textit{R. Bonacina} and \textit{D. Wessel}, Algebra Univers. 81, No. 1, Paper No. 5, 6 p. (2020; Zbl 07146749) Full Text: DOI
Schuster, Peter M. (ed.); Seisenberger, Monika (ed.); Weiermann, Andreas (ed.) 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. (English) Zbl 1443.03002 Trends in Logic – Studia Logica Library 53. Cham: Springer (ISBN 978-3-030-30228-3/hbk; 978-3-030-30229-0/ebook). x, 391 p. (2020). MSC: 03-06 03Exx 03Fxx 06A05 00B25 PDF BibTeX XML Cite \textit{P. M. Schuster} (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 (2020; Zbl 1443.03002) Full Text: DOI
Diller, Justus Functional interpretations. From the Dialectica interpretation to interpretations of classical and constructive set theory. (English) Zbl 06662139 Hackensack, NJ: World Scientific (ISBN 978-981-4551-39-7/hbk; 978-981-4551-41-0/ebook). viii, 237 p. (2020). MSC: 03-02 03A05 03F65 PDF BibTeX XML Cite \textit{J. Diller}, Functional interpretations. From the Dialectica interpretation to interpretations of classical and constructive set theory. Hackensack, NJ: World Scientific (2020; Zbl 06662139) Full Text: DOI
Romano, Daniel A. On co-filters of implicative semigroups with apartness. (English) Zbl 07351386 Acta Univ. Apulensis, Math. Inform. 59, 33-43 (2019). MSC: 03F65 20M12 06F05 06A06 06A12 PDF BibTeX XML Cite \textit{D. A. Romano}, Acta Univ. Apulensis, Math. Inform. 59, 33--43 (2019; Zbl 07351386) Full Text: DOI
Romano, Daniel A. Some algebraic structures with apartness, a review. (English) Zbl 07273211 J. Int. Math. Virtual Inst. 9, No. 2, 361-395 (2019). MSC: 03F65 06F05 13A15 13C05 20K99 20M18 PDF BibTeX XML Cite \textit{D. A. Romano}, J. Int. Math. Virtual Inst. 9, No. 2, 361--395 (2019; Zbl 07273211) Full Text: DOI
Romano, Daniel Abraham On coequality relation on set with apartness. (English) Zbl 07273127 Bull. Int. Math. Virtual Inst. 9, No. 1, 1-9 (2019). MSC: 03F65 03E04 20M99 PDF BibTeX XML Cite \textit{D. A. Romano}, Bull. Int. Math. Virtual Inst. 9, No. 1, 1--9 (2019; Zbl 07273127) Full Text: DOI
Veldman, Wim Book review of: E. Martino, Intuitionistic proof versus classical truth. The role of Brouwer’s creative subject in intuitionistic mathematics. (English) Zbl 1451.00059 Philos. Math. (3) 27, No. 3, 445-450 (2019). MSC: 00A17 03-02 03A05 00A30 03F50 PDF BibTeX XML Cite \textit{W. Veldman}, Philos. Math. (3) 27, No. 3, 445--450 (2019; Zbl 1451.00059) Full Text: DOI
Ishihara, Hajime; Nemoto, Takako The monotone completeness theorem in constructive reverse mathematics. (English) Zbl 07229611 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 (ISBN 978-3-030-20446-4/hbk; 978-3-030-20447-1/ebook). Synthese Library 412, 101-112 (2019). MSC: 03A05 PDF BibTeX XML Cite \textit{H. Ishihara} and \textit{T. Nemoto}, Synth. Libr. 412, 101--112 (2019; Zbl 07229611) Full Text: DOI
Moschovakis, Joan Rand Markov’s principle and subsystems of intuitionistic analysis. (English) Zbl 07186311 J. Symb. Log. 84, No. 2, 870-876 (2019). MSC: 03F50 03F55 PDF BibTeX XML Cite \textit{J. R. Moschovakis}, J. Symb. Log. 84, No. 2, 870--876 (2019; Zbl 07186311) Full Text: DOI
Konovalov, A. Yu. Generalized realizability for extensions of the language of arithmetic. (English. Russian original) Zbl 1454.03079 Mosc. Univ. Math. Bull. 74, No. 4, 167-170 (2019); translation from Vestn. Mosk. Univ., Ser. I 74, No. 4, 50-54 (2019). Reviewer: Saeed Salehi (Tabriz) MSC: 03F30 03F50 03F55 PDF BibTeX XML Cite \textit{A. Yu. Konovalov}, Mosc. Univ. Math. Bull. 74, No. 4, 167--170 (2019; Zbl 1454.03079); translation from Vestn. Mosk. Univ., Ser. I 74, No. 4, 50--54 (2019) Full Text: DOI
Kohlenbach, Ulrich On the reverse mathematics and Weihrauch complexity of moduli of regularity and uniqueness. (English) Zbl 1454.03017 Computability 8, No. 3-4, 377-387 (2019). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03F60 03F35 03D78 PDF BibTeX XML Cite \textit{U. Kohlenbach}, Computability 8, No. 3--4, 377--387 (2019; Zbl 1454.03017) Full Text: DOI
Forssell, Henrik; Lumsdaine, Peter Lefanu Constructive reflectivity principles for regular theories. (English) Zbl 07149970 J. Symb. Log. 84, No. 4, 1348-1367 (2019). MSC: 03F65 03G30 18C10 PDF BibTeX XML Cite \textit{H. Forssell} and \textit{P. L. Lumsdaine}, J. Symb. Log. 84, No. 4, 1348--1367 (2019; Zbl 07149970) Full Text: DOI
Hils, Martin; Loeser, François A first journey through logic. (English) Zbl 1445.03001 Student Mathematical Library 89. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-5272-8/pbk; 978-1-4704-5407-4/ebook). xi, 185 p. (2019). Reviewer: Mitsuru Yasuhara (Princeton) MSC: 03-01 03B10 03Exx 03Fxx PDF BibTeX XML Cite \textit{M. Hils} and \textit{F. Loeser}, A first journey through logic. Providence, RI: American Mathematical Society (AMS) (2019; Zbl 1445.03001) Full Text: DOI
Wessel, Daniel Ordering groups constructively. (English) Zbl 07122742 Commun. Algebra 47, No. 12, 4853-4873 (2019). MSC: 03F65 06F15 PDF BibTeX XML Cite \textit{D. Wessel}, Commun. Algebra 47, No. 12, 4853--4873 (2019; Zbl 07122742) Full Text: DOI
Romano, Daniel A. \(\Gamma\)-semigroups with apartness. (English) Zbl 1423.20066 Bull. Allahabad Math. Soc. 34, No. 1, 71-83 (2019). MSC: 20M99 03F65 PDF BibTeX XML Cite \textit{D. A. Romano}, Bull. Allahabad Math. Soc. 34, No. 1, 71--83 (2019; Zbl 1423.20066)
Dorais, François; Evans, Zachary; Groszek, Marcia; Harris, Seth; Slaman, Theodore Schmerl decompositions in first order arithmetic. (English) Zbl 07114353 Ann. Pure Appl. Logic 170, No. 12, Article ID 102717, 16 p. (2019). MSC: 03F50 03D25 03C62 03H15 PDF BibTeX XML Cite \textit{F. Dorais} et al., Ann. Pure Appl. Logic 170, No. 12, Article ID 102717, 16 p. (2019; Zbl 07114353) Full Text: DOI
Hirst, Jeffry L.; Mummert, Carl Using Ramsey’s theorem once. (English) Zbl 07107332 Arch. Math. Logic 58, No. 7-8, 857-866 (2019). MSC: 03B30 03F35 03F50 03D30 03F60 PDF BibTeX XML Cite \textit{J. L. Hirst} and \textit{C. Mummert}, Arch. Math. Logic 58, No. 7--8, 857--866 (2019; Zbl 07107332) Full Text: DOI arXiv
Romano, Daniel A. Co-quasiordered residuated systems: an introduction. (English) Zbl 07103252 Asian-Eur. J. Math. 12, No. 5, Article ID 1950073, 8 p. (2019). MSC: 03F65 08A02 PDF BibTeX XML Cite \textit{D. A. Romano}, Asian-Eur. J. Math. 12, No. 5, Article ID 1950073, 8 p. (2019; Zbl 07103252) Full Text: DOI
Fletcher, Peter Book review of: E. Martino, Intuitionistic proof versus classical truth. The role of Brouwer’s creative subject in intuitionistic mathematics. (English) Zbl 1435.00024 Stud. Log. 107, No. 4, 845-851 (2019). MSC: 00A17 03-02 03A05 00A30 03F50 PDF BibTeX XML Cite \textit{P. Fletcher}, Stud. Log. 107, No. 4, 845--851 (2019; Zbl 1435.00024) Full Text: DOI
Dyckhoff, Roy Indirect proof and inversions of syllogisms. (English) Zbl 07087946 Bull. Symb. Log. 25, No. 2, 196-207 (2019). MSC: 03F99 PDF BibTeX XML Cite \textit{R. Dyckhoff}, Bull. Symb. Log. 25, No. 2, 196--207 (2019; Zbl 07087946) Full Text: DOI
Kawai, Tatsuji Principles of bar induction and continuity on Baire space. (English) Zbl 1445.03071 J. Log. Anal. 11, Article FT3, 20 p. (2019). Reviewer: Iosif Petrakis (München) MSC: 03F60 03F55 03F50 PDF BibTeX XML Cite \textit{T. Kawai}, J. Log. Anal. 11, Article FT3, 20 p. (2019; Zbl 1445.03071) Full Text: Link arXiv
Petrakis, Iosif Constructive uniformities of pseudometrics and Bishop topologies. (English) Zbl 1436.03313 J. Log. Anal. 11, Article FT2, 44 p. (2019). Reviewer: Mark Mandelkern (Las Cruces) MSC: 03F60 03F65 PDF BibTeX XML Cite \textit{I. Petrakis}, J. Log. Anal. 11, Article FT2, 44 p. (2019; Zbl 1436.03313) Full Text: Link
Ciraulo, Francesco; Sambin, Giovanni Reducibility, a constructive dual of spatiality. (English) Zbl 1422.54001 J. Log. Anal. 11, Article FT1, 26 p. (2019). Reviewer: Martin Mandirevesa Mugochi (Windhoek) MSC: 54A05 03F55 54H12 06D22 PDF BibTeX XML Cite \textit{F. Ciraulo} and \textit{G. Sambin}, J. Log. Anal. 11, Article FT1, 26 p. (2019; Zbl 1422.54001) Full Text: Link
Diener, Hannes; Hendtlass, Matthew Completeness: when enough is enough. (English) Zbl 1448.03051 Doc. Math. 24, 899-914 (2019). MSC: 03F60 03D78 03F55 54E35 PDF BibTeX XML Cite \textit{H. Diener} and \textit{M. Hendtlass}, Doc. Math. 24, 899--914 (2019; Zbl 1448.03051) Full Text: DOI
Brattka, Vasco; Le Roux, Stéphane; Miller, Joseph S.; Pauly, Arno Connected choice and the Brouwer fixed point theorem. (English) Zbl 07077424 J. Math. Log. 19, No. 1, Article ID 1950004, 46 p. (2019). MSC: 03D30 03D78 03F60 37C25 PDF BibTeX XML Cite \textit{V. Brattka} et al., J. Math. Log. 19, No. 1, Article ID 1950004, 46 p. (2019; Zbl 07077424) Full Text: DOI arXiv
Rinaldi, Davide; Wessel, Daniel Cut elimination for entailment relations. (English) Zbl 07077052 Arch. Math. Logic 58, No. 5-6, 605-625 (2019). MSC: 03F05 03F65 13J25 PDF BibTeX XML Cite \textit{D. Rinaldi} and \textit{D. Wessel}, Arch. Math. Logic 58, No. 5--6, 605--625 (2019; Zbl 07077052) Full Text: DOI
Rezuş, Adrian Book review of: J. von Plato, Saved from the cellar. Gerhard Gentzen’s shorthand notes on logic and the foundations of mathematics. (English) Zbl 1435.00038 Stud. Log. 107, No. 3, 583-589 (2019). MSC: 00A17 03-03 01A60 03F03 03F05 03F25 03F40 03F50 03F55 03A05 01A70 PDF BibTeX XML Cite \textit{A. Rezuş}, Stud. Log. 107, No. 3, 583--589 (2019; Zbl 1435.00038) Full Text: DOI
Ono, Hiroakira Proof theory and algebra in logic. (English) Zbl 1439.03002 Short Textbooks in Logic. Singapore: Springer (ISBN 978-981-13-7996-3/pbk; 978-981-13-7997-0/ebook). viii, 160 p. (2019). MSC: 03-01 03Fxx 03Gxx PDF BibTeX XML Cite \textit{H. Ono}, Proof theory and algebra in logic. Singapore: Springer (2019; Zbl 1439.03002) Full Text: DOI
Kawai, Tatsuji Representing definable functions of \(\mathrm{HA}^{\omega}\) by neighbourhood functions. (English) Zbl 07061094 Ann. Pure Appl. Logic 170, No. 8, 891-909 (2019). MSC: 03F55 03F50 03F10 03D65 PDF BibTeX XML Cite \textit{T. Kawai}, Ann. Pure Appl. Logic 170, No. 8, 891--909 (2019; Zbl 07061094) Full Text: DOI arXiv
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
Mazo, Loïc Multi-scale arithmetization of linear transformations. (English) Zbl 1444.03189 J. Math. Imaging Vis. 61, No. 4, 432-442 (2019). MSC: 03H05 68U05 PDF BibTeX XML Cite \textit{L. Mazo}, J. Math. Imaging Vis. 61, No. 4, 432--442 (2019; Zbl 1444.03189) Full Text: DOI
Bauer, Andrej; Swan, Andrew Every metric space is separable in function realizability. (English) Zbl 1431.03076 Log. Methods Comput. Sci. 15, No. 2, Paper No. 14, 7 p. (2019). MSC: 03F60 54E35 03F55 PDF BibTeX XML Cite \textit{A. Bauer} and \textit{A. Swan}, Log. Methods Comput. Sci. 15, No. 2, Paper No. 14, 7 p. (2019; Zbl 1431.03076) Full Text: arXiv
Kellison, Ariel; Bickford, Mark; Constable, Robert Implementing Euclid’s straightedge and compass constructions in type theory. (English) Zbl 07055781 Ann. Math. Artif. Intell. 85, No. 2-4, 175-192 (2019). MSC: 68T15 03B35 03F55 51M04 PDF BibTeX XML Cite \textit{A. Kellison} et al., Ann. Math. Artif. Intell. 85, No. 2--4, 175--192 (2019; Zbl 07055781) Full Text: DOI
Mandelkern, Mark Constructive harmonic conjugates. (English) Zbl 1417.51002 Beitr. Algebra Geom. 60, No. 2, 391-398 (2019). Reviewer: Hans-Peter Schröcker (Innsbruck) MSC: 51A05 03F65 PDF BibTeX XML Cite \textit{M. Mandelkern}, Beitr. Algebra Geom. 60, No. 2, 391--398 (2019; Zbl 1417.51002) Full Text: DOI arXiv
Visser, Albert; Zoethout, Jetze Provability logic and the completeness principle. (English) Zbl 1439.03106 Ann. Pure Appl. Logic 170, No. 6, 718-753 (2019). Reviewer: Mladen Vuković (Zagreb) MSC: 03F45 03F50 03F55 03F30 PDF BibTeX XML Cite \textit{A. Visser} and \textit{J. Zoethout}, Ann. Pure Appl. Logic 170, No. 6, 718--753 (2019; Zbl 1439.03106) Full Text: DOI arXiv
Hämeen-Anttila, Maria Nominalistic ordinals, recursion on higher types, and finitism. (English) Zbl 1441.03005 Bull. Symb. Log. 25, No. 1, 101-124 (2019). Reviewer: Roman Murawski (Poznań) MSC: 03-03 01A60 03F15 03F25 PDF BibTeX XML Cite \textit{M. Hämeen-Anttila}, Bull. Symb. Log. 25, No. 1, 101--124 (2019; Zbl 1441.03005) Full Text: DOI
Kawai, Tatsuji A continuity principle equivalent to the monotone \(\Pi^0_1\) Fan theorem. (English) Zbl 07043056 Arch. Math. Logic 58, No. 3-4, 443-456 (2019). MSC: 03F60 03F55 03B30 26E40 PDF BibTeX XML Cite \textit{T. Kawai}, Arch. Math. Logic 58, No. 3--4, 443--456 (2019; Zbl 07043056) Full Text: DOI arXiv
Kawai, Tatsuji; Sambin, Giovanni The principle of pointfree continuity. (English) Zbl 1432.03129 Log. Methods Comput. Sci. 15, No. 1, Paper No. 22, 25 p. (2019). MSC: 03F60 06D22 54C05 PDF BibTeX XML Cite \textit{T. Kawai} and \textit{G. Sambin}, Log. Methods Comput. Sci. 15, No. 1, Paper No. 22, 25 p. (2019; Zbl 1432.03129) Full Text: arXiv
Shulman, Michael Comparing material and structural set theories. (English) Zbl 1412.18004 Ann. Pure Appl. Logic 170, No. 4, 465-504 (2019). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18B25 03F65 03G30 18B05 03E70 PDF BibTeX XML Cite \textit{M. Shulman}, Ann. Pure Appl. Logic 170, No. 4, 465--504 (2019; Zbl 1412.18004) Full Text: DOI
Berger, Josef; Ishihara, Hajime; Kihara, Takayuki; Nemoto, Takako The binary expansion and the intermediate value theorem in constructive reverse mathematics. (English) Zbl 07006134 Arch. Math. Logic 58, No. 1-2, 203-217 (2019). MSC: 03F65 03B30 PDF BibTeX XML Cite \textit{J. Berger} et al., Arch. Math. Logic 58, No. 1--2, 203--217 (2019; Zbl 07006134) Full Text: DOI
Berger, Josef; Svindland, Gregor Convexity and unique minimum points. (English) Zbl 1441.03045 Arch. Math. Logic 58, No. 1-2, 27-34 (2019). Reviewer: Daniel Romano (Banja Luka) MSC: 03F60 52A41 PDF BibTeX XML Cite \textit{J. Berger} and \textit{G. Svindland}, Arch. Math. Logic 58, No. 1--2, 27--34 (2019; Zbl 1441.03045) Full Text: DOI
Rodin, Andrei On the constructive axiomatic method. (English) Zbl 1436.03314 Log. Anal., Nouv. Sér. 61, No. 242, 201-231 (2018). MSC: 03F65 03G30 03B38 PDF BibTeX XML Cite \textit{A. Rodin}, Log. Anal., Nouv. Sér. 61, No. 242, 201--231 (2018; Zbl 1436.03314) Full Text: DOI
Romano, Daniel Abraham Co-ideals and co-filters in ordered set under co-quasiorder. (English) Zbl 1438.06002 Bull. Int. Math. Virtual Inst. 8, No. 1, 177-188 (2018). MSC: 06A11 03F65 PDF BibTeX XML Cite \textit{D. A. Romano}, Bull. Int. Math. Virtual Inst. 8, No. 1, 177--188 (2018; Zbl 1438.06002) Full Text: DOI
Romano, Daniel Abraham Semigroup action on groupoid ordered under co-order. (English) Zbl 1412.03025 Quasigroups Relat. Syst. 26, No. 2, 299-308 (2018). MSC: 03F65 06F99 20N05 20M99 PDF BibTeX XML Cite \textit{D. A. Romano}, Quasigroups Relat. Syst. 26, No. 2, 299--308 (2018; Zbl 1412.03025)
Romano, Daniel A. Semilattice ordered semi-rings with apartness. (English) Zbl 1410.03023 J. Adv. Math. Stud. 11, No. 3, 496-502 (2018). MSC: 03F65 16Y60 06F25 PDF BibTeX XML Cite \textit{D. A. Romano}, J. Adv. Math. Stud. 11, No. 3, 496--502 (2018; Zbl 1410.03023)
Schuster, Peter; Wessel, Daniel A general extension theorem for directed-complete partial orders. (English) Zbl 07034288 Rep. Math. Logic 53, 79-96 (2018). MSC: 03E25 03F65 PDF BibTeX XML Cite \textit{P. Schuster} and \textit{D. Wessel}, Rep. Math. Logic 53, 79--96 (2018; Zbl 07034288) Full Text: DOI
Golińska-Pilarek, Joanna (ed.); Zawidzki, Michał (ed.) Ewa Orłowska on relational methods in logic and computer science. (English) Zbl 1411.03003 Outstanding Contributions to Logic 17. Cham: Springer (ISBN 978-3-319-97878-9/hbk; 978-3-319-97879-6/ebook). xviii, 502 p. (2018). MSC: 03-06 03C60 03Fxx 03B70 00B15 PDF BibTeX XML Cite \textit{J. Golińska-Pilarek} (ed.) and \textit{M. Zawidzki} (ed.), Ewa Orłowska on relational methods in logic and computer science. Cham: Springer (2018; Zbl 1411.03003) Full Text: DOI
Ciraulo, Francesco; Sambin, Giovanni Embedding locales and formal topologies into positive topologies. (English) Zbl 07001415 Arch. Math. Logic 57, No. 7-8, 755-768 (2018). MSC: 06D22 03F65 06B23 PDF BibTeX XML Cite \textit{F. Ciraulo} and \textit{G. Sambin}, Arch. Math. Logic 57, No. 7--8, 755--768 (2018; Zbl 07001415) Full Text: DOI
Berger, Josef; Svindland, Gregor Brouwer’s fan theorem and convexity. (English) Zbl 06997543 J. Symb. Log. 83, No. 4, 1363-1375 (2018). MSC: 03F60 26E40 52A41 PDF BibTeX XML Cite \textit{J. Berger} and \textit{G. Svindland}, J. Symb. Log. 83, No. 4, 1363--1375 (2018; Zbl 06997543) Full Text: DOI
Brattka, Vasco; Hendtlass, Matthew; Kreuzer, Alexander P. On the uniform computational content of the Baire category theorem. (English) Zbl 1455.03080 Notre Dame J. Formal Logic 59, No. 4, 605-636 (2018). MSC: 03F60 03D28 03D78 03B30 PDF BibTeX XML Cite \textit{V. Brattka} et al., Notre Dame J. Formal Logic 59, No. 4, 605--636 (2018; Zbl 1455.03080) Full Text: DOI Euclid
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
Rinaldi, Davide; Wessel, Daniel Extension by conservation. Sikorski’s theorem. (English) Zbl 1454.03085 Log. Methods Comput. Sci. 14, No. 4, Paper No. 8, 17 p. (2018). MSC: 03F60 03F03 06D05 06E05 PDF BibTeX XML Cite \textit{D. Rinaldi} and \textit{D. Wessel}, Log. Methods Comput. Sci. 14, No. 4, Paper No. 8, 17 p. (2018; Zbl 1454.03085) Full Text: DOI arXiv
Jäger, Gerhard; Rosebrock, Timotej; Kentaro, Sato Truncation and semi-decidability notions in applicative theories. (English) Zbl 06966183 J. Symb. Log. 83, No. 3, 967-990 (2018). MSC: 03B40 03D25 03D75 03E15 03F99 PDF BibTeX XML Cite \textit{G. Jäger} et al., J. Symb. Log. 83, No. 3, 967--990 (2018; Zbl 06966183) Full Text: DOI
Fujimoto, Kentaro Truths, inductive definitions, and Kripke-Platek systems over set theory. (English) Zbl 06966179 J. Symb. Log. 83, No. 3, 868-898 (2018). MSC: 03B30 03D70 03E65 03E70 03F35 03F99 PDF BibTeX XML Cite \textit{K. Fujimoto}, J. Symb. Log. 83, No. 3, 868--898 (2018; Zbl 06966179) Full Text: DOI
Litland, Jon Erling Pure logic of iterated full ground. (English) Zbl 06965267 Rev. Symb. Log. 11, No. 3, 411-435 (2018). MSC: 03A05 03F99 PDF BibTeX XML Cite \textit{J. E. Litland}, Rev. Symb. Log. 11, No. 3, 411--435 (2018; Zbl 06965267) Full Text: DOI
Arai, Toshiyasu Cut-elimination for \(\omega_{1}\). (English) Zbl 06958067 Ann. Pure Appl. Logic 169, No. 12, 1246-1269 (2018). MSC: 03F03 03F05 03F07 03F99 PDF BibTeX XML Cite \textit{T. Arai}, Ann. Pure Appl. Logic 169, No. 12, 1246--1269 (2018; Zbl 06958067) Full Text: DOI arXiv
van Atten, Mark The creating subject, the Brouwer-Kripke schema, and infinite proofs. (English) Zbl 1437.03173 Indag. Math., New Ser. 29, No. 6, 1565-1636 (2018). MSC: 03F55 03F60 PDF BibTeX XML Cite \textit{M. van Atten}, Indag. Math., New Ser. 29, No. 6, 1565--1636 (2018; Zbl 1437.03173) Full Text: DOI arXiv
Ishihara, Hajime On Brouwer’s continuity principle. (English) Zbl 1437.03175 Indag. Math., New Ser. 29, No. 6, 1511-1524 (2018). MSC: 03F60 03B30 PDF BibTeX XML Cite \textit{H. Ishihara}, Indag. Math., New Ser. 29, No. 6, 1511--1524 (2018; Zbl 1437.03175) Full Text: DOI
Bridges, Douglas S. Intuitionistic sequential compactness? (English) Zbl 1423.03252 Indag. Math., New Ser. 29, No. 6, 1477-1496 (2018). MSC: 03F60 03F55 54E45 PDF BibTeX XML Cite \textit{D. S. Bridges}, Indag. Math., New Ser. 29, No. 6, 1477--1496 (2018; Zbl 1423.03252) Full Text: DOI
Mainzer, Klaus (ed.); Schuster, Peter (ed.); Schwichtenberg, Helmut (ed.) Proof and computation. Digitization in mathematics, computer science, and philosophy. Based on the international autumn school “Proof and computation”, Fischbachau, Germany, October 3–8, 2016. (English) Zbl 1400.03005 Hackensack, NJ: World Scientific (ISBN 978-981-3270-93-0/hbk; 978-981-3270-95-4/ebook). viii, 291 p. (2018). MSC: 03-06 03Dxx 03F65 03B70 00B25 PDF BibTeX XML Cite \textit{K. Mainzer} (ed.) et al., Proof and computation. Digitization in mathematics, computer science, and philosophy. Based on the international autumn school ``Proof and computation'', Fischbachau, Germany, October 3--8, 2016. Hackensack, NJ: World Scientific (2018; Zbl 1400.03005) Full Text: DOI
Osinenko, Pavel; Streif, Stefan A constructive version of the extremum value theorem for spaces of vector-valued functions. (English) Zbl 06918090 J. Log. Anal. 10, Article 4, 13 p. (2018). MSC: 03F60 51M04 PDF BibTeX XML Cite \textit{P. Osinenko} and \textit{S. Streif}, J. Log. Anal. 10, Article 4, 13 p. (2018; Zbl 06918090) Full Text: Link
Curi, Giovanni Abstract inductive and co-inductive definitions. (English) Zbl 1445.03072 J. Symb. Log. 83, No. 2, 598-616 (2018). Reviewer: Daniel Romano (Banja Luka) MSC: 03G10 03E70 03F65 18B35 PDF BibTeX XML Cite \textit{G. Curi}, J. Symb. Log. 83, No. 2, 598--616 (2018; Zbl 1445.03072) Full Text: DOI
Ardeshir, Mohammad; Mojtahedi, Mojtaba The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\). (English) Zbl 1426.03039 Ann. Pure Appl. Logic 169, No. 10, 997-1043 (2018). Reviewer: Osamu Sonobe (Follonica) MSC: 03F45 03B45 03F50 03F55 PDF BibTeX XML Cite \textit{M. Ardeshir} and \textit{M. Mojtahedi}, Ann. Pure Appl. Logic 169, No. 10, 997--1043 (2018; Zbl 1426.03039) Full Text: DOI
Romano, Daniel Abraham Co-filters in semilattice-ordered semigroup with apartness. (English) Zbl 1388.03062 J. Adv. Math. Stud. 11, No. 1, 124-131 (2018). MSC: 03F65 06F05 PDF BibTeX XML Cite \textit{D. A. Romano}, J. Adv. Math. Stud. 11, No. 1, 124--131 (2018; Zbl 1388.03062)
Katz, Boris; Katz, Mikhail G.; Sanders, Sam A footnote to “The crisis in contemporary mathematics”. (English) Zbl 1392.01019 Hist. Math. 45, No. 2, 176-181 (2018). Reviewer: Christopher Hollings (Oxford) MSC: 01A60 26E35 03B20 03F60 PDF BibTeX XML Cite \textit{B. Katz} et al., Hist. Math. 45, No. 2, 176--181 (2018; Zbl 1392.01019) Full Text: DOI
Rahli, Vincent; Bickford, Mark Validating Brouwer’s continuity principle for numbers using named exceptions. (English) Zbl 1390.68584 Math. Struct. Comput. Sci. 28, No. 6, 942-990 (2018). MSC: 68T15 03B35 03F55 03F60 PDF BibTeX XML Cite \textit{V. Rahli} and \textit{M. Bickford}, Math. Struct. Comput. Sci. 28, No. 6, 942--990 (2018; Zbl 1390.68584) Full Text: DOI
Pinosio, Riccardo; van Lambalgen, Michiel The logic and topology of Kant’s temporal continuum. (English) Zbl 1395.01018 Rev. Symb. Log. 11, No. 1, 160-206 (2018). Reviewer: Robert W. van der Waall (Amsterdam) MSC: 01A50 03-03 03B44 03F99 06F35 54E55 PDF BibTeX XML Cite \textit{R. Pinosio} and \textit{M. van Lambalgen}, Rev. Symb. Log. 11, No. 1, 160--206 (2018; Zbl 1395.01018) Full Text: DOI
Martino, Enrico Intuitionistic proof versus classical truth. The role of Brouwer’s creative subject in intuitionistic mathematics. (English) Zbl 1390.03004 Logic, Epistemology, and the Unity of Science 42. Cham: Springer (ISBN 978-3-319-74356-1/hbk; 978-3-319-74357-8/ebook). xiii, 170 p. (2018). Reviewer: Roman Murawski (Poznań) MSC: 03-02 03A05 00A30 03F50 PDF BibTeX XML Cite \textit{E. Martino}, Intuitionistic proof versus classical truth. The role of Brouwer's creative subject in intuitionistic mathematics. Cham: Springer (2018; Zbl 1390.03004) Full Text: DOI
Sanders, Sam To be or not to be constructive, that is not the question. (English) Zbl 1437.03169 Indag. Math., New Ser. 29, No. 1, 313-381 (2018). MSC: 03F50 03H05 03F55 PDF BibTeX XML Cite \textit{S. Sanders}, Indag. Math., New Ser. 29, No. 1, 313--381 (2018; Zbl 1437.03169) Full Text: DOI