First-order Logic

Seminar by Dr. Luca Reggio

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

By Andrea Cappelletti, ago

Seminar by Dr. Marco Abbadini

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

By Andrea Cappelletti, ago