Programma dei lavori svolti

25 settembre

Apertura dei lavori

Equivalence between Wadge and Lipschitz Determinacy (A. Andretta)

Construction of Borel inseparable coanalytical sets (R. Camerlo)

A Hoare-Logic for Object-Oriented Programs (B. Reus)

26 settembre

Two problems in realizability (J. Van Oosten)

O-minimality and Boolean orders (C. Toffalori)

An abstract look at realizability (G. Rosolini)

Categorical arimetic univers via type theory (M. E. Marietti)

Proofs-net for non-commutative logic (R. Maielli)

A new congruence implication (P. Lipparini)

Algebraic Geometry via Formal Topology (P. M. Schuster)

Sequente Calculus in Natural Deduction Style (S. Negri)

27 settembre

How a point-free constructive version of Uryshon’s metrization theorem can turn a collection into a set (G. Curi)

Similarities and linguistic ontologies (F. Formato)

Palying Isometry Games in Banach Spaces (S. Baratella)

Connettivi moltiplicativi generalizzati in Logica non Commutativa (l. Redavid)

Wqo and bqo theory in subsystems of second order arithmetic (A. Marcone)

28 settembre

Godel’s legacy (M. Davis)

Logica simbolica e fondamenti di geometria nelle lettere di Peano ad Amodeo (F. Palladino)

I fondamenti della matematica nel XX secolo: il limite dell’incommensurabilità (A. Drago)

La termodinamica originaria di Sadi Carnot come teoria logica (R. Pisano)

Classificazione degli approcci alla logica quantistica (A. Venezia)