Skip to content

No results

Contact
Curriculum Vitae
Publications and presentations
Attività didattica
Research interests

Web pages of Luca Spada

Contact
Curriculum Vitae
Publications and presentations
Attività didattica
Research interests

Web pages of Luca Spada

Preprint download

LΠ logic with fixed points

LΠ logic with fixed points

Search in this site

No results

Corsi 2024/25

Logica Matematica

Fondamenti della Matematica

Istituzioni di Logica

Algebra Universale e Teoria delle Categorie

adjunction Algebraic geometry Amsterdam Birkhoff subdirect representation Bratteli-Elliott Isomorphism Criterion Calculus categorical duality categoricalequivalence Category Chang’s completeness theorem compact Hausdorff spaces conference Corso Course Courses Covering space directed colimit duality European project Filtered colimit finitely generated object finitely presentable object First Order Many-Valued Logic Free algebra Fundamental group Galois connection Gel'fand transform Hilbert Nullstellensatz ILLC Lifts Many-Valued Logic Mathematical Logic MV-algebras News piecewise linear maps Pontryagin duality Projective MV-algebra rational polyhedra Residuated lattices Retractions Stone duality Teaching Tychonoff cube Unification Universal cover variety of algebras. Z-maps Łukasiewicz logic

Copyright © Luca Spada