Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Russo, Anna Carla"'
Autor:
Caramello, Olivia, Russo, Anna Carla
We investigate the geometric theory of local MV-algebras and its quotients axiomatizing the local MV-algebras in a given proper variety of MV-algebras. We show that, whilst the theory of local MV-algebras is not of presheaf type, each of these quotie
Externí odkaz:
http://arxiv.org/abs/1602.03867
Autor:
Caramello, Olivia, Russo, Anna Carla
We establish, generalizing Di Nola and Lettieri's categorical equivalence, a Morita-equivalence between the theory of lattice-ordered abelian groups and that of perfect MV-algebras. Further, after observing that the two theories are not bi-interpreta
Externí odkaz:
http://arxiv.org/abs/1409.4730
Autor:
Caramello, Olivia, Russo, Anna Carla
We show that the theory of MV-algebras is Morita-equivalent to that of abelian $\ell$-groups with strong unit. This generalizes the well-known equivalence between the categories of set-based models of the two theories established by D. Mundici in 198
Externí odkaz:
http://arxiv.org/abs/1312.1272
Autor:
CARAMELLO, OLIVIA, RUSSO, ANNA CARLA
Publikováno v:
The Bulletin of Symbolic Logic, 2016 Jun 01. 22(2), 170-214.
Externí odkaz:
https://www.jstor.org/stable/43830156
Autor:
Russo, Anna Carla
Publikováno v:
Education. 2018
We want to discuss the role of mathematical logic in high school. We are mostly interested on the problem of implicit quantification and on founding a good way to teach that. In a first place, we give to the lecture some formal notions on mathematica
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2592::13ed0ae7983c565d5078b26816b88ab2
https://dumas.ccsd.cnrs.fr/dumas-02112150/file/RUSSO_ESR_maths_Grenoble_1.pdf
https://dumas.ccsd.cnrs.fr/dumas-02112150/file/RUSSO_ESR_maths_Grenoble_1.pdf
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Order; Mar2019, Vol. 36 Issue 1, p77-97, 21p
Autor:
Russo, Anna Carla
We shall make a survey of the most recent results obtained in connection with the programme of investigating notable categorical equivalences for MV-algebras from a topos-theoretic perspective commenced in. In and we generalize to a topos-theoretic s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d09d650de853e92847f4bf3dec2a523b