{"title":"Division of Logic, Methodology and Philosophy of Science and Technology of the International Union of History and Philosophy of Science and Technology Bulletin no. 24","authors":"","doi":"10.1002/malq.202400004","DOIUrl":"https://doi.org/10.1002/malq.202400004","url":null,"abstract":"<p><i>Assessors</i>:</p><p>Hanne Andersen, Copenhagen, Denmark. Rachel Ankeny, Adelaide, Australia. Valeria de Paiva, Mountain View CA, U.S.A. Gerhard Heinzmann, Nancy, France. Concha Martinez Vidal, Santiago de Compostela, Spain. Tomáš Marvan, Prague, Czech Republic. Dhruv Raina, Delhi, India. Cheng Sumei, Shanghai, China. Alasdair Urquhart, Toronto, Canada. Andrés Villaveces, Bogotá, Colombia.</p><p><i>Former Presidents: († = deceased)</i></p><p>Menachem Magidor (Israel), Elliott Sober (United States of America), Wilfrid Hodges (United Kingdom), Adolf Grünbaum† (United States of America), Michael Rabin (United States of America), Wesley Salmon† (United States of America), Jens-Erik Fenstad† (Norway), Lawrence J. Cohen† (United Kingdom), Dana S. Scott (United States of America), Jerzy Łoś† (Poland). Patrick Suppes† (United States of America), Jaakko Hintikka† (Finland & United States of America), Andrzej Mostowski† (Poland), Stephan Körner† (United Kingdom), Yehoshua Bar-Hillel† (Israel), Georg Henrik von Wright† (Finland), Stephen C. Kleene† (United States of America).</p><p>Former president Jens Erik Fenstad passed away on 14 April 2020.</p><p>The <i>Executive Committee</i> of the Division is composed of the President, the Vice-Presidents, the Secretary-General, the Treasurer, and the immediate Past President. The <i>Council</i> consists of the Executive Committee plus the Assessors.</p><p><i>Ordinary Members Present</i> (number of votes and names of delegates in parentheses; total votes: 68 before <b>Agenda item 5</b>; 69 after <b>Agenda item 5</b>). Argentina (2; 1 after <b>Agenda item 5</b>; Víctor Rodríguez), Australia (3; Pamela Robinson), Austria (1; Georg Schiemer), Belgium (1; Peter Verdée), Brazil (2; Elaine Pimentel), Canada (3; Zeyad El Nabolsy), P. R. China (3; Chen Bo), Czech Republic (2; Libor Behounek, Robin Kopecký), Denmark (2; Magdalena Malecka), Estonia (1; Peeter Müürsepp), Finland (2; Uskali Müki), France (4; Andrew Arana, Paola Cantu, Karine Chemla, Gerhard Heinzmann), Germany (4; Benedikt Löwe), Iran (1; Benedikt Löwe), Italy (4; Daniele Molinini), Japan (4; Mitsuhiro Okada), Republic of Korea (2; Insok Ko), Mexico (2; Atocha Aliseda, Ambrosio Velasco-Gómez), The Netherlands (2; Benedikt Löwe), Poland (2; Piotr Błaszczyk), Romania (1; Sorin Costreie), Russian Federation (3; Ilya Kasavin, Andrei Rodin, Lada Shipovalova), South Africa (1; Sean Muller), Spain (2; José A. Díez Calzada), Sweden (3; Valentin Goranko), Taiwan (2; Husan-Chih Lin, Kok-Yong Lee), United Kingdom (4; Robin Hendry), and United States of America (5; Hasok Chang, Philip Kircher, Helen Longino). After <b>Agenda item 5</b>, the number of votes of Argentina was reduced to 1 and the new Ordinary Member Portugal (2; João Luis Cordovil, Joan Bertran-San-Millán) was admitted; therefore, the number of votes of ordinary members increased by one.</p><p><i>Ordinary Members Absent</i>. Eire (cf. <b>Agenda item 5</b>), Hungary (1), India (1), Israel (1), Moldov","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":"70 1","pages":"5-36"},"PeriodicalIF":0.3,"publicationDate":"2024-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1002/malq.202400004","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141286966","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A weak theory of building blocks","authors":"Juvenal Murwanashyaka","doi":"10.1002/malq.202300015","DOIUrl":"10.1002/malq.202300015","url":null,"abstract":"<p>We apply the mereological concept of parthood to the coding of finite sequences. We propose a first-order theory in which coding finite sequences is intuitive and transparent. We compare this theory with Robinson arithmetic, adjunctive set theory and weak theories of finite strings and finite trees using interpretability.</p>","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":"70 2","pages":"233-254"},"PeriodicalIF":0.4,"publicationDate":"2024-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1002/malq.202300015","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141167711","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Compactness in team semantics","authors":"Joni Puljujärvi, Davide Emilio Quadrellaro","doi":"10.1002/malq.202200072","DOIUrl":"10.1002/malq.202200072","url":null,"abstract":"<p>We provide two proofs of the compactness theorem for extensions of first-order logic based on team semantics. First, we build upon Lück's [16] ultraproduct construction for team semantics and prove a suitable version of Łoś' Theorem. Second, we show that by working with suitably saturated models, we can generalize the proof of Kontinen and Yang [13] to sets of formulas with arbitrarily many variables.</p>","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":"70 2","pages":"142-161"},"PeriodicalIF":0.4,"publicationDate":"2024-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1002/malq.202200072","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141167755","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Formal model theory and higher topology","authors":"Ivan Di Liberti","doi":"10.1002/malq.202300006","DOIUrl":"10.1002/malq.202300006","url":null,"abstract":"<p>We study the 2-categories BIon, of (generalized) bounded ionads, and <span></span><math>\u0000 <semantics>\u0000 <msub>\u0000 <mtext>Acc</mtext>\u0000 <mi>ω</mi>\u0000 </msub>\u0000 <annotation>$text{Acc}_omega$</annotation>\u0000 </semantics></math>, of accessible categories with directed colimits, as an abstract framework to approach formal model theory. We relate them to topoi and (lex) geometric sketches, which serve as categorical specifications of geometric theories. We provide reconstruction and completeness-like results. We relate abstract elementary classes to locally decidable topoi. We introduce the notion of categories of saturated objects and relate it to atomic topoi.</p>","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":"70 1","pages":"111-125"},"PeriodicalIF":0.3,"publicationDate":"2024-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1002/malq.202300006","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141167709","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A property of forcing notions and preservation of cardinal invariants","authors":"Yushiro Aoki","doi":"10.1002/malq.202300013","DOIUrl":"10.1002/malq.202300013","url":null,"abstract":"<p>We define a property of forcing notions and show that there exists a model of its forcing axiom and the negation of the continuum hypothesis in which the Cichoń-Blass diagram of cardinal invariants is the same as in the Cohen model. As a corollary, its forcing axiom and the forcing axiom for <span></span><math>\u0000 <semantics>\u0000 <mi>σ</mi>\u0000 <annotation>$sigma$</annotation>\u0000 </semantics></math>-centered forcing notions are independent of each other.</p>","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":"70 1","pages":"73-78"},"PeriodicalIF":0.3,"publicationDate":"2023-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138526111","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Infinitary logic with infinite sequents: syntactic investigations","authors":"Matteo Tesi","doi":"10.1002/malq.202300011","DOIUrl":"10.1002/malq.202300011","url":null,"abstract":"<p>The present paper deals with a purely syntactic analysis of infinitary logic with infinite sequents. In particular, we discuss sequent calculi for classical and intuitionistic infinitary logic with good structural properties based on sequents possibly containing infinitely many formulas. A cut admissibility proof is proposed which employs a new strategy and a new inductive parameter. We conclude the paper by discussing related issues and possible themes for future research.</p>","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":"70 1","pages":"79-98"},"PeriodicalIF":0.3,"publicationDate":"2023-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138526095","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
