Atti degli incontri di logica matematica Volume 2

Indice

IV Incontro: Teoria degli insiemi e categorie

M. Servi, Lezioni di logica categoriale (corso breve)
E. Mendelson, Strong axioms of infinity (corso breve)
A. Cantini, The Veblen Hierarchy and the Stability Theorem for L
R. A. Di Paola, A uniformly, extremely nonextensional formula of arithmetic whit many undecidable fixed points in many theories
P. Minari, Kripke-definable ordinals
B. Veit, La convergenza alla luce della semantica categoriale
A. Vincenzi, Alcune buone proprietà della logica di Chang

V Incontro: Teoria della dimostrazione e filosofia della logica

Per Martin-Löf, On the meaning of the logical constants and the justification of the logical laws (corso breve)

Tavola rotonda sul tema: I fondamenti della matematica oggi

V. M. Abrusci, Usi dei dilatatori: problemi combinatori, risultati combinatori non dimostrabili in PA o in ID₁
F. Arzarello, Metodi di realizzabilità e forcing nella metamatematica dei sistemi costruttivi
C. Cellucci, Complexity of reduction trees in predicate calculus
D. Costantini, Inferenze induttive finitarie
S. Ghilardi- G. C. Meloni, Modelli con coperture per la logica proposizionale intuizionista e locale
A. Heller, Domenical categories and recursion theory
E. Martino, Sul concetto brouweriano di continuità negativa
F. Montagna, Primi risultati sulla logica modale predicativa della dimostrabilità
D. Prawitz, Normalisations of proofs in set theory
G. R. Renardel De Lavalette, A type-free system for constructive metamathematics
G. Sambin, Alle radici della logica
A. Vincenzi, Logica effettiva L_e

VI Incontro: Ricorsività e sistemi formali

P. Odifreddi, Funzioni ricorsive velocemente crescenti e ordinali associati (corso breve)
P. Lindström, Provability and interpretability in theories containing arithmetic (corso breve)
P. Mangani, Matematica e logica (introduzione al dibattito)
V. M. Abrusci, Collezioni di Bachmann. Giardini. Applicazioni recenti
A. Berarducci, Una generalizzazione dei funzionali ricorsivi di Gödel
R. Di Paola, Creativity and effective inseparability in dominical categories
M. Forti, Modelli f-ammissibili di teorie degli insiemi
S. Ghilardi, G. C. Meloni e C. Piersantini, Alcuni risultati sulle logiche intermedie proposizionali
P. Lipparini, Hyperabelian Algebras
G. Longo e S. Martini, Calcolabilità nei tempi superiori e il dominio universale Pω
G. Longo e E. Moggi, Strutture di tipi ed enumerazioni
F. Parlamento, Regole e principi di induzione ristretti relativi a PRA
A. Vincenzi, Logica effettiva II- Potere espressivo

VII Incontro: Temi di algebra universale

S. Tulipani, Algebre sottodirettamente irriducibili e assiomatizzazione di varietà (corso breve)
R. McKenzie, The structure of finite algebras (corso breve)
J. Dieudonnè , The beginnings of topology from 1850 to 1914 (introduzione al dibattito)
S. Feferman, High-level programs and typed vs. untyped constructive foundations (introduzione al dibattito)
G. Badino, A. Provenzale e A. Vincenzi, Amalgamazione e teorie fisiche
S. Ghilardi e G. C. Meloni, Completezza per logiche intermedie
M. Negri, Sulla non assiomatizzabilità finita di P
G. Rosolini, Domini e categorie dominicali
C. Toffalori, Teorie p-ℵ₀-categoriche
R. Wille, Finite distributive lattices as concept lattices