Logic group at the University of Salerno
  • Home
  • Members of the group
  • Seminars
  • Projects
  • Guests

Di Nola Theorem

Preprints

Representation of MV-algebras by regular ultrapowers of [0,1]

Antonio Di Nola, Giacomo Lenzi, Luca Spada We present a uniform version of Di Nola Theorem, this enables to embed all MV-algebras of a bounded cardinality in an algebra of functions with values in a single non-standard ultrapower of the real interval [0, 1]. This result also implies the existence, Read more…

By Luca Spada, 16 years24/11/2009 ago
Categories
  • Conferences
  • Courses
  • Guests
  • News
  • Preprints
  • Projects
  • Seminars
  • Uncategorized
  • Workshop
  • Guests
  • Members of the group
  • Projects
  • Seminars
Hestia | Developed by ThemeIsle