We prove various results on embedding Brouwer algebras in the Medvedev lattice. In particular, we characterize the finite Brouwer algebras that are embeddable in the Medvedev lattice.
Sorbi, A. (1991). Embedding Brouwer algebras in the Medvedev lattice. NOTRE DAME JOURNAL OF FORMAL LOGIC, 32(2), 266-275 [10.1305/ndjfl/1093635751].
Embedding Brouwer algebras in the Medvedev lattice
Sorbi A.
1991-01-01
Abstract
We prove various results on embedding Brouwer algebras in the Medvedev lattice. In particular, we characterize the finite Brouwer algebras that are embeddable in the Medvedev lattice.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
embedding-brouwer-algebras.pdf
non disponibili
Descrizione: Articolo
Tipologia:
PDF editoriale
Licenza:
NON PUBBLICO - Accesso privato/ristretto
Dimensione
1.06 MB
Formato
Adobe PDF
|
1.06 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Utilizza questo identificativo per citare o creare un link a questo documento:
https://hdl.handle.net/11365/1082655