bdim: Biblioteca Digitale Italiana di Matematica

Un progetto SIMAI e UMI

Referenza completa

Negri, Maurizio:
DMF-algebras: representation and topological characterization
Bollettino dell'Unione Matematica Italiana Serie 8 1-B (1998), fasc. n.2, p. 369-390, Unione Matematica Italiana (English)
pdf (300 Kb), djvu (278 Kb). | MR1638155 | Zbl 0907.06011

Sunto

Gli insiemi parziali sono coppie $(A, B)$ di sottoinsiemi di $X$, dove $A \cap B \neq 0$. Gli insiemi parziali su $X$ costituiscono una DMF-algebra, ossia un'algebra di De Morgan in cui la negazione ha un solo punto fisso. Dimostriamo che ogni DMF-algebra è isomorfa a un campo di insiemi parziali. Utilizzando gli insiemi parziali su $X$ come aperti, introduciamo il concetto di spazio topologico parziale su $X$. Infine associamo ad ogni DMF-algebra $\mathcal{A}$ uno spazio topologico parziale i cui clopen compatti costituiscono un campo d'insiemi parziali isomorfo ad $\mathcal{A}$.
Referenze Bibliografiche
[1] A. BIALYNICKI-BIRULA - H. RASIOWA , On the representation of quasi-Boolean algebras, Bull. Acad. Polon. Sci. Cl. III, 5 (1957), 259-61. | MR 87628 | Zbl 0082.01403
[2] V. BOICESCU - A. FILIPOIU - G. GEORGESCU - S. RUDEANU , Lukasiewicz-Moisil Algebras, North-Holland (1991). | MR 1112790 | Zbl 0726.06007
[3] J. P. CLEAVE , A Study of Logics, Oxford (1991). | MR 1149599 | Zbl 0763.03003
[4] M. NEGRI , Three valued semantics and DMF-algebras, Boll. Un. Mat. Ital. (7), 10-B (1996), 733-60. | MR 1411525 | Zbl 0882.03019
[5] M. H. STONE , Topological representations of distributive lattices and Brouwerian logics, Casopis pest. Mat., 67 (1937), 1-25.

La collezione può essere raggiunta anche a partire da EuDML, la biblioteca digitale matematica europea, e da mini-DML, il progetto mini-DML sviluppato e mantenuto dalla cellula Math-Doc di Grenoble.

Per suggerimenti o per segnalare eventuali errori, scrivete a

logo MBACCon il contributo del Ministero per i Beni e le Attività Culturali