Tachikawa, Yuji Undecidable problems in quantum field theory. (English) Zbl 07738885 Int. J. Theor. Phys. 62, No. 9, Paper No. 199, 13 p. (2023). MSC: 03Dxx 03Bxx 03Fxx PDF BibTeX XML Cite \textit{Y. Tachikawa}, Int. J. Theor. Phys. 62, No. 9, Paper No. 199, 13 p. (2023; Zbl 07738885) Full Text: DOI arXiv
Frittaion, Emanuele Extensional realizability and choice for dependent types in intuitionistic set theory. (English) Zbl 07735948 J. Symb. Log. 88, No. 3, 1138-1169 (2023). MSC: 03F50 03F25 03F55 PDF BibTeX XML Cite \textit{E. Frittaion}, J. Symb. Log. 88, No. 3, 1138--1169 (2023; Zbl 07735948) Full Text: DOI
Spreen, Dieter; Berger, Ulrich Computing with infinite objects: the Gray code case. (English) Zbl 07731929 Log. Methods Comput. Sci. 19, No. 3, Paper No. 1, 62 p. (2023). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{D. Spreen} and \textit{U. Berger}, Log. Methods Comput. Sci. 19, No. 3, Paper No. 1, 62 p. (2023; Zbl 07731929) Full Text: arXiv
de Jong, Tom; Hötzel Escardó, Martín On small types in univalent foundations. (English) Zbl 07731919 Log. Methods Comput. Sci. 19, No. 2, Paper No. 8, 33 p. (2023). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{T. de Jong} and \textit{M. Hötzel Escardó}, Log. Methods Comput. Sci. 19, No. 2, Paper No. 8, 33 p. (2023; Zbl 07731919) Full Text: DOI arXiv
Berger, Ulrich; Seisenberger, Monika On the computational content of choice principles. (English) Zbl 07725669 Bridges, Douglas (ed.) et al., Handbook of constructive mathematics. Cambridge: Cambridge University Press. Encycl. Math. Appl. 185, 806-825 (2023). MSC: 03F50 03F60 03F65 PDF BibTeX XML Cite \textit{U. Berger} and \textit{M. Seisenberger}, Encycl. Math. Appl. 185, 806--825 (2023; Zbl 07725669) Full Text: DOI
Bickford, Mark Efficient algorithms from proofs in constructive analysis. (English) Zbl 07725668 Bridges, Douglas (ed.) et al., Handbook of constructive mathematics. Cambridge: Cambridge University Press. Encycl. Math. Appl. 185, 777-805 (2023). MSC: 03F50 03F60 03F65 PDF BibTeX XML Cite \textit{M. Bickford}, Encycl. Math. Appl. 185, 777--805 (2023; Zbl 07725668) Full Text: DOI
Miyamoto, Kenji Application of constructive analysis in exact real arithmetic. (English) Zbl 07725667 Bridges, Douglas (ed.) et al., Handbook of constructive mathematics. Cambridge: Cambridge University Press. Encycl. Math. Appl. 185, 749-776 (2023). MSC: 03F50 03F60 03F65 PDF BibTeX XML Cite \textit{K. Miyamoto}, Encycl. Math. Appl. 185, 749--776 (2023; Zbl 07725667) Full Text: DOI
Schwichtenberg, Helmut Computational aspects of Bishop’s constructive mathematics. (English) Zbl 07725666 Bridges, Douglas (ed.) et al., Handbook of constructive mathematics. Cambridge: Cambridge University Press. Encycl. Math. Appl. 185, 715-748 (2023). MSC: 03F50 03F60 03F65 PDF BibTeX XML Cite \textit{H. Schwichtenberg}, Encycl. Math. Appl. 185, 715--748 (2023; Zbl 07725666) Full Text: DOI
Berger, Josef Brouwer’s fan theorem. (English) Zbl 07725664 Bridges, Douglas (ed.) et al., Handbook of constructive mathematics. Cambridge: Cambridge University Press. Encycl. Math. Appl. 185, 700-712 (2023). MSC: 03F50 03F60 03F65 PDF BibTeX XML Cite \textit{J. Berger}, Encycl. Math. Appl. 185, 700--712 (2023; Zbl 07725664) Full Text: DOI arXiv
Nemoto, Takako Systems for constructive reverse mathematics. (English) Zbl 07725663 Bridges, Douglas (ed.) et al., Handbook of constructive mathematics. Cambridge: Cambridge University Press. Encycl. Math. Appl. 185, 661-699 (2023). MSC: 03F50 03F60 03F65 PDF BibTeX XML Cite \textit{T. Nemoto}, Encycl. Math. Appl. 185, 661--699 (2023; Zbl 07725663) Full Text: DOI
Ishihara, Hajime An introduction to constructive reverse mathematics. (English) Zbl 07725662 Bridges, Douglas (ed.) et al., Handbook of constructive mathematics. Cambridge: Cambridge University Press. Encycl. Math. Appl. 185, 636-660 (2023). MSC: 03F50 03F60 03F65 PDF BibTeX XML Cite \textit{H. Ishihara}, Encycl. Math. Appl. 185, 636--660 (2023; Zbl 07725662) Full Text: DOI
Lubarsky, Robert S. Inner and outer models for constructive set theories. (English) Zbl 07725661 Bridges, Douglas (ed.) et al., Handbook of constructive mathematics. Cambridge: Cambridge University Press. Encycl. Math. Appl. 185, 584-635 (2023). MSC: 03F50 03F60 03F65 PDF BibTeX XML Cite \textit{R. S. Lubarsky}, Encycl. Math. Appl. 185, 584--635 (2023; Zbl 07725661) Full Text: DOI
Jäger, Gerhard Identity, equality, and extensionality in explicit mathematics. (English) Zbl 07725660 Bridges, Douglas (ed.) et al., Handbook of constructive mathematics. Cambridge: Cambridge University Press. Encycl. Math. Appl. 185, 564-583 (2023). MSC: 03F50 03F60 03F65 PDF BibTeX XML Cite \textit{G. Jäger}, Encycl. Math. Appl. 185, 564--583 (2023; Zbl 07725660) Full Text: DOI
Maietti, Maria Emilia; Sambin, Giovanni The minimalist foundation and Bishop’s constructive mathematics. (English) Zbl 07725659 Bridges, Douglas (ed.) et al., Handbook of constructive mathematics. Cambridge: Cambridge University Press. Encycl. Math. Appl. 185, 525-563 (2023). MSC: 03F50 03F60 03F65 PDF BibTeX XML Cite \textit{M. E. Maietti} and \textit{G. Sambin}, Encycl. Math. Appl. 185, 525--563 (2023; Zbl 07725659) Full Text: DOI
Richman, Fred Countable choice. (English) Zbl 07725658 Bridges, Douglas (ed.) et al., Handbook of constructive mathematics. Cambridge: Cambridge University Press. Encycl. Math. Appl. 185, 515-524 (2023). MSC: 03F50 03F60 03F65 PDF BibTeX XML Cite \textit{F. Richman}, Encycl. Math. Appl. 185, 515--524 (2023; Zbl 07725658) Full Text: DOI
Bridges, Douglas Apartness on lattices and between sets. (English) Zbl 07725656 Bridges, Douglas (ed.) et al., Handbook of constructive mathematics. Cambridge: Cambridge University Press. Encycl. Math. Appl. 185, 483-512 (2023). MSC: 03F50 03F60 03F65 PDF BibTeX XML Cite \textit{D. Bridges}, Encycl. Math. Appl. 185, 483--512 (2023; Zbl 07725656) Full Text: DOI
Lešnik, Davorin Synthetic topology. (English) Zbl 07725655 Bridges, Douglas (ed.) et al., Handbook of constructive mathematics. Cambridge: Cambridge University Press. Encycl. Math. Appl. 185, 445-482 (2023). MSC: 03F50 03F60 03F65 PDF BibTeX XML Cite \textit{D. Lešnik}, Encycl. Math. Appl. 185, 445--482 (2023; Zbl 07725655) Full Text: DOI
Ciraulo, Francesco Subspaces in pointfree topology: towards a new approach to measure theory. (English) Zbl 07725654 Bridges, Douglas (ed.) et al., Handbook of constructive mathematics. Cambridge: Cambridge University Press. Encycl. Math. Appl. 185, 426-444 (2023). MSC: 03F50 03F60 03F65 PDF BibTeX XML Cite \textit{F. Ciraulo}, Encycl. Math. Appl. 185, 426--444 (2023; Zbl 07725654) Full Text: DOI
Kawai, Tatsuji Bishop metric spaces in formal topology. (English) Zbl 07725653 Bridges, Douglas (ed.) et al., Handbook of constructive mathematics. Cambridge: Cambridge University Press. Encycl. Math. Appl. 185, 395-425 (2023). MSC: 03F50 03F60 03F65 PDF BibTeX XML Cite \textit{T. Kawai}, Encycl. Math. Appl. 185, 395--425 (2023; Zbl 07725653) Full Text: DOI
Petrakis, Iosif Bases of pseudocompact Bishop spaces. (English) Zbl 07725652 Bridges, Douglas (ed.) et al., Handbook of constructive mathematics. Cambridge: Cambridge University Press. Encycl. Math. Appl. 185, 359-394 (2023). MSC: 03F50 03F60 03F65 PDF BibTeX XML Cite \textit{I. Petrakis}, Encycl. Math. Appl. 185, 359--394 (2023; Zbl 07725652) Full Text: DOI
Chan, Yuen-Kwok A leisurely random walk down the lane of a constructive theory of stochastic processes. (English) Zbl 07725650 Bridges, Douglas (ed.) et al., Handbook of constructive mathematics. Cambridge: Cambridge University Press. Encycl. Math. Appl. 185, 333-356 (2023). MSC: 03F50 03F60 03F65 PDF BibTeX XML Cite \textit{Y.-K. Chan}, Encycl. Math. Appl. 185, 333--356 (2023; Zbl 07725650) Full Text: DOI
Hendtlass, Matthew; Bridges, Douglas Constructive mathematical economics. (English) Zbl 07725649 Bridges, Douglas (ed.) et al., Handbook of constructive mathematics. Cambridge: Cambridge University Press. Encycl. Math. Appl. 185, 302-332 (2023). MSC: 03F50 03F60 03F65 PDF BibTeX XML Cite \textit{M. Hendtlass} and \textit{D. Bridges}, Encycl. Math. Appl. 185, 302--332 (2023; Zbl 07725649) Full Text: DOI
Berger, Josef; Svindland, Gregor Constructive convex optimisation. (English) Zbl 07725648 Bridges, Douglas (ed.) et al., Handbook of constructive mathematics. Cambridge: Cambridge University Press. Encycl. Math. Appl. 185, 286-301 (2023). MSC: 03F50 03F60 03F65 PDF BibTeX XML Cite \textit{J. Berger} and \textit{G. Svindland}, Encycl. Math. Appl. 185, 286--301 (2023; Zbl 07725648) Full Text: DOI
Havea, Robin S.; Bridges, Douglas Constructive Banach algebra theory. (English) Zbl 07725647 Bridges, Douglas (ed.) et al., Handbook of constructive mathematics. Cambridge: Cambridge University Press. Encycl. Math. Appl. 185, 255-285 (2023). MSC: 03F50 03F60 03F65 PDF BibTeX XML Cite \textit{R. S. Havea} and \textit{D. Bridges}, Encycl. Math. Appl. 185, 255--285 (2023; Zbl 07725647) Full Text: DOI
Ishihara, Hajime Constructive functional analysis. (English) Zbl 07725646 Bridges, Douglas (ed.) et al., Handbook of constructive mathematics. Cambridge: Cambridge University Press. Encycl. Math. Appl. 185, 221-254 (2023). MSC: 03F50 03F60 03F65 PDF BibTeX XML Cite \textit{H. Ishihara}, Encycl. Math. Appl. 185, 221--254 (2023; Zbl 07725646) Full Text: DOI
Ishihara, Hajime Elements of constructive analysis. (English) Zbl 07725645 Bridges, Douglas (ed.) et al., Handbook of constructive mathematics. Cambridge: Cambridge University Press. Encycl. Math. Appl. 185, 201-220 (2023). MSC: 03F50 03F60 03F65 PDF BibTeX XML Cite \textit{H. Ishihara}, Encycl. Math. Appl. 185, 201--220 (2023; Zbl 07725645) Full Text: DOI
Mandelkern, Mark Constructive projective geometry. (English) Zbl 07725643 Bridges, Douglas (ed.) et al., Handbook of constructive mathematics. Cambridge: Cambridge University Press. Encycl. Math. Appl. 185, 168-198 (2023). MSC: 03F50 03F60 03F65 PDF BibTeX XML Cite \textit{M. Mandelkern}, Encycl. Math. Appl. 185, 168--198 (2023; Zbl 07725643) Full Text: DOI
Coquand, Thierry Constructive algebra and point-free topology. (English) Zbl 07725642 Bridges, Douglas (ed.) et al., Handbook of constructive mathematics. Cambridge: Cambridge University Press. Encycl. Math. Appl. 185, 150-167 (2023). MSC: 03F50 03F60 03F65 PDF BibTeX XML Cite \textit{T. Coquand}, Encycl. Math. Appl. 185, 150--167 (2023; Zbl 07725642) Full Text: DOI
Yengui, Ihsen Constructive algebra: the Quillen-Suslin theorem. (English) Zbl 07725641 Bridges, Douglas (ed.) et al., Handbook of constructive mathematics. Cambridge: Cambridge University Press. Encycl. Math. Appl. 185, 114-149 (2023). MSC: 03F50 03F60 03F65 PDF BibTeX XML Cite \textit{I. Yengui}, Encycl. Math. Appl. 185, 114--149 (2023; Zbl 07725641) Full Text: DOI
Lombardi, Henri Algebra in Bishop’s style: a course in constructive algebra. (English) Zbl 07725640 Bridges, Douglas (ed.) et al., Handbook of constructive mathematics. Cambridge: Cambridge University Press. Encycl. Math. Appl. 185, 93-113 (2023). MSC: 03F50 03F60 03F65 PDF BibTeX XML Cite \textit{H. Lombardi}, Encycl. Math. Appl. 185, 93--113 (2023; Zbl 07725640) Full Text: DOI
Crosilla, Laura Bishop’s mathematics: a philosophical perspective. (English) Zbl 07725638 Bridges, Douglas (ed.) et al., Handbook of constructive mathematics. Cambridge: Cambridge University Press. Encycl. Math. Appl. 185, 61-90 (2023). MSC: 03F50 03F60 03F65 PDF BibTeX XML Cite \textit{L. Crosilla}, Encycl. Math. Appl. 185, 61--90 (2023; Zbl 07725638) Full Text: DOI
Rathjen, Michael An introduction to constructive set theory: an appetizer. (English) Zbl 07725637 Bridges, Douglas (ed.) et al., Handbook of constructive mathematics. Cambridge: Cambridge University Press. Encycl. Math. Appl. 185, 20-60 (2023). MSC: 03F50 03F60 03F65 PDF BibTeX XML Cite \textit{M. Rathjen}, Encycl. Math. Appl. 185, 20--60 (2023; Zbl 07725637) Full Text: DOI
Rathjen, Michael An introduction to intuitionistic logic. (English) Zbl 07725636 Bridges, Douglas (ed.) et al., Handbook of constructive mathematics. Cambridge: Cambridge University Press. Encycl. Math. Appl. 185, 3-19 (2023). MSC: 03F50 03F60 03F65 PDF BibTeX XML Cite \textit{M. Rathjen}, Encycl. Math. Appl. 185, 3--19 (2023; Zbl 07725636) Full Text: DOI
Liu, Lu The coding power of a product of partitions. (English) Zbl 07720434 Isr. J. Math. 255, No. 2, 645-683 (2023). MSC: 03Dxx 03Bxx 03Fxx PDF BibTeX XML Cite \textit{L. Liu}, Isr. J. Math. 255, No. 2, 645--683 (2023; Zbl 07720434) Full Text: DOI arXiv
Frittaion, Emanuele; Nemoto, Takako; Rathjen, Michael Choice and independence of premise rules in intuitionistic set theory. (English) Zbl 07719416 Ann. Pure Appl. Logic 174, No. 9, Article ID 103314, 24 p. (2023). MSC: 03F03 03F25 03F50 03F55 PDF BibTeX XML Cite \textit{E. Frittaion} et al., Ann. Pure Appl. Logic 174, No. 9, Article ID 103314, 24 p. (2023; Zbl 07719416) Full Text: DOI
Misselbeck-Wessel, Daniel Maximal elements with minimal logic. (English) Zbl 07691961 Inf. Process. Lett. 182, Article ID 106403, 4 p. (2023). MSC: 68Qxx PDF BibTeX XML Cite \textit{D. Misselbeck-Wessel}, Inf. Process. Lett. 182, Article ID 106403, 4 p. (2023; Zbl 07691961) Full Text: DOI
Shore, Richard A. Almost theorems of hyperarithmetic analysis. (English) Zbl 07691756 J. Symb. Log. 88, No. 2, 664-696 (2023). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03D55 05C63 03F65 03D80 05C38 05C69 05C70 PDF BibTeX XML Cite \textit{R. A. Shore}, J. Symb. Log. 88, No. 2, 664--696 (2023; Zbl 07691756) Full Text: DOI
Tennant, Neil Core Gödel. (English) Zbl 07690432 Notre Dame J. Formal Logic 64, No. 1, 15-59 (2023). MSC: 03F30 03F40 03F52 03F99 03B47 PDF BibTeX XML Cite \textit{N. Tennant}, Notre Dame J. Formal Logic 64, No. 1, 15--59 (2023; Zbl 07690432) Full Text: DOI
Berarducci, Alessandro; Mamino, Marcello Provability logic: models within models in Peano arithmetic. (English) Zbl 07680409 Boll. Unione Mat. Ital. 16, No. 1, 25-41 (2023). MSC: 03Fxx 03-XX 03Cxx PDF BibTeX XML Cite \textit{A. Berarducci} and \textit{M. Mamino}, Boll. Unione Mat. Ital. 16, No. 1, 25--41 (2023; Zbl 07680409) Full Text: DOI arXiv
Arai, Toshiyasu Wellfoundedness proof with the maximal distinguished set. (English) Zbl 07680027 Arch. Math. Logic 62, No. 3-4, 333-357 (2023). Reviewer: Andrei Sipoş (Bucureşti) MSC: 03F15 03F99 PDF BibTeX XML Cite \textit{T. Arai}, Arch. Math. Logic 62, No. 3--4, 333--357 (2023; Zbl 07680027) Full Text: DOI arXiv
Carl, Merlin; Galeotti, Lorenzo; Passmann, Robert Realisability for infinitary intuitionistic set theory. (English) Zbl 07680007 Ann. Pure Appl. Logic 174, No. 6, Article ID 103259, 29 p. (2023). MSC: 03B20 03D60 03E70 03F50 03F65 PDF BibTeX XML Cite \textit{M. Carl} et al., Ann. Pure Appl. Logic 174, No. 6, Article ID 103259, 29 p. (2023; Zbl 07680007) Full Text: DOI arXiv
Kraus, Nicolai; Nordvall Forsberg, Fredrik; Xu, Chuangjie Type-theoretic approaches to ordinals. (English) Zbl 07679991 Theor. Comput. Sci. 957, Article ID 113843, 34 p. (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{N. Kraus} et al., Theor. Comput. Sci. 957, Article ID 113843, 34 p. (2023; Zbl 07679991) Full Text: DOI arXiv
Koswara, Ivan; Pogudin, Gleb; Selivanova, Svetlana; Ziegler, Martin Bit-complexity of classical solutions of linear evolutionary systems of partial differential equations. (English) Zbl 07667582 J. Complexity 76, Article ID 101727, 32 p. (2023). MSC: 68Qxx 03Dxx 03Fxx PDF BibTeX XML Cite \textit{I. Koswara} et al., J. Complexity 76, Article ID 101727, 32 p. (2023; Zbl 07667582) Full Text: DOI
McCarty, Charles; Shapiro, Stewart; Klev, Ansten The axiom of choice is false intuitionistically (in most contexts). (English) Zbl 07665538 Bull. Symb. Log. 29, No. 1, 71-96 (2023). MSC: 03E25 03F55 03F60 03B16 PDF BibTeX XML Cite \textit{C. McCarty} et al., Bull. Symb. Log. 29, No. 1, 71--96 (2023; Zbl 07665538) Full Text: DOI
Pentus, A. E.; Pentus, M. R. Complexity of the Lambek calculus with one division and a negative-polarity modality for weakening. (English. Russian original) Zbl 07659854 J. Math. Sci., New York 269, No. 4, 544-557 (2023); translation from Fundam. Prikl. Mat. 23, No. 4, 143-162 (2021). MSC: 03Bxx 03Fxx 68Qxx PDF BibTeX XML Cite \textit{A. E. Pentus} and \textit{M. R. Pentus}, J. Math. Sci., New York 269, No. 4, 544--557 (2023; Zbl 07659854); translation from Fundam. Prikl. Mat. 23, No. 4, 143--162 (2021) Full Text: DOI
Kalmurzaev, B. S.; Bazhenov, N. A.; Alish, D. B. On universal positive graphs. (English. Russian original) Zbl 07658742 Sib. Math. J. 64, No. 1, 83-93 (2023); translation from Sib. Mat. Zh. 64, No. 1, 98-112 (2023). MSC: 03Dxx 05Cxx 03Fxx PDF BibTeX XML Cite \textit{B. S. Kalmurzaev} et al., Sib. Math. J. 64, No. 1, 83--93 (2023; Zbl 07658742); translation from Sib. Mat. Zh. 64, No. 1, 98--112 (2023) Full Text: DOI
Shulman, Michael The derivator of setoids. (English. French summary) Zbl 1506.18026 Cah. Topol. Géom. Différ. Catég. 64, No. 1, 29-96 (2023). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18N40 18E08 03F65 PDF BibTeX XML Cite \textit{M. Shulman}, Cah. Topol. Géom. Différ. Catég. 64, No. 1, 29--96 (2023; Zbl 1506.18026) Full Text: arXiv Link
Sato, Kentaro A new model construction by making a detour via intuitionistic theories. III: Ultrafinitistic proofs of conservations of \(\Sigma_1^1\) collection. (English) Zbl 07637214 Ann. Pure Appl. Logic 174, No. 3, Article ID 103207, 48 p. (2023). MSC: 03B30 03E70 03F25 03F35 03F50 03F60 PDF BibTeX XML Cite \textit{K. Sato}, Ann. Pure Appl. Logic 174, No. 3, Article ID 103207, 48 p. (2023; Zbl 07637214) Full Text: DOI
Bridges, Douglas (ed.); Ishihara, Hajime (ed.); Rathjen, Michael (ed.); Schwichtenberg, Helmut (ed.) Handbook of constructive mathematics. (English) Zbl 1515.03001 Encyclopedia of Mathematics and its Applications 185. Cambridge: Cambridge University Press (ISBN 978-1-316-51086-5/hbk; 978-1-00-903988-8/ebook). xx, 842 p. (2023). MSC: 03-00 03F50 03F60 03F65 PDF BibTeX XML Cite \textit{D. Bridges} (ed.) et al., Handbook of constructive mathematics. Cambridge: Cambridge University Press (2023; Zbl 1515.03001) Full Text: DOI
Curi, Giovanni Constructive strong regularity and the extension property of a compactification. (English) Zbl 07601546 Ann. Pure Appl. Logic 174, No. 1, Article ID 103154, 22 p. (2023). MSC: 06D22 54D35 03D70 03F65 03E25 PDF BibTeX XML Cite \textit{G. Curi}, Ann. Pure Appl. Logic 174, No. 1, Article ID 103154, 22 p. (2023; Zbl 07601546) Full Text: DOI arXiv
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: arXiv Link
Avigad, Jeremy Mathematical logic and computation. (English) Zbl 07565705 Cambridge: Cambridge University Press (ISBN 978-1-108-47875-5/hbk; 978-1-108-77875-6/ebook). xii, 513 p. (2023). MSC: 03-01 03Dxx 03Fxx 68-01 68Vxx PDF BibTeX XML Cite \textit{J. Avigad}, Mathematical logic and computation. Cambridge: Cambridge University Press (2023; Zbl 07565705) Full Text: DOI
Savitskii, I. V. On the coincidence of complexity classes BPC and \(\text{TC}^0 \). (English. Russian original) Zbl 07688769 Mosc. Univ. Comput. Math. Cybern. 46, No. 4, 204-214 (2022); translation from Vestn. Mosk. Univ., Ser. XV 2022, No. 4, 36-45 (2022). MSC: 68Qxx 03Dxx 03Fxx PDF BibTeX XML Cite \textit{I. V. Savitskii}, Mosc. Univ. Comput. Math. Cybern. 46, No. 4, 204--214 (2022; Zbl 07688769); translation from Vestn. Mosk. Univ., Ser. XV 2022, No. 4, 36--45 (2022) Full Text: DOI
Vandoulakis, Ioannis M. On V. A. Yankov’s contribution to the history of foundations of mathematics. (English) Zbl 07672622 Citkin, Alex (ed.) et al., V. A. Yankov on non-classical logics, history and philosophy of mathematics. Cham: Springer. Outst. Contrib. Log. 24, 247-270 (2022). MSC: 03-03 03F55 01A60 01A72 PDF BibTeX XML Cite \textit{I. M. Vandoulakis}, Outst. Contrib. Log. 24, 247--270 (2022; Zbl 07672622) Full Text: DOI
Kraus, Nicolai; von Raumer, Jakob A rewriting coherence theorem with applications in homotopy type theory. (English) Zbl 1509.03052 Math. Struct. Comput. Sci. 32, No. 7, 982-1014 (2022). MSC: 03B38 55U35 68Q42 PDF BibTeX XML Cite \textit{N. Kraus} and \textit{J. von Raumer}, Math. Struct. Comput. Sci. 32, No. 7, 982--1014 (2022; Zbl 1509.03052) Full Text: DOI arXiv
Mnif, Abdessalem; Amidou, Morou Unimodular rows over Laurent polynomial rings. (English) Zbl 07655772 Czech. Math. J. 72, No. 4, 927-934 (2022). MSC: 13C10 19A13 14Q20 03F65 PDF BibTeX XML Cite \textit{A. Mnif} and \textit{M. Amidou}, Czech. Math. J. 72, No. 4, 927--934 (2022; Zbl 07655772) Full Text: DOI
Mazo, Loïc; Da Col-Jacob, Marie-Andrée; Fuchs, Laurent; Magaud, Nicolas; Skapin, Gaëlle Some representations of real numbers using integer sequences. (English) Zbl 07652955 Math. Struct. Comput. Sci. 32, No. 5, 648-681 (2022). MSC: 03F60 PDF BibTeX XML Cite \textit{L. Mazo} et al., Math. Struct. Comput. Sci. 32, No. 5, 648--681 (2022; Zbl 07652955) Full Text: DOI
Romano, Daniel Abraham Some classes of interior co-ideals in \(\Gamma\)-semigroup with apartness. (English) Zbl 07648825 Acta Univ. Apulensis, Math. Inform. 69, 49-63 (2022). MSC: 03F65 20M14 20M30 PDF BibTeX XML Cite \textit{D. A. Romano}, Acta Univ. Apulensis, Math. Inform. 69, 49--63 (2022; Zbl 07648825)
Hagemeier, Christian; Kirst, Dominik Constructive and mechanised meta-theory of IEL and similar modal logics. (English) Zbl 07638202 J. Log. Comput. 32, No. 8, 1585-1610 (2022). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{C. Hagemeier} and \textit{D. Kirst}, J. Log. Comput. 32, No. 8, 1585--1610 (2022; Zbl 07638202) Full Text: DOI
Petrakis, Iosif Proof-relevance in Bishop-style constructive mathematics. (English) Zbl 07630468 Math. Struct. Comput. Sci. 32, No. 1, 1-43 (2022). MSC: 03F65 PDF BibTeX XML Cite \textit{I. Petrakis}, Math. Struct. Comput. Sci. 32, No. 1, 1--43 (2022; Zbl 07630468) Full Text: DOI
Lubarsky, Robert S. On the necessity of some topological spaces. (English) Zbl 07627926 Berger, Ulrich (ed.) et al., Revolutions and revelations in computability. 18th conference on computability in Europe, CiE 2022, Swansea, UK, July 11–15, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13359, 162-171 (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{R. S. Lubarsky}, Lect. Notes Comput. Sci. 13359, 162--171 (2022; Zbl 07627926) Full Text: DOI
Fujiwara, Makoto An extension of the equivalence between Brouwer’s fan theorem and weak König’s lemma with a uniqueness hypothesis. (English) Zbl 07627922 Berger, Ulrich (ed.) et al., Revolutions and revelations in computability. 18th conference on computability in Europe, CiE 2022, Swansea, UK, July 11–15, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13359, 115-124 (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{M. Fujiwara}, Lect. Notes Comput. Sci. 13359, 115--124 (2022; Zbl 07627922) Full Text: DOI
Misselbeck-Wessel, Daniel; Rinaldi, Davide Towards formal Baer criteria. (English) Zbl 1499.03059 Confluentes Math. 14, No. 1, 49-63 (2022). MSC: 03F65 03F60 03F05 03E25 03G10 06D22 13C11 PDF BibTeX XML Cite \textit{D. Misselbeck-Wessel} and \textit{D. Rinaldi}, Confluentes Math. 14, No. 1, 49--63 (2022; Zbl 1499.03059) Full Text: DOI
Shulman, Michael Affine logic for constructive mathematics. (English) Zbl 07606771 Bull. Symb. Log. 28, No. 3, 327-386 (2022). MSC: 03F52 03F65 PDF BibTeX XML Cite \textit{M. Shulman}, Bull. Symb. Log. 28, No. 3, 327--386 (2022; Zbl 07606771) Full Text: DOI arXiv
Manuell, Graham The spectrum of a localic semiring. (English) Zbl 07605298 Math. Proc. Camb. Philos. Soc. 173, No. 3, 647-668 (2022). MSC: 54B35 06D22 54H13 13J99 54B30 13A15 06F07 03F65 PDF BibTeX XML Cite \textit{G. Manuell}, Math. Proc. Camb. Philos. Soc. 173, No. 3, 647--668 (2022; Zbl 07605298) Full Text: DOI arXiv
Fujiwara, Makoto \(\Delta^0_1\) variants of the law of excluded middle and related principles. (English) Zbl 07603659 Arch. Math. Logic 61, No. 7-8, 1113-1127 (2022). MSC: 03B20 03B30 03F30 03F35 03F50 PDF BibTeX XML Cite \textit{M. Fujiwara}, Arch. Math. Logic 61, No. 7--8, 1113--1127 (2022; Zbl 07603659) Full Text: DOI
Wilson, Phillip L. Quantum immortality and non-classical logic. (English) Zbl 1515.81031 J. Appl. Log. - IfCoLog J. Log. Appl. 9, No. 2, 635-650 (2022). MSC: 81P10 03F65 PDF BibTeX XML Cite \textit{P. L. Wilson}, J. Appl. Log. - IfCoLog J. Log. Appl. 9, No. 2, 635--650 (2022; Zbl 1515.81031) Full Text: arXiv
Maschio, Samuele A categorical reading of the numerical existence property in constructive foundations. (English) Zbl 07598446 Oliveri, Gianluigi (ed.) et al., Objects, structures, and logics. FilMat studies in the philosophy of mathematics. Cham: Springer. Boston Stud. Philos. Hist. Sci. 339, 349-363 (2022). Reviewer: Iosif Petrakis (München) MSC: 03Fxx PDF BibTeX XML Cite \textit{S. Maschio}, Boston Stud. Philos. Hist. Sci. 339, 349--363 (2022; Zbl 07598446) Full Text: DOI
Crosilla, Laura Predicativity and constructive mathematics. (English) Zbl 07598443 Oliveri, Gianluigi (ed.) et al., Objects, structures, and logics. FilMat studies in the philosophy of mathematics. Cham: Springer. Boston Stud. Philos. Hist. Sci. 339, 287-309 (2022). MSC: 03-XX 00A30 PDF BibTeX XML Cite \textit{L. Crosilla}, Boston Stud. Philos. Hist. Sci. 339, 287--309 (2022; Zbl 07598443) Full Text: DOI
Blechschmidt, Ingo Exploring mathematical objects from custom-tailored mathematical universes. (English) Zbl 07598436 Oliveri, Gianluigi (ed.) et al., Objects, structures, and logics. FilMat studies in the philosophy of mathematics. Cham: Springer. Boston Stud. Philos. Hist. Sci. 339, 63-95 (2022). MSC: 03-XX 00A30 PDF BibTeX XML Cite \textit{I. Blechschmidt}, Boston Stud. Philos. Hist. Sci. 339, 63--95 (2022; Zbl 07598436) Full Text: DOI arXiv
Bridges, Douglas S. Morse set theory as a foundation for constructive mathematics. (English) Zbl 07597581 Theor. Comput. Sci. 928, 115-135 (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{D. S. Bridges}, Theor. Comput. Sci. 928, 115--135 (2022; Zbl 07597581) Full Text: DOI
Monin, Benoît; Patey, Ludovic Computability. Randomness, reverse mathematics and hypercomputability. (Calculabilité. Aléatoire, mathématiques à rebours et hypercalculabilité.) (French) Zbl 1516.03001 Tableau Noir 107. Paris: Calvage et Mounet (ISBN 978-2-916352-96-1/hbk). xxii, 828 p. (2022). Reviewer: Jeffry L. Hirst (Boone) MSC: 03-01 68-01 03Dxx 03B10 03C07 03B30 03F35 03F40 03D80 68Q04 68Q30 PDF BibTeX XML Cite \textit{B. Monin} and \textit{L. Patey}, Calculabilité. Aléatoire, mathématiques à rebours et hypercalculabilité. Paris: Calvage et Mounet (2022; Zbl 1516.03001)
Beklemishev, L. D. Conservativity spectra and Joosten-Fernández model. (English. Russian original) Zbl 07594414 Dokl. Math. 106, No. 1, 213-217 (2022); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 505, 5-10 (2022). MSC: 03Fxx 03Bxx 03Gxx PDF BibTeX XML Cite \textit{L. D. Beklemishev}, Dokl. Math. 106, No. 1, 213--217 (2022; Zbl 07594414); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 505, 5--10 (2022) Full Text: DOI
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 13C10 PDF BibTeX XML Cite \textit{G. Fellin} et al., Bull. Symb. Log. 28, No. 2, 163--181 (2022; Zbl 07550752) Full Text: DOI
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
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 Link
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
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
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). Reviewer: Daniel A. Romano (Banja Luka) MSC: 03-00 03F65 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 arXiv
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
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
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
Nemoto, Takako; Kentaro, Sato A marriage of Brouwer’s intuitionism and Hilbert’s finitism. I: Arithmetic. (English) Zbl 1510.03023 J. Symb. Log. 87, No. 2, 437-497 (2022). Reviewer: Lukasz Stepien (Kraków) 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 1510.03023) Full Text: DOI
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
Stirton, William R. Combinatory logic with polymorphic types. (English) Zbl 07541615 Arch. Math. Logic 61, No. 3-4, 317-343 (2022). MSC: 03B40 03Fxx PDF BibTeX XML Cite \textit{W. R. Stirton}, Arch. Math. Logic 61, No. 3--4, 317--343 (2022; Zbl 07541615) Full Text: DOI
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 arXiv
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 arXiv
Schuster, Peter; Wessel, Daniel The Jacobson radical for an inconsistency predicate. (English) Zbl 1514.03051 Computability 11, No. 2, 147-162 (2022). Reviewer: Danko Ilik (Paris) MSC: 03E70 03E25 03F65 PDF BibTeX XML Cite \textit{P. Schuster} and \textit{D. Wessel}, Computability 11, No. 2, 147--162 (2022; Zbl 1514.03051)
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 1491.00019 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 1491.00019) Full Text: DOI
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 arXiv
Jeon, Hanul Constructive Ackermann’s interpretation. (English) Zbl 1504.03038 Ann. Pure Appl. Logic 173, No. 5, Article ID 103086, 19 p. (2022). Reviewer: Daniel Romano (Banja Luka) 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 1504.03038) Full Text: DOI arXiv
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
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
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
Schuster, Peter; Wessel, Daniel; Yengui, Ihsen Dynamic evaluation of integrity and the computational content of Krull’s lemma. (English) Zbl 1491.13011 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 1491.13011) Full Text: DOI
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
Brattka, Vasco (ed.); Greenberg, Noam (ed.); Kalimullin, Iskander (ed.); Soskova, Mariya (ed.) Computability theory. Abstracts from the workshop held April 25 – May 1, 2021 (hybrid meeting). (English) Zbl 1506.00048 Oberwolfach Rep. 18, No. 2, 1149-1190 (2021). MSC: 00B05 00B25 03-06 68-06 03Dxx 03B30 03C57 03Fxx 68Qxx PDF BibTeX XML Cite \textit{V. Brattka} (ed.) et al., Oberwolfach Rep. 18, No. 2, 1149--1190 (2021; Zbl 1506.00048) Full Text: DOI
Romano, D. A. The first isomorphism theorem of implicative semigroup with apartness. (English) Zbl 07648784 Acta Univ. Apulensis, Math. Inform. 65, 37-49 (2021). MSC: 03F65 20M12 06F05 06A99 PDF BibTeX XML Cite \textit{D. A. Romano}, Acta Univ. Apulensis, Math. Inform. 65, 37--49 (2021; Zbl 07648784)
Bidlingmaier, Martin E.; Faissole, Florian; Spitters, Bas Synthetic topology in homotopy type theory for probabilistic programming. (English) Zbl 1517.68072 Math. Struct. Comput. Sci. 31, No. 10, 1301-1329 (2021). MSC: 68N19 03B38 03F60 06D22 18B25 18C20 18C50 18N45 28E15 55U35 68N30 68V20 PDF BibTeX XML Cite \textit{M. E. Bidlingmaier} et al., Math. Struct. Comput. Sci. 31, No. 10, 1301--1329 (2021; Zbl 1517.68072) Full Text: DOI arXiv
Konovalov, Aleksandr Yu. Generalized realizability and basic logic. (English) Zbl 1505.03128 ACM Trans. Comput. Log. 22, No. 4, Article No. 25, 23 p. (2021). MSC: 03F30 03F55 03B20 PDF BibTeX XML Cite \textit{A. Yu. Konovalov}, ACM Trans. Comput. Log. 22, No. 4, Article No. 25, 23 p. (2021; Zbl 1505.03128) Full Text: DOI arXiv