Al-sadaa, Zaineb Hussain Abd; Sharba, Zainab Abdulmunim; Almurieb, Hawraa Abbas Bernstein neural network approximation. (English) Zbl 07907977 Int. J. Math. Comput. Sci. 20, No. 1, 179-182 (2025). MSC: 03F10 03B45 PDFBibTeX XMLCite \textit{Z. H. A. Al-sadaa} et al., Int. J. Math. Comput. Sci. 20, No. 1, 179--182 (2025; Zbl 07907977) Full Text: DOI
Al-Ogaili, Khalidah Abdulhussein; Almurieb, Hawraa Abbas Best spline approximation in Besov-Orlicz space. (English) Zbl 07907970 Int. J. Math. Comput. Sci. 20, No. 1, 139-142 (2025). MSC: 03F10 03B45 PDFBibTeX XMLCite \textit{K. A. Al-Ogaili} and \textit{H. A. Almurieb}, Int. J. Math. Comput. Sci. 20, No. 1, 139--142 (2025; Zbl 07907970) Full Text: DOI
Gupta, Vishal; Saini, Anil; Gondhi, Aanchal On modified intuitionistic fuzzy soft metric spaces and application. (English) Zbl 07911214 Miskolc Math. Notes 25, No. 1, 255-269 (2024). MSC: 47S40 54H25 03F55 47H10 PDFBibTeX XMLCite \textit{V. Gupta} et al., Miskolc Math. Notes 25, No. 1, 255--269 (2024; Zbl 07911214) Full Text: DOI
Yengui, Ihsen \(n\)-stability of a support on a ring and application to projective modules. (English) Zbl 07909917 Ric. Mat. 73, No. 4, 1987-1996 (2024). MSC: 13C10 19A13 14Q20 03F65 PDFBibTeX XMLCite \textit{I. Yengui}, Ric. Mat. 73, No. 4, 1987--1996 (2024; Zbl 07909917) Full Text: DOI
Pinto, Pedro Nonexpansive maps in nonlinear smooth spaces. (English) Zbl 07906002 Trans. Am. Math. Soc. 377, No. 9, 6379-6426 (2024). MSC: 47J25 47H09 47H10 03F10 PDFBibTeX XMLCite \textit{P. Pinto}, Trans. Am. Math. Soc. 377, No. 9, 6379--6426 (2024; Zbl 07906002) Full Text: DOI
Mantry, Poonam; Gandhi, S. K. Computability of the translation operator. (English) Zbl 07902310 Poincare J. Anal. Appl. 11, No. 1, 1-13 (2024). MSC: 03F60 46S30 PDFBibTeX XMLCite \textit{P. Mantry} and \textit{S. K. Gandhi}, Poincare J. Anal. Appl. 11, No. 1, 1--13 (2024; Zbl 07902310) Full Text: DOI
Fernández-Duque, David; Weiermann, Andreas A walk with Goodstein and Ackermann. (English) Zbl 07898459 Notre Dame J. Formal Logic 65, No. 2, 181-201 (2024). MSC: 03F40 03D20 PDFBibTeX XMLCite \textit{D. Fernández-Duque} and \textit{A. Weiermann}, Notre Dame J. Formal Logic 65, No. 2, 181--201 (2024; Zbl 07898459) Full Text: DOI Link
Petrakis, Iosif Sets completely separated by functions in Bishop set theory. (English) Zbl 07898458 Notre Dame J. Formal Logic 65, No. 2, 151-180 (2024). MSC: 03F65 PDFBibTeX XMLCite \textit{I. Petrakis}, Notre Dame J. Formal Logic 65, No. 2, 151--180 (2024; Zbl 07898458) Full Text: DOI arXiv Link
Martini, Simone; Masini, Andrea; Zorzi, Margherita A natural deduction calculus for S4.2. (English) Zbl 07898457 Notre Dame J. Formal Logic 65, No. 2, 127-150 (2024). MSC: 03F03 03F05 03F07 PDFBibTeX XMLCite \textit{S. Martini} et al., Notre Dame J. Formal Logic 65, No. 2, 127--150 (2024; Zbl 07898457) Full Text: DOI Link
Crane, Charles B. Relational quantum mechanics and intuitionistic mathematics. (English) Zbl 07896335 Found. Phys. 54, No. 3, Paper No. 37, 12 p. (2024). MSC: 81Pxx 03Fxx 03-XX PDFBibTeX XMLCite \textit{C. B. Crane}, Found. Phys. 54, No. 3, Paper No. 37, 12 p. (2024; Zbl 07896335) Full Text: DOI
Suzuki, Yudai; Yokoyama, Keita Searching problems above arithmetical transfinite recursion. (English) Zbl 07894021 Ann. Pure Appl. Logic 175, No. 10, Article ID 103488, 31 p. (2024). MSC: 03D78 03D30 03B30 03F35 PDFBibTeX XMLCite \textit{Y. Suzuki} and \textit{K. Yokoyama}, Ann. Pure Appl. Logic 175, No. 10, Article ID 103488, 31 p. (2024; Zbl 07894021) Full Text: DOI arXiv
Leigh, Graham E.; Wehr, Dominik From GTC to Reset: generating reset proof systems from cyclic proof systems. (English) Zbl 07894018 Ann. Pure Appl. Logic 175, No. 10, Article ID 103485, 46 p. (2024). MSC: 03F03 03F07 03B22 03F20 PDFBibTeX XMLCite \textit{G. E. Leigh} and \textit{D. Wehr}, Ann. Pure Appl. Logic 175, No. 10, Article ID 103485, 46 p. (2024; Zbl 07894018) Full Text: DOI arXiv
Klíma, Ondřej; Kolegar, Jonatan Characterization of ordered semigroups generating well quasi-orders of words. (English) Zbl 07888051 Theory Comput. Syst. 68, No. 3, 380-402 (2024). MSC: 68Qxx 03Fxx 20Mxx PDFBibTeX XMLCite \textit{O. Klíma} and \textit{J. Kolegar}, Theory Comput. Syst. 68, No. 3, 380--402 (2024; Zbl 07888051) Full Text: DOI OA License
Dinis, Bruno; Pinto, Pedro Effective metastability for a method of alternating resolvents. (English) Zbl 07884554 Fixed Point Theory 25, No. 1, 61-98 (2024). MSC: 47J25 47H05 47H09 47H10 03F10 PDFBibTeX XMLCite \textit{B. Dinis} and \textit{P. Pinto}, Fixed Point Theory 25, No. 1, 61--98 (2024; Zbl 07884554) Full Text: DOI arXiv
Melikhov, S. A. A joint logic of problems and propositions. (English) Zbl 07883845 Dokl. Math. 109, No. 2, 130-139 (2024). MSC: 03Bxx 03Fxx 03-XX PDFBibTeX XMLCite \textit{S. A. Melikhov}, Dokl. Math. 109, No. 2, 130--139 (2024; Zbl 07883845) Full Text: DOI
Al-Salehi, Saeed A. A.; Taleb, Mohammed M. A.; Borkar, V. C. A new study in Euclid’s metric space contraction mapping and Pythagorean right triangle relationship. (English) Zbl 07878316 J. Appl. Math. Inform. 42, No. 2, 433-444 (2024). MSC: 47H10 54H25 01A16 03F60 37C25 PDFBibTeX XMLCite \textit{S. A. A. Al-Salehi} et al., J. Appl. Math. Inform. 42, No. 2, 433--444 (2024; Zbl 07878316) Full Text: DOI
Dvorkin, Lev V. On provability logics of Niebergall arithmetic. (English. Russian original) Zbl 07877897 Izv. Math. 88, No. 3, 468-505 (2024); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 88, No. 3, 61-100 (2024). MSC: 03F45 PDFBibTeX XMLCite \textit{L. V. Dvorkin}, Izv. Math. 88, No. 3, 468--505 (2024; Zbl 07877897); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 88, No. 3, 61--100 (2024) Full Text: DOI MNR
Ferreira, Gilda; Firmino, Paulo Herbrandized modified realizability. (English) Zbl 07874621 Arch. Math. Logic 63, No. 5-6, 703-721 (2024). MSC: 03F10 03B20 03B40 03F30 03F25 PDFBibTeX XMLCite \textit{G. Ferreira} and \textit{P. Firmino}, Arch. Math. Logic 63, No. 5--6, 703--721 (2024; Zbl 07874621) Full Text: DOI arXiv OA License
Enayat, Ali Indiscernibles and satisfaction classes in arithmetic. (English) Zbl 07874619 Arch. Math. Logic 63, No. 5-6, 655-677 (2024). MSC: 03F30 03F25 03C62 PDFBibTeX XMLCite \textit{A. Enayat}, Arch. Math. Logic 63, No. 5--6, 655--677 (2024; Zbl 07874619) Full Text: DOI arXiv OA License
Gruza, Piotr; Łełyk, Mateusz Varieties of truth definitions. (English) Zbl 07874615 Arch. Math. Logic 63, No. 5-6, 563-589 (2024). Reviewer: Roman Kossak (New York) MSC: 03H15 03F30 03F25 PDFBibTeX XMLCite \textit{P. Gruza} and \textit{M. Łełyk}, Arch. Math. Logic 63, No. 5--6, 563--589 (2024; Zbl 07874615) Full Text: DOI arXiv
Visser, Albert Essential hereditary undecidability. (English) Zbl 07874614 Arch. Math. Logic 63, No. 5-6, 529-562 (2024). MSC: 03F25 03F30 03F40 PDFBibTeX XMLCite \textit{A. Visser}, Arch. Math. Logic 63, No. 5--6, 529--562 (2024; Zbl 07874614) Full Text: DOI arXiv OA License
Ghari, Meghdad Tableaux and interpolation for propositional justification logics. (English) Zbl 07873793 Notre Dame J. Formal Logic 65, No. 1, 81-112 (2024). MSC: 03F03 03C40 03B60 PDFBibTeX XMLCite \textit{M. Ghari}, Notre Dame J. Formal Logic 65, No. 1, 81--112 (2024; Zbl 07873793) Full Text: DOI
Hermes, Marc; Kirst, Dominik An analysis of Tennenbaum’s theorem in constructive type theory. (English) Zbl 07872343 Log. Methods Comput. Sci. 20, No. 1, Paper No. 19, 24 p. (2024). MSC: 03F50 03B38 03F30 PDFBibTeX XMLCite \textit{M. Hermes} and \textit{D. Kirst}, Log. Methods Comput. Sci. 20, No. 1, Paper No. 19, 24 p. (2024; Zbl 07872343) Full Text: DOI arXiv
Dantchev, Stefan; Galesi, Nicola; Ghani, Abdul; Martin, Barnaby Proof complexity and the binary encoding of combinatorial principles. (English) Zbl 07872151 SIAM J. Comput. 53, No. 3, 764-802 (2024). MSC: 68Q25 03F20 PDFBibTeX XMLCite \textit{S. Dantchev} et al., SIAM J. Comput. 53, No. 3, 764--802 (2024; Zbl 07872151) Full Text: DOI arXiv
Alekseev, Yaroslav; Grigoriev, Dima; Hirsch, Edward A.; Tzameret, Iddo Semialgebraic proofs, IPS lower bounds, and the \(\tau\)-conjecture: can a natural number be negative? (English) Zbl 07872149 SIAM J. Comput. 53, No. 3, 648-700 (2024). MSC: 68Q17 03F20 PDFBibTeX XMLCite \textit{Y. Alekseev} et al., SIAM J. Comput. 53, No. 3, 648--700 (2024; Zbl 07872149) Full Text: DOI
Ruby; Mandal, Moumita The geometrical and physical interpretation of fractional order derivatives for a general class of functions. (English) Zbl 07871981 Math. Methods Appl. Sci. 47, No. 11, 8400-8420 (2024). MSC: 26A33 51M25 03Fxx PDFBibTeX XMLCite \textit{Ruby} and \textit{M. Mandal}, Math. Methods Appl. Sci. 47, No. 11, 8400--8420 (2024; Zbl 07871981) Full Text: DOI
Chong, Chi Tat; Wang, Wei; Yang, Yue Conservation strength of the Infinite pigeonhole principle for trees. (English) Zbl 07871048 Isr. J. Math. 260, No. 1, 341-364 (2024). MSC: 03Bxx 03Fxx 03Dxx PDFBibTeX XMLCite \textit{C. T. Chong} et al., Isr. J. Math. 260, No. 1, 341--364 (2024; Zbl 07871048) Full Text: DOI arXiv
Kosheleva, O.; Kreinovich, V. Wormholes, superfast computations, and Selivanov’s theorem. (English) Zbl 07870627 Sib. Adv. Math. 34, No. 2, 98-104 (2024). MSC: 65Gxx 03F60 PDFBibTeX XMLCite \textit{O. Kosheleva} and \textit{V. Kreinovich}, Sib. Adv. Math. 34, No. 2, 98--104 (2024; Zbl 07870627) Full Text: DOI
Antonelli, Melissa; Dal Lago, Ugo; Pistone, Paolo Towards logical foundations for probabilistic computation. (English) Zbl 07870393 Ann. Pure Appl. Logic 175, No. 9, Article ID 103341, 51 p. (2024). MSC: 03F03 03D15 68Q10 68Q15 68N18 PDFBibTeX XMLCite \textit{M. Antonelli} et al., Ann. Pure Appl. Logic 175, No. 9, Article ID 103341, 51 p. (2024; Zbl 07870393) Full Text: DOI
Fernández-Duque, David; Weiermann, Andreas Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal. (English) Zbl 07870383 Ann. Pure Appl. Logic 175, No. 8, Article ID 103455, 30 p. (2024). MSC: 03D20 03D60 03F15 03F40 PDFBibTeX XMLCite \textit{D. Fernández-Duque} and \textit{A. Weiermann}, Ann. Pure Appl. Logic 175, No. 8, Article ID 103455, 30 p. (2024; Zbl 07870383) Full Text: DOI arXiv
Wojciechowski, Piotr; Subramani, K. Proving the infeasibility of Horn formulas through Read-once resolution. (English) Zbl 07868443 Discrete Appl. Math. 354, 131-145 (2024). MSC: 68Qxx 03Fxx 03Bxx PDFBibTeX XMLCite \textit{P. Wojciechowski} and \textit{K. Subramani}, Discrete Appl. Math. 354, 131--145 (2024; Zbl 07868443) Full Text: DOI
Mohammadi, Hamzeh Linear abelian modal logic. (English) Zbl 07865508 Bull. Sect. Log., Univ. Łódź, Dep. Log. 53, No. 1, 1-28 (2024). MSC: 03B45 03B50 03F03 03F05 PDFBibTeX XMLCite \textit{H. Mohammadi}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 53, No. 1, 1--28 (2024; Zbl 07865508) Full Text: DOI
Martinot, Robin Ontological purity for formal proofs. (English) Zbl 07861977 Rev. Symb. Log. 17, No. 2, 395-434 (2024). MSC: 03A05 03F03 PDFBibTeX XMLCite \textit{R. Martinot}, Rev. Symb. Log. 17, No. 2, 395--434 (2024; Zbl 07861977) Full Text: DOI OA License
Buss, Sam; Yolcu, Emre Regular resolution effectively simulates resolution. (English) Zbl 1540.03021 Inf. Process. Lett. 186, Article ID 106489, 5 p. (2024). MSC: 03B35 03F20 PDFBibTeX XMLCite \textit{S. Buss} and \textit{E. Yolcu}, Inf. Process. Lett. 186, Article ID 106489, 5 p. (2024; Zbl 1540.03021) Full Text: DOI arXiv
Jäger, Gerhard; Rathjen, Michael Admissible extensions of subtheories of second order arithmetic. (English) Zbl 07848921 Ann. Pure Appl. Logic 175, No. 7, Article ID 103425, 32 p. (2024). MSC: 03F05 03F15 03F25 03E30 03B15 03C70 PDFBibTeX XMLCite \textit{G. Jäger} and \textit{M. Rathjen}, Ann. Pure Appl. Logic 175, No. 7, Article ID 103425, 32 p. (2024; Zbl 07848921) Full Text: DOI arXiv
Sato, Kentaro A new model construction by making a detour via intuitionistic theories. IV: A closer connection between \(\mathrm{KP} \omega\) and \(\mathrm{BI}\). (English) Zbl 07848920 Ann. Pure Appl. Logic 175, No. 7, Article ID 103422, 62 p. (2024). MSC: 03B30 03E30 03F25 03F35 03E40 03F50 PDFBibTeX XMLCite \textit{K. Sato}, Ann. Pure Appl. Logic 175, No. 7, Article ID 103422, 62 p. (2024; Zbl 07848920) Full Text: DOI
Kiefer, Claus Gödel’s undecidability theorems and the search for a theory of everything. (English) Zbl 07847907 Int. J. Theor. Phys. 63, No. 2, Paper No. 52, 12 p. (2024). Reviewer: C. Pereira da Silva (Curitiba) MSC: 03-03 81-03 03A10 03F40 83C45 01A60 PDFBibTeX XMLCite \textit{C. Kiefer}, Int. J. Theor. Phys. 63, No. 2, Paper No. 52, 12 p. (2024; Zbl 07847907) Full Text: DOI arXiv OA License
Pischke, Nicholas Logical metatheorems for accretive and (generalized) monotone set-valued operators. (English) Zbl 07845702 J. Math. Log. 24, No. 2, Article ID 2350008, 59 p. (2024). MSC: 03F10 03F35 47H05 47H06 PDFBibTeX XMLCite \textit{N. Pischke}, J. Math. Log. 24, No. 2, Article ID 2350008, 59 p. (2024; Zbl 07845702) Full Text: DOI arXiv
Kołodziejczyk, Leszek Aleksander; Wong, Tin Lok; Yokoyama, Keita Ramsey’s theorem for pairs, collection, and proof size. (English) Zbl 07845701 J. Math. Log. 24, No. 2, Article ID 2350007, 40 p. (2024). MSC: 03F20 03B30 03F35 05D10 03F30 03F25 03H15 PDFBibTeX XMLCite \textit{L. A. Kołodziejczyk} et al., J. Math. Log. 24, No. 2, Article ID 2350007, 40 p. (2024; Zbl 07845701) Full Text: DOI arXiv
Hirschfeldt, Denis R.; Jockusch, Carl G.; Schupp, Paul E. Coarse computability, the density metric, Hausdorff distances between Turing degrees, perfect trees, and reverse mathematics. (English) Zbl 07845699 J. Math. Log. 24, No. 2, Article ID 2350005, 76 p. (2024). MSC: 03D28 03B30 03D25 03D32 03F35 05D10 PDFBibTeX XMLCite \textit{D. R. Hirschfeldt} et al., J. Math. Log. 24, No. 2, Article ID 2350005, 76 p. (2024; Zbl 07845699) Full Text: DOI arXiv Backlinks: MO
Böhm, Benjamin; Peitl, Tomáš; Beyersdorff, Olaf Should decisions in QCDCL follow prefix order? (English) Zbl 1540.68258 J. Autom. Reasoning 68, No. 1, Paper No. 5, 31 p. (2024). MSC: 68V15 03F20 PDFBibTeX XMLCite \textit{B. Böhm} et al., J. Autom. Reasoning 68, No. 1, Paper No. 5, 31 p. (2024; Zbl 1540.68258) Full Text: DOI OA License
Kuznetsov, Stepan L. Algorithmic complexity for theories of commutative Kleene algebras. (English. Russian original) Zbl 07838022 Izv. Math. 88, No. 2, 236-269 (2024); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 88, No. 2, 44-79 (2024). MSC: 03B25 03C75 03B47 03D35 03F05 03G25 PDFBibTeX XMLCite \textit{S. L. Kuznetsov}, Izv. Math. 88, No. 2, 236--269 (2024; Zbl 07838022); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 88, No. 2, 44--79 (2024) Full Text: DOI MNR
Benham, Heidi; DeLapo, Andrew; Dzhafarov, Damir D.; Solomon, Reed; Villano, Java Darleen The Ginsburg-Sands theorem and computability theory. (English) Zbl 07837848 Adv. Math. 444, Article ID 109618, 57 p. (2024). MSC: 03B30 03F35 03D80 05D10 03D30 PDFBibTeX XMLCite \textit{H. Benham} et al., Adv. Math. 444, Article ID 109618, 57 p. (2024; Zbl 07837848) Full Text: DOI arXiv
Subramani, K.; Wojciechowki, Piotr; Velasquez, Alvaro Farkas bounds on Horn constraint systems. (English) Zbl 07835106 Theory Comput. Syst. 68, No. 2, 227-249 (2024). MSC: 03F20 PDFBibTeX XMLCite \textit{K. Subramani} et al., Theory Comput. Syst. 68, No. 2, 227--249 (2024; Zbl 07835106) Full Text: DOI
Carlucci, Lorenzo; Mainardi, Leonardo Regressive versions of Hindman’s theorem. (English) Zbl 07832915 Arch. Math. Logic 63, No. 3-4, 447-472 (2024). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03D80 05D10 03F35 03D30 PDFBibTeX XMLCite \textit{L. Carlucci} and \textit{L. Mainardi}, Arch. Math. Logic 63, No. 3--4, 447--472 (2024; Zbl 07832915) Full Text: DOI arXiv OA License
Maffezioli, Paolo Cut elimination for coherent theories in negation normal form. (English) Zbl 07832914 Arch. Math. Logic 63, No. 3-4, 427-445 (2024). MSC: 03F03 PDFBibTeX XMLCite \textit{P. Maffezioli}, Arch. Math. Logic 63, No. 3--4, 427--445 (2024; Zbl 07832914) Full Text: DOI OA License
Murwanashyaka, Juvenal Weak essentially undecidable theories of concatenation. II. (English) Zbl 07832911 Arch. Math. Logic 63, No. 3-4, 353-390 (2024). MSC: 03B25 03B30 03F25 03F30 PDFBibTeX XMLCite \textit{J. Murwanashyaka}, Arch. Math. Logic 63, No. 3--4, 353--390 (2024; Zbl 07832911) Full Text: DOI arXiv OA License
Iljazović, Zvonko; Jelić, Matea Computability of sets with attached arcs. (English) Zbl 07832866 Math. Commun. 29, No. 1, 1-19 (2024). MSC: 03D78 03F60 PDFBibTeX XMLCite \textit{Z. Iljazović} and \textit{M. Jelić}, Math. Commun. 29, No. 1, 1--19 (2024; Zbl 07832866) Full Text: Link
Manuell, Graham Uniform locales and their constructive aspects. (English) Zbl 07828994 Theory Appl. Categ. 41, 238-267 (2024). Reviewer: Jorge Picado (Coimbra) MSC: 54E15 06D22 03F65 54B30 PDFBibTeX XMLCite \textit{G. Manuell}, Theory Appl. Categ. 41, 238--267 (2024; Zbl 07828994) Full Text: arXiv Link
Krajíček, Jan On the existence of strong proof complexity generators. (English) Zbl 07828957 Bull. Symb. Log. 30, No. 1, 20-40 (2024). MSC: 03F20 68Q11 68Q15 PDFBibTeX XMLCite \textit{J. Krajíček}, Bull. Symb. Log. 30, No. 1, 20--40 (2024; Zbl 07828957) Full Text: DOI arXiv OA License
Fernández-Duque, David; Weiermann, Andreas A walk with Goodstein. (English) Zbl 07828956 Bull. Symb. Log. 30, No. 1, 1-19 (2024). MSC: 03F40 03D20 03D60 PDFBibTeX XMLCite \textit{D. Fernández-Duque} and \textit{A. Weiermann}, Bull. Symb. Log. 30, No. 1, 1--19 (2024; Zbl 07828956) Full Text: DOI arXiv
Lombardi, Henri; Neuwirth, Stefan; Yengui, Ihsen Valuative dimension, constructive points of view. (English) Zbl 1540.13016 J. Algebra 647, 206-229 (2024). Reviewer: Ryota Kuroki (Tōkyō) MSC: 13B40 13J15 03F65 PDFBibTeX XMLCite \textit{H. Lombardi} et al., J. Algebra 647, 206--229 (2024; Zbl 1540.13016) Full Text: DOI arXiv
Passmann, Robert The first-order logic of CZF is intuitionistic first-order logic. (English) Zbl 07827891 J. Symb. Log. 89, No. 1, 308-330 (2024). MSC: 03F50 03B20 03B55 03E70 03F55 PDFBibTeX XMLCite \textit{R. Passmann}, J. Symb. Log. 89, No. 1, 308--330 (2024; Zbl 07827891) Full Text: DOI arXiv OA License
Fiori-Carones, Marta; Marcone, Alberto; Shafer, Paul; Soldà, Giovanni (Extra)ordinary equivalences with the ascending/descending sequence principle. (English) Zbl 07827890 J. Symb. Log. 89, No. 1, 262-307 (2024). MSC: 03B30 03F35 05D10 06A06 PDFBibTeX XMLCite \textit{M. Fiori-Carones} et al., J. Symb. Log. 89, No. 1, 262--307 (2024; Zbl 07827890) Full Text: DOI arXiv OA License
Fujimoto, Kentaro; Halbach, Volker Classical determinate truth. I. (English) Zbl 07827889 J. Symb. Log. 89, No. 1, 218-261 (2024). MSC: 03F03 PDFBibTeX XMLCite \textit{K. Fujimoto} and \textit{V. Halbach}, J. Symb. Log. 89, No. 1, 218--261 (2024; Zbl 07827889) Full Text: DOI OA License
Golshani, Mohammad; Zoghifard, Reihane Completeness of the Gödel-Löb provability logic for the filter sequence of normal measures. (English) Zbl 07827884 J. Symb. Log. 89, No. 1, 163-174 (2024). MSC: 03E35 03E55 03F45 PDFBibTeX XMLCite \textit{M. Golshani} and \textit{R. Zoghifard}, J. Symb. Log. 89, No. 1, 163--174 (2024; Zbl 07827884) Full Text: DOI arXiv
Walsh, James An incompleteness theorem via ordinal analysis. (English) Zbl 07827880 J. Symb. Log. 89, No. 1, 80-96 (2024). MSC: 03F15 03F40 PDFBibTeX XMLCite \textit{J. Walsh}, J. Symb. Log. 89, No. 1, 80--96 (2024; Zbl 07827880) Full Text: DOI arXiv
Kolmakov, Evgeny A. On Shavrukov’s non-isomorphism theorem for diagonalizable algebras. (English) Zbl 07827534 Rev. Symb. Log. 17, No. 1, 206-243 (2024). MSC: 03F30 03F45 PDFBibTeX XMLCite \textit{E. A. Kolmakov}, Rev. Symb. Log. 17, No. 1, 206--243 (2024; Zbl 07827534) Full Text: DOI arXiv
Kurahashi, Taishi; Okuda, Motoki Disjunction and existence properties in modal arithmetic. (English) Zbl 07827533 Rev. Symb. Log. 17, No. 1, 178-205 (2024). MSC: 03B45 03F30 03F40 PDFBibTeX XMLCite \textit{T. Kurahashi} and \textit{M. Okuda}, Rev. Symb. Log. 17, No. 1, 178--205 (2024; Zbl 07827533) Full Text: DOI arXiv
Findling, Richard; Kohlenbach, Ulrich Rates of convergence and metastability for Chidume’s algorithm for the approximation of zeros of accretive operators in Banach spaces. (English) Zbl 07827111 Numer. Funct. Anal. Optim. 45, No. 3, 216-233 (2024). MSC: 47H04 47H06 47J25 03F10 PDFBibTeX XMLCite \textit{R. Findling} and \textit{U. Kohlenbach}, Numer. Funct. Anal. Optim. 45, No. 3, 216--233 (2024; Zbl 07827111) Full Text: DOI OA License
Dash, Sanjeeb; Dubey, Yatharth On polytopes with linear rank with respect to generalizations of the split closure. (English) Zbl 07825281 Discrete Optim. 51, Article ID 100821, 9 p. (2024). MSC: 90C10 03F05 PDFBibTeX XMLCite \textit{S. Dash} and \textit{Y. Dubey}, Discrete Optim. 51, Article ID 100821, 9 p. (2024; Zbl 07825281) Full Text: DOI arXiv
Maksimova, L. L.; Yun, V. F. Craig’s interpolation property in pretabular logics. (English. Russian original) Zbl 07825250 Sib. Math. J. 65, No. 2, 344-350 (2024); translation from Sib. Mat. Zh. 65, No. 2, 349-357 (2024). MSC: 03Bxx 03Cxx 03Fxx PDFBibTeX XMLCite \textit{L. L. Maksimova} and \textit{V. F. Yun}, Sib. Math. J. 65, No. 2, 344--350 (2024; Zbl 07825250); translation from Sib. Mat. Zh. 65, No. 2, 349--357 (2024) Full Text: DOI
Bezhanishvili, Nick (ed.); Iemhoff, Rosalie (ed.); Yang, Fan (ed.) Dick de Jongh on intuitionistic and provability logics. (English) Zbl 07821816 Outstanding Contributions to Logic 28. Cham: Springer (ISBN 978-3-031-47920-5/hbk; 978-3-031-47923-6/pbk; 978-3-031-47921-2/ebook). x, 384 p. (2024). MSC: 03-06 03B20 03B45 03F45 00B15 PDFBibTeX XMLCite \textit{N. Bezhanishvili} (ed.) et al., Dick de Jongh on intuitionistic and provability logics. Cham: Springer (2024; Zbl 07821816) Full Text: DOI
Piecha, Thomas (ed.); Wehmeier, Kai F. (ed.) Peter Schroeder-Heister on proof-theoretic semantics. (English) Zbl 07821812 Outstanding Contributions to Logic 29. Cham: Springer (ISBN 978-3-031-50980-3/hbk; 978-3-031-50983-4/pbk; 978-3-031-50981-0/ebook). x, 463 p., open access (2024). MSC: 03-06 03Fxx 00B30 PDFBibTeX XMLCite \textit{T. Piecha} (ed.) and \textit{K. F. Wehmeier} (ed.), Peter Schroeder-Heister on proof-theoretic semantics. Cham: Springer (2024; Zbl 07821812) Full Text: DOI OA License
Marker, David An invitation to mathematical logic. (English) Zbl 07814037 Graduate Texts in Mathematics 301. Cham: Springer (ISBN 978-3-031-55367-7/hbk; 978-3-031-55370-7/pbk; 978-3-031-55368-4/ebook). xviii, 357 p. (2024). MSC: 03-01 03Cxx 03Dxx 03Fxx PDFBibTeX XMLCite \textit{D. Marker}, An invitation to mathematical logic. Cham: Springer (2024; Zbl 07814037) Full Text: DOI
Tranchini, Luca Harmony and paradox. Intensional aspects of proof-theoretic semantics. (English) Zbl 07813675 Trends in Logic 62. Cham: Springer (ISBN 978-3-031-46920-6/hbk; 978-3-031-46923-7/pbk; 978-3-031-46921-3/ebook). xv, 184 p., open access (2024). MSC: 03-02 03F03 PDFBibTeX XMLCite \textit{L. Tranchini}, Harmony and paradox. Intensional aspects of proof-theoretic semantics. Cham: Springer (2024; Zbl 07813675) Full Text: DOI
Aguilera, J. P.; Pakhomov, F.; Weiermann, A. Functorial fast-growing hierarchies. (English) Zbl 07801005 Forum Math. Sigma 12, Paper No. e15, 16 p. (2024). MSC: 03B30 03F15 03F35 18A15 18B35 PDFBibTeX XMLCite \textit{J. P. Aguilera} et al., Forum Math. Sigma 12, Paper No. e15, 16 p. (2024; Zbl 07801005) Full Text: DOI arXiv OA License
Pischke, Nicholas Rates of convergence for the asymptotic behavior of second-order Cauchy problems. (English) Zbl 07799727 J. Math. Anal. Appl. 533, No. 2, Article ID 128078, 15 p. (2024). MSC: 47Hxx 03Fxx 34Gxx PDFBibTeX XMLCite \textit{N. Pischke}, J. Math. Anal. Appl. 533, No. 2, Article ID 128078, 15 p. (2024; Zbl 07799727) Full Text: DOI arXiv
Westerståhl, Dag Foundations of logic. Completeness, incompleteness, computability. (English) Zbl 07798053 Stanford, CA: CSLI Publications (ISBN 978-1-68400-000-5/pbk; 978-1-68400-078-4/ebook). (2024). MSC: 03-01 03B10 03Dxx 03F40 PDFBibTeX XML
Wcisło, Bartosz Compositional truth with propositional tautologies and quantifier-free correctness. (English) Zbl 1537.03091 Arch. Math. Logic 63, No. 1-2, 239-257 (2024). Reviewer: Roman Kossak (New York) MSC: 03H15 03C62 03F30 03A05 03B30 PDFBibTeX XMLCite \textit{B. Wcisło}, Arch. Math. Logic 63, No. 1--2, 239--257 (2024; Zbl 1537.03091) Full Text: DOI arXiv OA License
Pulcini, Gabriele Cut elimination by unthreading. (English) Zbl 07790938 Arch. Math. Logic 63, No. 1-2, 211-223 (2024). MSC: 03F03 03F05 03F07 PDFBibTeX XMLCite \textit{G. Pulcini}, Arch. Math. Logic 63, No. 1--2, 211--223 (2024; Zbl 07790938) Full Text: DOI OA License
Iljazović, Zvonko; Jelić, Matea Computable approximations of a chainable continuum with a computable endpoint. (English) Zbl 07790936 Arch. Math. Logic 63, No. 1-2, 181-201 (2024). MSC: 03D78 03F60 PDFBibTeX XMLCite \textit{Z. Iljazović} and \textit{M. Jelić}, Arch. Math. Logic 63, No. 1--2, 181--201 (2024; Zbl 07790936) Full Text: DOI
Cordón-Franco, Andrés; Lara-Martín, F. Félix Semi-honest subrecursive degrees and the collection rule in arithmetic. (English) Zbl 1537.03086 Arch. Math. Logic 63, No. 1-2, 163-180 (2024). Reviewer: Roman Murawski (Poznań) MSC: 03F30 03D20 PDFBibTeX XMLCite \textit{A. Cordón-Franco} and \textit{F. F. Lara-Martín}, Arch. Math. Logic 63, No. 1--2, 163--180 (2024; Zbl 1537.03086) Full Text: DOI
Miyamoto, Kenji; Moser, Georg Herbrand complexity and the epsilon calculus with equality. (English) Zbl 07790932 Arch. Math. Logic 63, No. 1-2, 89-118 (2024). MSC: 03F05 03F07 03F20 PDFBibTeX XMLCite \textit{K. Miyamoto} and \textit{G. Moser}, Arch. Math. Logic 63, No. 1--2, 89--118 (2024; Zbl 07790932) Full Text: DOI
Granberg Olsson, Mattias; Leigh, Graham E. Revisiting the conservativity of fixpoints over intuitionistic arithmetic. (English) Zbl 1540.03106 Arch. Math. Logic 63, No. 1-2, 61-87 (2024). Reviewer: Bruno Dinis (Évora) MSC: 03F50 03F25 03F30 03F55 PDFBibTeX XMLCite \textit{M. Granberg Olsson} and \textit{G. E. Leigh}, Arch. Math. Logic 63, No. 1--2, 61--87 (2024; Zbl 1540.03106) Full Text: DOI arXiv OA License
Iwata, Sohei; Kurahashi, Taishi; Okawa, Yuya The fixed point and the Craig interpolation properties for sublogics of IL. (English) Zbl 07790929 Arch. Math. Logic 63, No. 1-2, 1-37 (2024). MSC: 03B45 03F45 PDFBibTeX XMLCite \textit{S. Iwata} et al., Arch. Math. Logic 63, No. 1--2, 1--37 (2024; Zbl 07790929) Full Text: DOI arXiv OA License
Matthews, Richard; Rathjen, Michael Constructing the constructible universe constructively. (English) Zbl 07785165 Ann. Pure Appl. Logic 175, No. 3, Article ID 103392, 25 p. (2024). MSC: 03E45 03E70 03D65 03E10 03F55 PDFBibTeX XMLCite \textit{R. Matthews} and \textit{M. Rathjen}, Ann. Pure Appl. Logic 175, No. 3, Article ID 103392, 25 p. (2024; Zbl 07785165) Full Text: DOI arXiv
Gorbunov, Igor; Shkatov, Dmitry Extensions of Solovay’s system \(\mathbf{S}\) without independent sets of axioms. (English) Zbl 07748769 Ann. Pure Appl. Logic 175, No. 1, Article ID 103360, 23 p. (2024). MSC: 03B45 03B22 03F45 03F07 PDFBibTeX XMLCite \textit{I. Gorbunov} and \textit{D. Shkatov}, Ann. Pure Appl. Logic 175, No. 1, Article ID 103360, 23 p. (2024; Zbl 07748769) Full Text: DOI
Bufetov, Alexander I.; Nivasch, Gabriel; Pakhomov, Fedor Generalized fusible numbers and their ordinals. (English) Zbl 07748764 Ann. Pure Appl. Logic 175, No. 1, Article ID 103355, 25 p. (2024). MSC: 03F15 03D60 03B70 PDFBibTeX XMLCite \textit{A. I. Bufetov} et al., Ann. Pure Appl. Logic 175, No. 1, Article ID 103355, 25 p. (2024; Zbl 07748764) Full Text: DOI arXiv
Bazhenov, Nikolay; Fiori-Carones, Marta; Liu, Lu; Melnikov, Alexander Primitive recursive reverse mathematics. (English) Zbl 07748763 Ann. Pure Appl. Logic 175, No. 1, Article ID 103354, 55 p. (2024). MSC: 03B30 03F35 03D20 03C57 03D78 PDFBibTeX XMLCite \textit{N. Bazhenov} et al., Ann. Pure Appl. Logic 175, No. 1, Article ID 103354, 55 p. (2024; Zbl 07748763) Full Text: DOI arXiv
Sanders, Sam Coding is hard. arXiv:2409.04562 Preprint, arXiv:2409.04562 [math.LO] (2024). MSC: 03B30 03F35 BibTeX Cite \textit{S. Sanders}, ``Coding is hard'', Preprint, arXiv:2409.04562 [math.LO] (2024) Full Text: arXiv OA License
Andréka, H.; Németi, I.; Tuza, Zs. Transposition of variables is hard to describe. arXiv:2409.04088 Preprint, arXiv:2409.04088 [math.LO] (2024). MSC: 03B20 03G15 05E16 03F20 51E15 20M20 08B15 BibTeX Cite \textit{H. Andréka} et al., ``Transposition of variables is hard to describe'', Preprint, arXiv:2409.04088 [math.LO] (2024) Full Text: arXiv OA License
Sun, Mengzhou The Kaufmann–Clote question on end extensions of models of arithmetic and the weak regularity principle. arXiv:2409.03527 Preprint, arXiv:2409.03527 [math.LO] (2024). MSC: 03C62 03F30 03H15 03F35 BibTeX Cite \textit{M. Sun}, ``The Kaufmann--Clote question on end extensions of models of arithmetic and the weak regularity principle'', Preprint, arXiv:2409.03527 [math.LO] (2024) Full Text: arXiv OA License
Ferreira, Gilda; Oliva, Paulo; Protin, Clarence Lewis On the Various Translations between Classical, Intuitionistic and Linear Logic. arXiv:2409.02249 Preprint, arXiv:2409.02249 [math.LO] (2024). MSC: 03F52 03B20 03F07 03F25 BibTeX Cite \textit{G. Ferreira} et al., ``On the Various Translations between Classical, Intuitionistic and Linear Logic'', Preprint, arXiv:2409.02249 [math.LO] (2024) Full Text: arXiv OA License
Pacheco, Leonardo Collapsing Constructive and Intuitionistic Modal Logics. arXiv:2408.16428 Preprint, arXiv:2408.16428 [math.LO] (2024). MSC: 03B45 03F55 BibTeX Cite \textit{L. Pacheco}, ``Collapsing Constructive and Intuitionistic Modal Logics'', Preprint, arXiv:2408.16428 [math.LO] (2024) Full Text: arXiv OA License
Sanders, Sam Connecting real and hyperarithmetical analysis. arXiv:2408.13760 Preprint, arXiv:2408.13760 [math.LO] (2024). MSC: 03B30 03F35 BibTeX Cite \textit{S. Sanders}, ``Connecting real and hyperarithmetical analysis'', Preprint, arXiv:2408.13760 [math.LO] (2024) Full Text: arXiv OA License
Deakin, Jonte; de Groot, Jim Sub-sub-intuitionistic logic. arXiv:2408.12030 Preprint, arXiv:2408.12030 [math.LO] (2024). MSC: 03F55 03B45 03G10 BibTeX Cite \textit{J. Deakin} and \textit{J. de Groot}, ``Sub-sub-intuitionistic logic'', Preprint, arXiv:2408.12030 [math.LO] (2024) Full Text: arXiv OA License
Kuroki, Ryota A constructive counterpart of the subdirect representation theorem for reduced rings. arXiv:2408.09222 Preprint, arXiv:2408.09222 [math.RA] (2024). MSC: 16D70 16N60 16U80 16Z05 03F65 BibTeX Cite \textit{R. Kuroki}, ``A constructive counterpart of the subdirect representation theorem for reduced rings'', Preprint, arXiv:2408.09222 [math.RA] (2024) Full Text: arXiv OA License
Wenmackers, Sylvia On the limits of comparing subset sizes within \(\mathbb{N}\). arXiv:2408.03344 Preprint, arXiv:2408.03344 [math.LO] (2024). MSC: 00A30 03A05 11B05 03H05 28E15 03E25 03F65 BibTeX Cite \textit{S. Wenmackers}, ``On the limits of comparing subset sizes within $\mathbb{N}$'', Preprint, arXiv:2408.03344 [math.LO] (2024) Full Text: arXiv OA License
Wcisło, Bartosz Classical determinate truth without induction. arXiv:2408.01198 Preprint, arXiv:2408.01198 [math.LO] (2024). MSC: 03H15 03F30 03C62 03A05 BibTeX Cite \textit{B. Wcisło}, ``Classical determinate truth without induction'', Preprint, arXiv:2408.01198 [math.LO] (2024) Full Text: arXiv OA License
Kanovei, Vladimir; Lyubetsky, Vassily On the significance of parameters and the projective level in the Choice and Comprehension axioms. arXiv:2407.20098 Preprint, arXiv:2407.20098 [math.LO] (2024). MSC: 03E25 03E35 03F35 03E15 BibTeX Cite \textit{V. Kanovei} and \textit{V. Lyubetsky}, ``On the significance of parameters and the projective level in the Choice and Comprehension axioms'', Preprint, arXiv:2407.20098 [math.LO] (2024) Full Text: arXiv OA License
Trotta, Davide; Weinberger, Jonathan; de Paiva, Valeria Skolem, Gödel, and Hilbert fibrations. arXiv:2407.15765 Preprint, arXiv:2407.15765 [math.CT] (2024). MSC: 18D30 03G30 03F03 BibTeX Cite \textit{D. Trotta} et al., ``Skolem, Gödel, and Hilbert fibrations'', Preprint, arXiv:2407.15765 [math.CT] (2024) Full Text: arXiv OA License
Beklemishev, Lev D.; Pakhomov, Fedor N. Automatic structures and the problem of natural well-orderings. arXiv:2407.10198 Preprint, arXiv:2407.10198 [math.LO] (2024). MSC: 03F15 03D05 03D45 BibTeX Cite \textit{L. D. Beklemishev} and \textit{F. N. Pakhomov}, ``Automatic structures and the problem of natural well-orderings'', Preprint, arXiv:2407.10198 [math.LO] (2024) Full Text: arXiv OA License
Beklemishev, Lev D.; Wang, Yunsong Periodic frames. arXiv:2407.10190 Preprint, arXiv:2407.10190 [math.LO] (2024). MSC: 03F45 03B45 54G12 54H10 BibTeX Cite \textit{L. D. Beklemishev} and \textit{Y. Wang}, ``Periodic frames'', Preprint, arXiv:2407.10190 [math.LO] (2024) Full Text: arXiv OA License
Houérou, Quentin Le; Patey, Ludovic Levy; Mimouni, Ahmed The reverse mathematics of the pigeonhole hierarchy. arXiv:2407.01236 Preprint, arXiv:2407.01236 [math.LO] (2024). MSC: 03B30 03F30 05D10 03D80 BibTeX Cite \textit{Q. Le Houérou} et al., ``The reverse mathematics of the pigeonhole hierarchy'', Preprint, arXiv:2407.01236 [math.LO] (2024) Full Text: arXiv OA License
Neri, Morenikeji; Powell, Thomas On quantitative convergence for stochastic processes: Crossings, fluctuations and martingales. arXiv:2406.19979 Preprint, arXiv:2406.19979 [math.PR] (2024). MSC: 03F10 60G42 03F03 03F60 60G05 BibTeX Cite \textit{M. Neri} and \textit{T. Powell}, ``On quantitative convergence for stochastic processes: Crossings, fluctuations and martingales'', Preprint, arXiv:2406.19979 [math.PR] (2024) Full Text: arXiv OA License
Neri, Morenikeji Quantitative Strong Laws of Large Numbers. arXiv:2406.19166 Preprint, arXiv:2406.19166 [math.PR] (2024). MSC: 60F10 60F15 03F99 BibTeX Cite \textit{M. Neri}, ``Quantitative Strong Laws of Large Numbers'', Preprint, arXiv:2406.19166 [math.PR] (2024) Full Text: arXiv OA License
Lombardi, Henri; Mahboubi, Assia Théories géométriques pour l’algèbre des nombres réels sans test de signe ni axiome de choix dépendant. arXiv:2406.15218 Preprint, arXiv:2406.15218 [math.LO] (2024). MSC: 12D15 12J15 14Q20 14P10 03F65 03B35 BibTeX Cite \textit{H. Lombardi} and \textit{A. Mahboubi}, ``Théories géométriques pour l'algèbre des nombres réels sans test de signe ni axiome de choix dépendant'', Preprint, arXiv:2406.15218 [math.LO] (2024) Full Text: arXiv OA License
Freund, Anton Fraïssé’s conjecture, partial impredicativity and well-ordering principles, part I. arXiv:2406.13485 Preprint, arXiv:2406.13485 [math.LO] (2024). MSC: 03B30 03F35 BibTeX Cite \textit{A. Freund}, ``Fraïssé's conjecture, partial impredicativity and well-ordering principles, part I'', Preprint, arXiv:2406.13485 [math.LO] (2024) Full Text: arXiv OA License
Normann, Dag; Sanders, Sam On two recent extensions of the Big Five of Reverse Mathematics. arXiv:2406.10716 Preprint, arXiv:2406.10716 [math.LO] (2024). MSC: 03B30 03F35 BibTeX Cite \textit{D. Normann} and \textit{S. Sanders}, ``On two recent extensions of the Big Five of Reverse Mathematics'', Preprint, arXiv:2406.10716 [math.LO] (2024) Full Text: arXiv OA License