Dr. Cipriano Junior Cioffo (University of Pisa) will give a seminar on Tuesday 3 June 2025 at 11:00 in room P18, DipMat. Title: A taxonomy of categories for relations. Abstract: In this talk, we present a taxonomy of categorical structures that abstract the category of relations. The study is conducted through a Read more…
Matías Menni (Univeristy of La Plata) will teach a short course in Salerno on Axiomatic Cohesion. Further details are given below. An introduction to Axiomatic Cohesion. Brief description of the course The seminal paper reprinted in [L5] proposes to axiomatize the “distinctive internal connectedness of a topos that models all spaces Read more…
Prof. Tommaso Moraschini (University of Barcelona) will give a seminar on Thursday 15 May 2025 at 11:30 in Sala Riunioni, DipMat. Title: Implicit operations in algebra and logic. Abstract: It is well known that the partial operation of taking inverses in monoids is preserved under homomorphisms and, moreover, is definable by a first-order Read more…
Prof. Giuseppina Terzo (Università degli Studi di Napoli) will give a seminar on Wednesday 14 May 2025 at 11:30 in Sala Riunioni, DipMat. Title: Fields with(out) generic derivations. Abstract: We explore the existence of generic derivations in field expansions. We provide examples of field expansions that admit a generic derivation. Additionally, we show Read more…
Dott. Sara Ugolini (Artificial Intelligence Research Institute, Spanish National Research Council (IIIA-CSIC)) will give a seminar on Wednesday 7 May 2025 at 11:30 in Sala Riunioni, DipMat. Title: Almost natural semirings with difference. Abstract: In this talk, we begin by considering the semiring of the natural numbers with (truncated) difference, N = (N, +, x, Read more…
Dott. Luca Reggio (Università degli Studi di Milano) will give a seminar on Wednesday 30 April 2025 at 11:30 in Sala Riunioni, DipMat. Title: (Ordered) compact Hausdorff spaces, axiomatically. Abstract: I will provide an overview of various approaches and results concerning the problem of axiomatising theories that arise in everyday mathematics. A prototypical Read more…
Dott. Marco Abbadini (University of Birmingham) will give a seminar on Thursday 24 April 2025 at 10:00 in Sala Riunioni, DipMat. Title: An algebraic version of Herbrand’s theorem. Abstract: Herbrand’s theorem is a fundamental result of mathematical logic, which allows a reduction of first-order logic to propositional logic.In its simplest form, it asserts Read more…
Dott. Luca Carai (Università degli Studi di Milano) will give a seminar on Wednesday 23 April 2025 at 11:30 in Sala Riunioni, DipMat. Title: Free algebras and coproducts in varieties of Gödel algebras. Abstract: Free algebras in varieties of Heyting algebras play an important role in the study of superintuitionistic logics as they Read more…
Dott. Paolo Baldi (Università del Salento) will give a seminar on Wednesday 16 April 2025 at 11:30 in Sala Riunioni, DipMat. Title: Logical consequences for inferences with data. Abstract: Data is often used in science as a guide to discard erroneous scientific hypotheses. The process is however far from trivial, since the rejection Read more…
Prof. Giuseppe Metere (University of Milano) will give a seminar on Wednesday 9 April 2025 at 11:30 in Sala Riunioni, DipMat. Title: Towards a notion of unital action. Abstract: A group action of a group $B$ on a group $X$ is usually described as a $B$-group $X$ , i.e., through a set-theoretic map: Read more…