Representation of MV-algebras by regular ultrapowers of \([0,1]\)
From MaRDI portal
Publication:971886
DOI10.1007/s00153-010-0182-yzbMath1196.06005OpenAlexW2056786777MaRDI QIDQ971886
Giacomo Lenzi, Antonio Di Nola, Luca Spada
Publication date: 17 May 2010
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-010-0182-y
MV-algebras (06D35) Many-valued logic (03B50) Nonstandard models in mathematics (03H05) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20)
Related Items (4)
A Note on Saturated Models for Many-Valued Logics ⋮ Completeness with respect to a chain and universal models in fuzzy logic ⋮ Representation of perfect and local MV-algebras ⋮ Another proof of the completeness of the Łukasiewicz axioms and of the extensions of Di Nola's theorem.
Cites Work
- Abelian \(\ell\)-groups with strong unit and perfect MV-algebras
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- Representation and reticulation by quotients of MV-algebras
- Perfect MV-algebras and their logic
- Algebraic Analysis of Many Valued Logics
- A New Proof of the Completeness of the Lukasiewicz Axioms
- A definable nonstandard model of the reals
- Unnamed Item
- Unnamed Item
This page was built for publication: Representation of MV-algebras by regular ultrapowers of \([0,1]\)