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[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.