Zobrazeno 1 - 10
of 53
pro vyhledávání: '"Classifying topos"'
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.
Autor:
Caramello, Olivia, author
Publikováno v:
Theories, Sites, Toposes : Relating and studying mathematical theories through topos-theoretic 'bridges', 2017.
Externí odkaz:
https://doi.org/10.1093/oso/9780198758914.003.0007
Autor:
Caramello, Olivia, author
Publikováno v:
Theories, Sites, Toposes : Relating and studying mathematical theories through topos-theoretic 'bridges', 2017, ill.
Externí odkaz:
https://doi.org/10.1093/oso/9780198758914.003.0004
Autor:
Olivia Caramello, Anna Carla Russo
Publikováno v:
Journal of Algebra. 479:263-313
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:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9c0083eab370fa50a2be127caec661c7
https://doi.org/10.1016/j.jalgebra.2017.01.005
https://doi.org/10.1016/j.jalgebra.2017.01.005
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.
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.
Autor:
Olivia Caramello
Publikováno v:
Annals of Pure and Applied Logic. 162(4):318-321
We establish a criterion for deciding whether a class of structures is the class of models of a geometric theory inside Grothendieck toposes; then we specialize this result to obtain a characterization of the infinitary first-order theories which are
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::33d18973bb8006dd4cba9a5a8addd2f9
Autor:
Olivia Caramello, Peter Johnstone
Publikováno v:
Advances in Mathematics. 222(6):2145-2152
We show that the classifying topos for the theory of fields does not satisfy De Morgan's law, and we identify its largest dense De Morgan subtopos as the classifying topos for the theory of fields of nonzero characteristic which are algebraic over th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b693442bb5d4c9d0379eca3554330bec
Autor:
Olivia Caramello, Anna Carla Russo
Publikováno v:
Journal of Algebra
We show that the theory of MV-algebras is Morita-equivalent to that of abelian l -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 1986, a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5881c40fd85676bd74d8afcba0fac704
http://hdl.handle.net/11383/2063461
http://hdl.handle.net/11383/2063461
