{"id":1886,"date":"2026-03-16T14:25:22","date_gmt":"2026-03-16T13:25:22","guid":{"rendered":"https:\/\/umi.dm.unibo.it\/jm-ita-bra-2026\/?page_id=1886"},"modified":"2026-03-16T14:25:30","modified_gmt":"2026-03-16T13:25:30","slug":"special-session-15","status":"publish","type":"page","link":"https:\/\/umi.dm.unibo.it\/jm-ita-bra-2026\/special-sessions\/special-session-15\/","title":{"rendered":"Special Session 15 &#8211; Logic and Foundations of Mathemtics"},"content":{"rendered":"<section  class='av_textblock_section av-mms7qkau-d2bee843739779d296e80822fec19f0d '   itemscope=\"itemscope\" itemtype=\"https:\/\/schema.org\/CreativeWork\" ><div class='avia_textblock'  itemprop=\"text\" ><h1>Special Session 15<\/h1>\n<h2>Logic and Foundations of Mathemtics<\/h2>\n<p><strong>Organizers: <\/strong>Giorgio Venturi (University of Pisa, Italy), Matteo Viale (University of Turin, Italy), Hugo Mariano (University of S\u00e3o Paulo, Brazil)<\/p>\n<p><strong>MSC codes:<\/strong> 03-XX<\/p>\n<p><strong>Description:<\/strong> This special session is devoted to current research in mathematical logic in a broad sense, covering its main areas and methods. The session brings together contributions in set theory, model theory, recursion (computability) theory, and category theory, together with related application in proof theory, topology, functional analysis, combinatorics, and algebraic logic. Its aim is to provide a unified forum for presenting recent developments across these interconnected fields. Topics represented in the session include set-theoretic and model-theoretic techniques, definability and classification problems, computability-theoretic methods, and categorical approaches to logic and foundations. Several contributions focus on semantic and structural aspects of logical systems, including categorical and algebraic semantics, interactions between syntax and semantics, and structural properties of formal theories. Proof-theoretic and algebraic-logical methods play a complementary role, contributing tools for the analysis of formal systems and their expressive power. The session brings together researchers from Brazil and Italy, reflecting an active and long-standing interaction between the two logic communities. By covering a wide spectrum of logical disciplines and emphasizing shared mathematical structures and methods, the session aims to stimulate interaction across subfields of logic and to strengthen collaborations between Italian and Brazilian researchers working in mathematical logic and its foundations.<\/p>\n<\/div><\/section>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":6,"featured_media":0,"parent":210,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-1886","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/umi.dm.unibo.it\/jm-ita-bra-2026\/wp-json\/wp\/v2\/pages\/1886","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/umi.dm.unibo.it\/jm-ita-bra-2026\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/umi.dm.unibo.it\/jm-ita-bra-2026\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/umi.dm.unibo.it\/jm-ita-bra-2026\/wp-json\/wp\/v2\/users\/6"}],"replies":[{"embeddable":true,"href":"https:\/\/umi.dm.unibo.it\/jm-ita-bra-2026\/wp-json\/wp\/v2\/comments?post=1886"}],"version-history":[{"count":2,"href":"https:\/\/umi.dm.unibo.it\/jm-ita-bra-2026\/wp-json\/wp\/v2\/pages\/1886\/revisions"}],"predecessor-version":[{"id":1888,"href":"https:\/\/umi.dm.unibo.it\/jm-ita-bra-2026\/wp-json\/wp\/v2\/pages\/1886\/revisions\/1888"}],"up":[{"embeddable":true,"href":"https:\/\/umi.dm.unibo.it\/jm-ita-bra-2026\/wp-json\/wp\/v2\/pages\/210"}],"wp:attachment":[{"href":"https:\/\/umi.dm.unibo.it\/jm-ita-bra-2026\/wp-json\/wp\/v2\/media?parent=1886"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}