Schuster, Peter; Wessel, Daniel The Jacobson radical for an inconsistency predicate. (English) Zbl 07527242 Computability 11, No. 2, 147-162 (2022). MSC: 03Dxx PDF BibTeX XML Cite \textit{P. Schuster} and \textit{D. Wessel}, Computability 11, No. 2, 147--162 (2022; Zbl 07527242) Full Text: DOI OpenURL
Golov, Anton; Terwijn, Sebastiaan A. Fixpoints and relative precompleteness. (English) Zbl 07527241 Computability 11, No. 2, 135-146 (2022). MSC: 03Dxx PDF BibTeX XML Cite \textit{A. Golov} and \textit{S. A. Terwijn}, Computability 11, No. 2, 135--146 (2022; Zbl 07527241) Full Text: DOI OpenURL
Weihrauch, Klaus Intersection points of planar curves can be computed. (English) Zbl 07527240 Computability 11, No. 2, 113-133 (2022). MSC: 03Dxx PDF BibTeX XML Cite \textit{K. Weihrauch}, Computability 11, No. 2, 113--133 (2022; Zbl 07527240) Full Text: DOI OpenURL
Lutz, Neil; Stull, D. M. Dimension spectra of lines. (English) Zbl 07527239 Computability 11, No. 2, 85-112 (2022). MSC: 03Dxx PDF BibTeX XML Cite \textit{N. Lutz} and \textit{D. M. Stull}, Computability 11, No. 2, 85--112 (2022; Zbl 07527239) Full Text: DOI OpenURL
Chou, Yu-Lin A Schröder-Bernstein construction of homeomorphisms of \(P\)-spaces. (English) Zbl 07527195 Acta Math. Univ. Comen., New Ser. 91, No. 1, 81-86 (2022). MSC: 54C05 54C10 54C25 03E75 PDF BibTeX XML Cite \textit{Y.-L. Chou}, Acta Math. Univ. Comen., New Ser. 91, No. 1, 81--86 (2022; Zbl 07527195) Full Text: Link OpenURL
Lengvárszky, Zsolt; Szarvas, Tibor The law of cosines with differential calculus and without. (English) Zbl 07525730 Coll. Math. J. 53, No. 2, 98-103 (2022). MSC: 26-XX 03-XX PDF BibTeX XML Cite \textit{Z. Lengvárszky} and \textit{T. Szarvas}, Coll. Math. J. 53, No. 2, 98--103 (2022; Zbl 07525730) Full Text: DOI OpenURL
Köcher, Chris Rational, recognizable, and aperiodic partially lossy queue languages. (English) Zbl 07525091 Int. J. Algebra Comput. 32, No. 3, 483-528 (2022). MSC: 03D05 03D10 68P05 68Q45 PDF BibTeX XML Cite \textit{C. Köcher}, Int. J. Algebra Comput. 32, No. 3, 483--528 (2022; Zbl 07525091) Full Text: DOI OpenURL
Evetts, Alex; Levine, Alex Equations in virtually abelian groups: languages and growth. (English) Zbl 07525088 Int. J. Algebra Comput. 32, No. 3, 411-442 (2022). MSC: 03D05 20F10 20F65 20K35 68Q45 PDF BibTeX XML Cite \textit{A. Evetts} and \textit{A. Levine}, Int. J. Algebra Comput. 32, No. 3, 411--442 (2022; Zbl 07525088) Full Text: DOI OpenURL
GrebÍk, Jan Approximate Schreier decorations and approximate Kőnig’s line coloring theorem. (Décorations de Schreier approchées et un théorème de coloriage de lignes de Kőnig approché.) (English. French summary) Zbl 07524687 Ann. Henri Lebesgue 5, 303-315 (2022). MSC: 37A50 03E15 20E05 05C15 28A05 PDF BibTeX XML Cite \textit{J. GrebÍk}, Ann. Henri Lebesgue 5, 303--315 (2022; Zbl 07524687) Full Text: DOI OpenURL
Li, Ming-Chia On the Banach mapping theorem and a related conjecture. (English) Zbl 07524619 Rocky Mt. J. Math. 52, No. 1, 183-187 (2022). MSC: 03E30 37B35 37C25 47H10 PDF BibTeX XML Cite \textit{M.-C. Li}, Rocky Mt. J. Math. 52, No. 1, 183--187 (2022; Zbl 07524619) Full Text: DOI Link OpenURL
Badano, Mariana; Campercholi, Miguel A.; Vaggione, Diego J. Varieties with existentially definable factor congruences. (English) Zbl 07524481 Algebra Univers. 83, No. 2, Paper No. 19, 22 p. (2022). MSC: 03C05 08B05 08B10 PDF BibTeX XML Cite \textit{M. Badano} et al., Algebra Univers. 83, No. 2, Paper No. 19, 22 p. (2022; Zbl 07524481) Full Text: DOI OpenURL
Mofidi, Alireza On the number of cycles of graphs and VC-dimension. (English) Zbl 07524409 Facta Univ., Ser. Math. Inf. 37, No. 1, 121-135 (2022). MSC: 05C38 05C65 03C13 PDF BibTeX XML Cite \textit{A. Mofidi}, Facta Univ., Ser. Math. Inf. 37, No. 1, 121--135 (2022; Zbl 07524409) Full Text: DOI OpenURL
Gerbner, Dániel; Palmer, Cory Some exact results for generalized Turán problems. (English) Zbl 07524338 Eur. J. Comb. 103, Article ID 103519, 13 p. (2022). MSC: 05Cxx 03Cxx 05Axx PDF BibTeX XML Cite \textit{D. Gerbner} and \textit{C. Palmer}, Eur. J. Comb. 103, Article ID 103519, 13 p. (2022; Zbl 07524338) Full Text: DOI OpenURL
Gärtner, Hans-Martin Copies from “Standard set theory”? A note on the foundations of minimalist syntax in reaction to Chomsky, Gallego and Ott (2019). (English) Zbl 07524062 J. Logic Lang. Inf. 31, No. 1, 129-135 (2022). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{H.-M. Gärtner}, J. Logic Lang. Inf. 31, No. 1, 129--135 (2022; Zbl 07524062) Full Text: DOI OpenURL
Zuber, R. Anaphoric conservativity. (English) Zbl 07524061 J. Logic Lang. Inf. 31, No. 1, 113-128 (2022). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{R. Zuber}, J. Logic Lang. Inf. 31, No. 1, 113--128 (2022; Zbl 07524061) Full Text: DOI OpenURL
Tang, Liping Ambiguity advantage under meaning activation. (English) Zbl 07524060 J. Logic Lang. Inf. 31, No. 1, 99-112 (2022). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{L. Tang}, J. Logic Lang. Inf. 31, No. 1, 99--112 (2022; Zbl 07524060) Full Text: DOI OpenURL
Osta-Vélez, Matías; Gärdenfors, Peter Nonmonotonic reasoning, expectations orderings, and conceptual spaces. (English) Zbl 07524059 J. Logic Lang. Inf. 31, No. 1, 77-97 (2022). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{M. Osta-Vélez} and \textit{P. Gärdenfors}, J. Logic Lang. Inf. 31, No. 1, 77--97 (2022; Zbl 07524059) Full Text: DOI OpenURL
Moot, Richard; Stevens-Guille, Symon Jory Logical foundations for hybrid type-logical grammars. (English) Zbl 07524058 J. Logic Lang. Inf. 31, No. 1, 35-76 (2022). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{R. Moot} and \textit{S. J. Stevens-Guille}, J. Logic Lang. Inf. 31, No. 1, 35--76 (2022; Zbl 07524058) Full Text: DOI OpenURL
Chow, Ka-fat Relational syllogisms with numerical quantifiers and beyond. (English) Zbl 07524057 J. Logic Lang. Inf. 31, No. 1, 1-34 (2022). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{K.-f. Chow}, J. Logic Lang. Inf. 31, No. 1, 1--34 (2022; Zbl 07524057) Full Text: DOI OpenURL
Miroiu, Adrian; Dumitru, Mircea Representing voting rules in Łukasiewicz’s three-valued logic. (English) Zbl 07523495 J. Appl. Non-Class. Log. 32, No. 1, 72-88 (2022). MSC: 03-XX PDF BibTeX XML Cite \textit{A. Miroiu} and \textit{M. Dumitru}, J. Appl. Non-Class. Log. 32, No. 1, 72--88 (2022; Zbl 07523495) Full Text: DOI OpenURL
Aghahadi, Zeinab; Talebpour, Alireza Avicenna: a challenge dataset for natural language generation toward commonsense syllogistic reasoning. (English) Zbl 07523494 J. Appl. Non-Class. Log. 32, No. 1, 55-71 (2022). MSC: 03-XX PDF BibTeX XML Cite \textit{Z. Aghahadi} and \textit{A. Talebpour}, J. Appl. Non-Class. Log. 32, No. 1, 55--71 (2022; Zbl 07523494) Full Text: DOI OpenURL
Guelev, Dimitar P.; Moszkowski, Ben A separation theorem for discrete-time interval temporal logic. (English) Zbl 07523493 J. Appl. Non-Class. Log. 32, No. 1, 28-54 (2022). MSC: 03-XX PDF BibTeX XML Cite \textit{D. P. Guelev} and \textit{B. Moszkowski}, J. Appl. Non-Class. Log. 32, No. 1, 28--54 (2022; Zbl 07523493) Full Text: DOI OpenURL
Jana, Purbita; Chakraborty, Mihir K. A categorical approach to graded fuzzy topological system and fuzzy geometric logic with graded consequence. (English) Zbl 07523492 J. Appl. Non-Class. Log. 32, No. 1, 11-27 (2022). MSC: 54A40 94D05 03B52 PDF BibTeX XML Cite \textit{P. Jana} and \textit{M. K. Chakraborty}, J. Appl. Non-Class. Log. 32, No. 1, 11--27 (2022; Zbl 07523492) Full Text: DOI OpenURL
Joaquin, Jeremiah Joven Infectious and transparent emotivism. (English) Zbl 07523491 J. Appl. Non-Class. Log. 32, No. 1, 1-10 (2022). MSC: 03-XX PDF BibTeX XML Cite \textit{J. J. Joaquin}, J. Appl. Non-Class. Log. 32, No. 1, 1--10 (2022; Zbl 07523491) Full Text: DOI OpenURL
Sabeti, Rostam Confluent complement: an algorithm for the intersection of face ideals. (English) Zbl 07523444 Japan J. Ind. Appl. Math. 39, No. 2, 693-715 (2022). MSC: 03D20 68W30 68Q25 13P10 PDF BibTeX XML Cite \textit{R. Sabeti}, Japan J. Ind. Appl. Math. 39, No. 2, 693--715 (2022; Zbl 07523444) Full Text: DOI OpenURL
Gannon, Kyle Sequential approximations for types and Keisler measures. (English) Zbl 07523106 Fundam. Math. 257, No. 3, 305-336 (2022). MSC: 03C45 03C68 PDF BibTeX XML Cite \textit{K. Gannon}, Fundam. Math. 257, No. 3, 305--336 (2022; Zbl 07523106) Full Text: DOI OpenURL
Cardona, Miguel A. On cardinal characteristics associated with the strong measure zero ideal. (English) Zbl 07523105 Fundam. Math. 257, No. 3, 289-304 (2022). MSC: 03E10 03E17 03E35 PDF BibTeX XML Cite \textit{M. A. Cardona}, Fundam. Math. 257, No. 3, 289--304 (2022; Zbl 07523105) Full Text: DOI OpenURL
Cieśla, Tomasz; Sabok, Marcin Measurable Hall’s theorem for actions of abelian groups. (English) Zbl 07523089 J. Eur. Math. Soc. (JEMS) 24, No. 8, 2751-2773 (2022). MSC: 03E15 05C21 37A20 28A20 PDF BibTeX XML Cite \textit{T. Cieśla} and \textit{M. Sabok}, J. Eur. Math. Soc. (JEMS) 24, No. 8, 2751--2773 (2022; Zbl 07523089) Full Text: DOI OpenURL
Bukh, Boris; Cox, Christopher Periodic words, common subsequences and frogs. (English) Zbl 07522874 Ann. Appl. Probab. 32, No. 2, 1295-1332 (2022). MSC: 03-XX PDF BibTeX XML Cite \textit{B. Bukh} and \textit{C. Cox}, Ann. Appl. Probab. 32, No. 2, 1295--1332 (2022; Zbl 07522874) Full Text: DOI OpenURL
Ferenczi, Miklós Quasi-polyadic algebras and their dual position. (English) Zbl 07522858 Notre Dame J. Formal Logic 63, No. 1, 121-136 (2022). MSC: 03G15 03G27 PDF BibTeX XML Cite \textit{M. Ferenczi}, Notre Dame J. Formal Logic 63, No. 1, 121--136 (2022; Zbl 07522858) Full Text: DOI OpenURL
Chavez, Jose; Krueger, John Some results on non-club isomorphic Aronszajn trees. (English) Zbl 07522857 Notre Dame J. Formal Logic 63, No. 1, 109-120 (2022). MSC: 03E05 03E65 PDF BibTeX XML Cite \textit{J. Chavez} and \textit{J. Krueger}, Notre Dame J. Formal Logic 63, No. 1, 109--120 (2022; Zbl 07522857) Full Text: DOI OpenURL
Cook, Roy T. Outline of an intensional theory of truth. (English) Zbl 07522856 Notre Dame J. Formal Logic 63, No. 1, 81-108 (2022). MSC: 03B50 03A05 PDF BibTeX XML Cite \textit{R. T. Cook}, Notre Dame J. Formal Logic 63, No. 1, 81--108 (2022; Zbl 07522856) Full Text: DOI OpenURL
Dolich, Alfred; Goodrick, John Tame topology over definable uniform structures. (English) Zbl 07522855 Notre Dame J. Formal Logic 63, No. 1, 51-79 (2022). MSC: 03C45 03C64 PDF BibTeX XML Cite \textit{A. Dolich} and \textit{J. Goodrick}, Notre Dame J. Formal Logic 63, No. 1, 51--79 (2022; Zbl 07522855) Full Text: DOI OpenURL
Kurahashi, Taishi; Okawa, Yuya Effectively constructible fixed points in Sacchetti’s modal logics of provability. (English) Zbl 07522854 Notre Dame J. Formal Logic 63, No. 1, 35-49 (2022). MSC: 03B45 03F45 PDF BibTeX XML Cite \textit{T. Kurahashi} and \textit{Y. Okawa}, Notre Dame J. Formal Logic 63, No. 1, 35--49 (2022; Zbl 07522854) Full Text: DOI OpenURL
Conversano, Annalisa; Mamino, Marcello One Lie group to define them all. (English) Zbl 07522853 Notre Dame J. Formal Logic 63, No. 1, 29-34 (2022). MSC: 03C60 22E99 PDF BibTeX XML Cite \textit{A. Conversano} and \textit{M. Mamino}, Notre Dame J. Formal Logic 63, No. 1, 29--34 (2022; Zbl 07522853) Full Text: DOI OpenURL
Sanders, Sam Representations and the foundations of mathematics. (English) Zbl 07522852 Notre Dame J. Formal Logic 63, No. 1, 1-28 (2022). MSC: 03B30 03F35 PDF BibTeX XML Cite \textit{S. Sanders}, Notre Dame J. Formal Logic 63, No. 1, 1--28 (2022; Zbl 07522852) Full Text: DOI OpenURL
Shaviv, Ary Corrigendum to: “Tempered distributions and Schwartz functions on definable manifolds”. (English) Zbl 07517631 J. Funct. Anal. 283, No. 2, Article ID 109482, 5 p. (2022). MSC: 46F05 46T30 58A07 03C64 46A11 22E45 PDF BibTeX XML Cite \textit{A. Shaviv}, J. Funct. Anal. 283, No. 2, Article ID 109482, 5 p. (2022; Zbl 07517631) Full Text: DOI OpenURL
Lev, Felix M. Discussion of foundation of mathematics and quantum theory. (English) Zbl 07517542 Open Math. 20, 94-107 (2022). MSC: 03A05 11Axx 11Txx 13Mxx 16Gxx 81R05 PDF BibTeX XML Cite \textit{F. M. Lev}, Open Math. 20, 94--107 (2022; Zbl 07517542) Full Text: DOI OpenURL
Miller, Dale; Viel, Alexandre The undecidability of proof search when equality is a logical connective. (English) Zbl 07517440 Ann. Math. Artif. Intell. 90, No. 5, 523-535 (2022). MSC: 03F03 PDF BibTeX XML Cite \textit{D. Miller} and \textit{A. Viel}, Ann. Math. Artif. Intell. 90, No. 5, 523--535 (2022; Zbl 07517440) Full Text: DOI OpenURL
Balbiani, Philippe; Gencer, Çiğdem; Rostamigiv, Maryam; Tinchev, Tinko About the unification type of \(\mathbf{K}+\square \square \bot\). (English) Zbl 07517438 Ann. Math. Artif. Intell. 90, No. 5, 481-497 (2022). MSC: 03B45 03B70 68T27 PDF BibTeX XML Cite \textit{P. Balbiani} et al., Ann. Math. Artif. Intell. 90, No. 5, 481--497 (2022; Zbl 07517438) Full Text: DOI OpenURL
Gambetta, Emanuele Incompleteness and logic. (English) Zbl 07517363 Rome: Aracne Editrice (ISBN 979-12-5994-846-5/pbk; 979-12-5994-867-0/ebook). 204 p. (2022). MSC: 03-01 03-03 03F40 01A60 PDF BibTeX XML Cite \textit{E. Gambetta}, Incompleteness and logic. Rome: Aracne Editrice (2022; Zbl 07517363) OpenURL
Leira, Alberto; Jove, Esteban; Gonzalez-Cava, Jose M.; Casteleiro-Roca, José-Luis; Quintián, Héctor; Zayas-Gato, Francisco; Álvarez, Santiago Torres; Simić, Svetlana; Méndez-Pérez, Juan-Albino; Luis Calvo-Rolle, José One-class-based intelligent classifier for detecting anomalous situations during the anesthetic process. (English) Zbl 07517097 Log. J. IGPL 30, No. 2, 326-341 (2022). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{A. Leira} et al., Log. J. IGPL 30, No. 2, 326--341 (2022; Zbl 07517097) Full Text: DOI OpenURL
Fáñez, Mirko; Villar, José R.; de la Cal, Enrique; González, Víctor M.; Sedano, Javier Improving wearable-based fall detection with unsupervised learning. (English) Zbl 07517096 Log. J. IGPL 30, No. 2, 314-325 (2022). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{M. Fáñez} et al., Log. J. IGPL 30, No. 2, 314--325 (2022; Zbl 07517096) Full Text: DOI OpenURL
Sánchez, Luciano; Otero, José; González, Manuela; Anseán, David; Zülke, Alana A.; Couso, Inés Distal learning of the incremental capacity curve of a LiFePO\(_4\) battery. (English) Zbl 07517095 Log. J. IGPL 30, No. 2, 301-313 (2022). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{L. Sánchez} et al., Log. J. IGPL 30, No. 2, 301--313 (2022; Zbl 07517095) Full Text: DOI OpenURL
Zbrzezny, Agnieszka M.; Szymoniak, Sabina; Kurkowski, Miroslaw Practical approach in verification of security systems using satisfiability modulo theories. (English) Zbl 07517094 Log. J. IGPL 30, No. 2, 289-300 (2022). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{A. M. Zbrzezny} et al., Log. J. IGPL 30, No. 2, 289--300 (2022; Zbl 07517094) Full Text: DOI OpenURL
Vescan, Andreea; Pintea, Camelia-M.; Pop, Petrică C. Test case prioritization – ANT algorithm with faults severity. (English) Zbl 07517093 Log. J. IGPL 30, No. 2, 277-288 (2022). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{A. Vescan} et al., Log. J. IGPL 30, No. 2, 277--288 (2022; Zbl 07517093) Full Text: DOI OpenURL
Amor, Christian; Pérez, José M.; Schlatter, Philipp; Vinuesa, Ricardo; Le Clainche, Soledad Modeling the turbulent wake behind a wall-mounted square cylinder. (English) Zbl 07517092 Log. J. IGPL 30, No. 2, 263-276 (2022). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{C. Amor} et al., Log. J. IGPL 30, No. 2, 263--276 (2022; Zbl 07517092) Full Text: DOI OpenURL
Vega-Márquez, Belén; Rubio-Escudero, Cristina; Nepomuceno-Chamorro, Isabel Generation of synthetic data with conditional generative adversarial networks. (English) Zbl 07517091 Log. J. IGPL 30, No. 2, 252-262 (2022). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{B. Vega-Márquez} et al., Log. J. IGPL 30, No. 2, 252--262 (2022; Zbl 07517091) Full Text: DOI OpenURL
Wunderlich, Sarah; Ring, Markus; Landes, Dieter; Hotho, Andreas The impact of different system call representations on intrusion detection. (English) Zbl 07517090 Log. J. IGPL 30, No. 2, 239-251 (2022). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{S. Wunderlich} et al., Log. J. IGPL 30, No. 2, 239--251 (2022; Zbl 07517090) Full Text: DOI OpenURL
Cárdenas-Montes, Miguel Uncertainty estimation in the forecasting of the \(^{222}Rn\) radiation level time series at the Canfranc underground laboratory. (English) Zbl 07517089 Log. J. IGPL 30, No. 2, 227-238 (2022). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{M. Cárdenas-Montes}, Log. J. IGPL 30, No. 2, 227--238 (2022; Zbl 07517089) Full Text: DOI OpenURL
Trojaola, Ignacio; Elorza, Iker; Irigoyen, Eloy; Pujana-Arrese, Aron; Calleja, Carlos The effect of iterative learning control on the force control of a hydraulic cushion. (English) Zbl 07517088 Log. J. IGPL 30, No. 2, 214-226 (2022). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{I. Trojaola} et al., Log. J. IGPL 30, No. 2, 214--226 (2022; Zbl 07517088) Full Text: DOI OpenURL
Nguyen, Danny; Pak, Igor Short Presburger arithmetic is hard. (English) Zbl 07516620 SIAM J. Comput. 51, No. 2, STOC17-1-STOC17-30 (2022). MSC: 68Q17 68Q25 03D15 90C10 03B10 03B70 PDF BibTeX XML Cite \textit{D. Nguyen} and \textit{I. Pak}, SIAM J. Comput. 51, No. 2, STOC17--1-STOC17--30 (2022; Zbl 07516620) Full Text: DOI OpenURL
Verburgt, Lukas M. John Venn. A life in logic. (English) Zbl 07516528 Cambridge, MA: MIT Press (ISBN 978-0-226-81551-0/hbk; 978-0-226-81552-7/ebook). 448 p. (2022). MSC: 03-03 01A70 PDF BibTeX XML Cite \textit{L. M. Verburgt}, John Venn. A life in logic. Cambridge, MA: MIT Press (2022; Zbl 07516528) OpenURL
Feng, Yuan; Li, Sanjiang; Ying, Mingsheng Verification of distributed quantum programs. (English) Zbl 07516331 ACM Trans. Comput. Log. 23, No. 3, Article No. 19, 40 p. (2022). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{Y. Feng} et al., ACM Trans. Comput. Log. 23, No. 3, Article No. 19, 40 p. (2022; Zbl 07516331) Full Text: DOI OpenURL
Fomin, Fedor V.; Golovach, Petr A.; Thilikos, Dimitrios M. Parameterized complexity of elimination distance to first-order logic properties. (English) Zbl 07516330 ACM Trans. Comput. Log. 23, No. 3, Article No. 17, 35 p. (2022). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{F. V. Fomin} et al., ACM Trans. Comput. Log. 23, No. 3, Article No. 17, 35 p. (2022; Zbl 07516330) Full Text: DOI OpenURL
Gratzer, Daniel; Cavallo, Evan; Kavvos, G. A.; Guatto, Adrien; Birkedal, Lars Modalities and parametric adjoints. (English) Zbl 07516329 ACM Trans. Comput. Log. 23, No. 3, Article No. 18, 29 p. (2022). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{D. Gratzer} et al., ACM Trans. Comput. Log. 23, No. 3, Article No. 18, 29 p. (2022; Zbl 07516329) Full Text: DOI OpenURL
Razborov, Alexander An extremal problem motivated by triangle-free strongly regular graphs. (English) Zbl 07514794 J. Comb. Theory, Ser. B 155, 52-82 (2022). MSC: 05C35 03C13 05A16 05C42 05E30 PDF BibTeX XML Cite \textit{A. Razborov}, J. Comb. Theory, Ser. B 155, 52--82 (2022; Zbl 07514794) Full Text: DOI OpenURL
Burke, Dennis K. Paracompact in \( \mathsf{ZFC}\); CWN screenable Dowker in \( \mathsf{ZF}+\mathsf{AD}\). (English) Zbl 07514740 Topology Appl. 312, Article ID 108074, 12 p. (2022). MSC: 54D20 54D15 54A35 54H05 03E60 03E25 PDF BibTeX XML Cite \textit{D. K. Burke}, Topology Appl. 312, Article ID 108074, 12 p. (2022; Zbl 07514740) Full Text: DOI OpenURL
Bielas, Wojciech; Kucharski, Andrzej; Plewik, Szymon Inverse limits which are \(P\)-spaces. (English) Zbl 07514736 Topology Appl. 312, Article ID 108064, 18 p. (2022). MSC: 54G10 54A10 03E35 PDF BibTeX XML Cite \textit{W. Bielas} et al., Topology Appl. 312, Article ID 108064, 18 p. (2022; Zbl 07514736) Full Text: DOI OpenURL
Barrett, Jordan Mitchell; Downey, Rodney G.; Greenberg, Noam Cousin’s lemma in second-order arithmetic. (English) Zbl 07514667 Proc. Am. Math. Soc., Ser. B 9, 111-124 (2022). MSC: 03B30 03F35 03D78 26A39 PDF BibTeX XML Cite \textit{J. M. Barrett} et al., Proc. Am. Math. Soc., Ser. B 9, 111--124 (2022; Zbl 07514667) Full Text: DOI OpenURL
Özgün, Aybüke (ed.); Zinova, Yulia (ed.) Language, logic, and computation. 13th International Tbilisi symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019. Revised selected papers. (English) Zbl 07514197 Lecture Notes in Computer Science 13206. Lecture Notes in Artificial Intelligence. Cham: Springer (ISBN 978-3-030-98478-6/pbk; 978-3-030-98479-3/ebook). xvi, 355 p. (2022). MSC: 03-06 03Bxx 68T50 91F20 00B25 PDF BibTeX XML Cite \textit{A. Özgün} (ed.) and \textit{Y. Zinova} (ed.), Language, logic, and computation. 13th International Tbilisi symposium, TbiLLC 2019, Batumi, Georgia, September 16--20, 2019. Revised selected papers. Cham: Springer (2022; Zbl 07514197) Full Text: DOI OpenURL
Greenfeld, Be’eri First-order rigidity of rings satisfying polynomial identities. (English) Zbl 07514094 Ann. Pure Appl. Logic 173, No. 6, Article ID 103109, 8 p. (2022). MSC: 16P40 03C68 16R30 16R99 16R20 PDF BibTeX XML Cite \textit{B. Greenfeld}, Ann. Pure Appl. Logic 173, No. 6, Article ID 103109, 8 p. (2022; Zbl 07514094) Full Text: DOI OpenURL
Benhamou, Tom; Gitik, Moti Intermediate models of Magidor-Radin forcing. II. (English) Zbl 07514093 Ann. Pure Appl. Logic 173, No. 6, Article ID 103107, 70 p. (2022). MSC: 03E55 03E40 03E10 03E05 PDF BibTeX XML Cite \textit{T. Benhamou} and \textit{M. Gitik}, Ann. Pure Appl. Logic 173, No. 6, Article ID 103107, 70 p. (2022; Zbl 07514093) Full Text: DOI OpenURL
Gitman, Victoria; Johnstone, Thomas A. Indestructibility properties of Ramsey and Ramsey-like cardinals. (English) Zbl 07514092 Ann. Pure Appl. Logic 173, No. 6, Article ID 103106, 30 p. (2022). MSC: 03E35 03E55 03E30 03E05 PDF BibTeX XML Cite \textit{V. Gitman} and \textit{T. A. Johnstone}, Ann. Pure Appl. Logic 173, No. 6, Article ID 103106, 30 p. (2022; Zbl 07514092) Full Text: DOI OpenURL
Van Hille, Siegfried Mild parametrizations of power-subanalytic sets. (English) Zbl 07514091 Ann. Pure Appl. Logic 173, No. 6, Article ID 103105, 19 p. (2022). MSC: 14P15 03C98 11D99 PDF BibTeX XML Cite \textit{S. Van Hille}, Ann. Pure Appl. Logic 173, No. 6, Article ID 103105, 19 p. (2022; Zbl 07514091) Full Text: DOI OpenURL
Emmenegger, Jacopo; Pasquali, Fabio; Rosolini, Giuseppe A characterisation of elementary fibrations. (English) Zbl 07514090 Ann. Pure Appl. Logic 173, No. 6, Article ID 103103, 29 p. (2022). MSC: 03G30 18C40 18C50 18D30 18D40 18N45 PDF BibTeX XML Cite \textit{J. Emmenegger} et al., Ann. Pure Appl. Logic 173, No. 6, Article ID 103103, 29 p. (2022; Zbl 07514090) Full Text: DOI OpenURL
Yang, Fan Propositional union closed team logics. (English) Zbl 07514089 Ann. Pure Appl. Logic 173, No. 6, Article ID 103102, 35 p. (2022). MSC: 03B60 03B05 03B70 03B20 PDF BibTeX XML Cite \textit{F. Yang}, Ann. Pure Appl. Logic 173, No. 6, Article ID 103102, 35 p. (2022; Zbl 07514089) Full Text: DOI OpenURL
Petersen, Uwe Is cut-free logic fit for unrestricted abstraction? (English) Zbl 07514088 Ann. Pure Appl. Logic 173, No. 6, Article ID 103101, 22 p. (2022). MSC: 03B53 03B16 03F45 03F40 PDF BibTeX XML Cite \textit{U. Petersen}, Ann. Pure Appl. Logic 173, No. 6, Article ID 103101, 22 p. (2022; Zbl 07514088) Full Text: DOI OpenURL
Panagiotopoulos, Aristotelis; Solecki, Sławomir A combinatorial model for the Menger curve. (English) Zbl 07513873 J. Topol. Anal. 14, No. 1, 203-229 (2022). MSC: 03C30 54F15 PDF BibTeX XML Cite \textit{A. Panagiotopoulos} and \textit{S. Solecki}, J. Topol. Anal. 14, No. 1, 203--229 (2022; Zbl 07513873) Full Text: DOI OpenURL
Akram, Muhammad; Siddique, Saba; Alharbi, Majed G. Clustering algorithm with strength of connectedness for \(m \)-polar fuzzy network models. (English) Zbl 07513175 Math. Biosci. Eng. 19, No. 1, 420-455 (2022). MSC: 05C72 05C07 05C40 03E72 PDF BibTeX XML Cite \textit{M. Akram} et al., Math. Biosci. Eng. 19, No. 1, 420--455 (2022; Zbl 07513175) Full Text: DOI OpenURL
Pischke, Nicholas; Kohlenbach, Ulrich Correction to: “Quantitative analysis of a subgradient-type method for equilibrium problems”. (English) Zbl 07512661 Numer. Algorithms 90, No. 1, 221 (2022). MSC: 65-XX 47H06 47J25 90C33 03F10 PDF BibTeX XML Cite \textit{N. Pischke} and \textit{U. Kohlenbach}, Numer. Algorithms 90, No. 1, 221 (2022; Zbl 07512661) Full Text: DOI OpenURL
Pischke, Nicholas; Kohlenbach, Ulrich Quantitative analysis of a subgradient-type method for equilibrium problems. (English) Zbl 07512660 Numer. Algorithms 90, No. 1, 197-219 (2022). MSC: 65-XX 47H06 47J25 90C33 03F10 PDF BibTeX XML Cite \textit{N. Pischke} and \textit{U. Kohlenbach}, Numer. Algorithms 90, No. 1, 197--219 (2022; Zbl 07512660) Full Text: DOI OpenURL
Book review of: J. E. Fenstad, Structures and algorithms. Mathematics and the nature of knowledge. (English) Zbl 07511973 Philos. Math. (3) 30, No. 1, 141 (2022). MSC: 00A17 00A30 03A10 03B42 PDF BibTeX XML Cite Philos. Math. (3) 30, No. 1, 141 (2022; Zbl 07511973) Full Text: DOI OpenURL
Lapointe, Sandra Book review of: P. Rusnock and J. Šebestík, Bernard Bolzano. His life and his work. (English) Zbl 07511972 Philos. Math. (3) 30, No. 1, 138-140 (2022). MSC: 00A17 01-02 01A55 01A70 00A30 03-03 03A05 PDF BibTeX XML Cite \textit{S. Lapointe}, Philos. Math. (3) 30, No. 1, 138--140 (2022; Zbl 07511972) Full Text: DOI OpenURL
Wenmackers, Sylvia Book review of: V. Benci and M. Di Nasso, How to measure the infinite. Mathematics with infinite and infinitesimal numbers. (English) Zbl 07511971 Philos. Math. (3) 30, No. 1, 130-137 (2022). MSC: 00A17 26-02 26E35 28E05 46F05 54J05 60E05 03E35 PDF BibTeX XML Cite \textit{S. Wenmackers}, Philos. Math. (3) 30, No. 1, 130--137 (2022; Zbl 07511971) Full Text: DOI OpenURL
Franklin, James Book review of: K. Hossack, Knowledge and the philosophy of number. What numbers are and how they are known. (English) Zbl 07511970 Philos. Math. (3) 30, No. 1, 127-129 (2022). MSC: 00A17 00-01 00A30 03A05 PDF BibTeX XML Cite \textit{J. Franklin}, Philos. Math. (3) 30, No. 1, 127--129 (2022; Zbl 07511970) Full Text: DOI OpenURL
Prawitz, Dag Book review of: P. Weingartner (ed.) and H.-P. Leeb (ed.), Kreisel’s interests. On the foundations of logic and mathematics. (English) Zbl 07511969 Philos. Math. (3) 30, No. 1, 121-126 (2022). MSC: 00A17 03-06 03Bxx 03Fxx 00B25 00B30 PDF BibTeX XML Cite \textit{D. Prawitz}, Philos. Math. (3) 30, No. 1, 121--126 (2022; Zbl 07511969) Full Text: DOI OpenURL
Cook, Roy T. Book review of: C. J. Posy, Mathematical Intuitionism. (English) Zbl 07511967 Philos. Math. (3) 30, No. 1, 111-116 (2022). MSC: 00A17 03-02 03A05 03B20 03F55 00A30 PDF BibTeX XML Cite \textit{R. T. Cook}, Philos. Math. (3) 30, No. 1, 111--116 (2022; Zbl 07511967) Full Text: DOI OpenURL
Snyder, Eric; Samuels, Richard; Shapiro, Stewart Resolving Frege’s other puzzle. (English) Zbl 07511964 Philos. Math. (3) 30, No. 1, 59-87 (2022). MSC: 00A30 03A05 PDF BibTeX XML Cite \textit{E. Snyder} et al., Philos. Math. (3) 30, No. 1, 59--87 (2022; Zbl 07511964) Full Text: DOI OpenURL
Lange, Marc Challenges facing counterfactual accounts of explanation in mathematics. (English) Zbl 07511963 Philos. Math. (3) 30, No. 1, 32-58 (2022). MSC: 00A30 03A05 PDF BibTeX XML Cite \textit{M. Lange}, Philos. Math. (3) 30, No. 1, 32--58 (2022; Zbl 07511963) Full Text: DOI OpenURL
Pambuccian, Victor; Schacht, Celia The case for the irreducibility of geometry to algebra. (English) Zbl 07511962 Philos. Math. (3) 30, No. 1, 1-31 (2022). MSC: 00A30 03A05 PDF BibTeX XML Cite \textit{V. Pambuccian} and \textit{C. Schacht}, Philos. Math. (3) 30, No. 1, 1--31 (2022; Zbl 07511962) Full Text: DOI OpenURL
Peng, Zuming On the \(T\)-conditionality of \(T\)-power based implications. (English) Zbl 07511610 Kybernetika 58, No. 1, 43-63 (2022). MSC: 03E72 03B52 PDF BibTeX XML Cite \textit{Z. Peng}, Kybernetika 58, No. 1, 43--63 (2022; Zbl 07511610) Full Text: DOI OpenURL
Czédli, Gábor Cyclic congruences of slim semimodular lattices and non-finite axiomatizability of some finite structures. (English) Zbl 07511505 Arch. Math., Brno 58, No. 1, 15-33 (2022). MSC: 03C13 06C10 PDF BibTeX XML Cite \textit{G. Czédli}, Arch. Math., Brno 58, No. 1, 15--33 (2022; Zbl 07511505) Full Text: DOI OpenURL
Malyshkin, Y. A. \( \gamma \)-variable first-order logic of preferential attachment random graphs. (English) Zbl 07510703 Discrete Appl. Math. 314, 223-227 (2022). MSC: 05C80 03B10 60F05 03C13 PDF BibTeX XML Cite \textit{Y. A. Malyshkin}, Discrete Appl. Math. 314, 223--227 (2022; Zbl 07510703) Full Text: DOI OpenURL
Bitar, Nicolas; Goles, Eric; Montealegre, Pedro Computational complexity of biased diffusion-limited aggregation. (English) Zbl 07510392 SIAM J. Discrete Math. 36, No. 1, 823-866 (2022). MSC: 03D15 68Q17 68Q10 PDF BibTeX XML Cite \textit{N. Bitar} et al., SIAM J. Discrete Math. 36, No. 1, 823--866 (2022; Zbl 07510392) Full Text: DOI OpenURL
Bottazzi, Emanuele A real-valued measure on non-Archimedean field extensions of \(\mathbb{R}\). (English) Zbl 07507898 \(p\)-Adic Numbers Ultrametric Anal. Appl. 14, No. 1, 14-43 (2022). MSC: 26E30 26E35 46S10 12J25 03H05 PDF BibTeX XML Cite \textit{E. Bottazzi}, \(p\)-Adic Numbers Ultrametric Anal. Appl. 14, No. 1, 14--43 (2022; Zbl 07507898) Full Text: DOI OpenURL
Freund, Anton; Rathjen, Michael; Weiermann, Andreas Minimal bad sequences are necessary for a uniform Kruskal theorem. (English) Zbl 07507731 Adv. Math. 400, Article ID 108265, 44 p. (2022). MSC: 03B30 05C05 06A07 68Q42 03F35 PDF BibTeX XML Cite \textit{A. Freund} et al., Adv. Math. 400, Article ID 108265, 44 p. (2022; Zbl 07507731) Full Text: DOI OpenURL
Tessarotto, Massimo; Cremaschini, Claudio The common logic of quantum universe. I: The case of non-relativistic quantum mechanics. (English) Zbl 07507685 Found. Phys. 52, No. 1, Paper No. 30, 38 p. (2022). MSC: 81Pxx 03Gxx 81Qxx PDF BibTeX XML Cite \textit{M. Tessarotto} and \textit{C. Cremaschini}, Found. Phys. 52, No. 1, Paper No. 30, 38 p. (2022; Zbl 07507685) Full Text: DOI OpenURL
Hesamian, Gholamreza; Akbari, Mohammad Ghasem A fuzzy quantile method for AR time series model based on triangular fuzzy random variables. (English) Zbl 07507676 Comput. Appl. Math. 41, No. 3, Paper No. 123, 20 p. (2022). MSC: 03E72 62A86 37M10 PDF BibTeX XML Cite \textit{G. Hesamian} and \textit{M. G. Akbari}, Comput. Appl. Math. 41, No. 3, Paper No. 123, 20 p. (2022; Zbl 07507676) Full Text: DOI OpenURL
Jana, Chiranjibe; Pal, Madhumangal; Liu, Peide Multiple attribute dynamic decision making method based on some complex aggregation functions in CQROF setting. (English) Zbl 07507656 Comput. Appl. Math. 41, No. 3, Paper No. 103, 28 p. (2022). MSC: 06D72 08A72 03C05 30D05 PDF BibTeX XML Cite \textit{C. Jana} et al., Comput. Appl. Math. 41, No. 3, Paper No. 103, 28 p. (2022; Zbl 07507656) Full Text: DOI OpenURL
Liu, Yuanyuan; Yang, Youlong A novel similarity-based consensus model for probabilistic linguistic sets and its application in multi-attribute large-scale group decision making. (English) Zbl 07507650 Comput. Appl. Math. 41, No. 3, Paper No. 97, 35 p. (2022). MSC: 90B50 68U35 03E72 PDF BibTeX XML Cite \textit{Y. Liu} and \textit{Y. Yang}, Comput. Appl. Math. 41, No. 3, Paper No. 97, 35 p. (2022; Zbl 07507650) Full Text: DOI OpenURL
Zeeshan, Muhammad; Khan, Madad; Iqbal, Sohail Distance function of complex fuzzy soft sets with application in signals. (English) Zbl 07507649 Comput. Appl. Math. 41, No. 3, Paper No. 96, 23 p. (2022). MSC: 03E72 PDF BibTeX XML Cite \textit{M. Zeeshan} et al., Comput. Appl. Math. 41, No. 3, Paper No. 96, 23 p. (2022; Zbl 07507649) Full Text: DOI OpenURL
Liu, Chanjuan; Zhu, Enqiang; Zhang, Yuanke; Zhang, Qiang; Wei, Xiaopeng Characterization, verification and generation of strategies in games with resource constraints. (English) Zbl 07507306 Automatica 140, Article ID 110254, 12 p. (2022). MSC: 91A26 03B44 PDF BibTeX XML Cite \textit{C. Liu} et al., Automatica 140, Article ID 110254, 12 p. (2022; Zbl 07507306) Full Text: DOI OpenURL
Fang, Jie; Zhang, Zetian; Cowlagi, Raghvendra V. Decentralized route-planning for multi-vehicle teams to satisfy a subclass of linear temporal logic specifications. (English) Zbl 07507290 Automatica 140, Article ID 110228, 11 p. (2022). MSC: 93A14 93A16 93C85 03B44 PDF BibTeX XML Cite \textit{J. Fang} et al., Automatica 140, Article ID 110228, 11 p. (2022; Zbl 07507290) Full Text: DOI OpenURL
Tang, Jie; Meng, Fanyong; Zhang, Yongliang Common probability-based interactive algorithms for group decision making with normalized probability linguistic preference relations. (English) Zbl 07507195 Fuzzy Optim. Decis. Mak. 21, No. 1, 99-136 (2022). MSC: 68T20 68T37 91B06 03E72 91F20 PDF BibTeX XML Cite \textit{J. Tang} et al., Fuzzy Optim. Decis. Mak. 21, No. 1, 99--136 (2022; Zbl 07507195) Full Text: DOI OpenURL
Holický, Petr; Zelený, Miroslav There is no bound on Borel classes of graphs in the Luzin-Novikov theorem. (English) Zbl 07507068 Diss. Math. 576, 1-77 (2022). MSC: 03E15 28A05 54H05 PDF BibTeX XML Cite \textit{P. Holický} and \textit{M. Zelený}, Diss. Math. 576, 1--77 (2022; Zbl 07507068) Full Text: DOI OpenURL
Cánovas, Jose S. On \(q\)-deformed logistic maps. (English) Zbl 07506995 Discrete Contin. Dyn. Syst., Ser. B 27, No. 5, 2833-2848 (2022). MSC: 37-XX 03-XX PDF BibTeX XML Cite \textit{J. S. Cánovas}, Discrete Contin. Dyn. Syst., Ser. B 27, No. 5, 2833--2848 (2022; Zbl 07506995) Full Text: DOI OpenURL
Meza-Alcántara, David; Nuñez-Rosales, Fernando On the automorphism groups of universal submeasures. (English) Zbl 07506888 Topology Appl. 311, Article ID 107963, 12 p. (2022). MSC: 03C13 03C15 05D10 54H20 PDF BibTeX XML Cite \textit{D. Meza-Alcántara} and \textit{F. Nuñez-Rosales}, Topology Appl. 311, Article ID 107963, 12 p. (2022; Zbl 07506888) Full Text: DOI OpenURL
Ackerman, Nathanael; Karker, Mary Leah Potential isomorphisms of generalized approach spaces. (English) Zbl 07506802 Quaest. Math. 45, No. 3, 443-484 (2022). MSC: 54A05 54C99 03B60 03C75 PDF BibTeX XML Cite \textit{N. Ackerman} and \textit{M. L. Karker}, Quaest. Math. 45, No. 3, 443--484 (2022; Zbl 07506802) Full Text: DOI OpenURL
Javanshir, Nezakat; Yıldız, Filiz Locally symmetrically connected \(T_0\)-quasi-metric spaces. (English) Zbl 07506798 Quaest. Math. 45, No. 3, 369-384 (2022). MSC: 03E20 05C38 05C40 46B40 54D05 PDF BibTeX XML Cite \textit{N. Javanshir} and \textit{F. Yıldız}, Quaest. Math. 45, No. 3, 369--384 (2022; Zbl 07506798) Full Text: DOI OpenURL