In this paper we investigate subtractive varieties of algebras that are Fregean in order to get structure theorems about them. For instance it turns out that a subtractive variety is Fregean and has equationally definable principal congruences if and only if it is termwise equivalent to a variety of Hilbert algebras with compatible operations. Several examples are provided to illustrate the theory.
Agliano', P. (2001). Fregean subtractive varieties with definable congruence. JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY, 71(3), 353-366 [10.1017/S1446788700002998].
Fregean subtractive varieties with definable congruence
Agliano', Paolo
2001-01-01
Abstract
In this paper we investigate subtractive varieties of algebras that are Fregean in order to get structure theorems about them. For instance it turns out that a subtractive variety is Fregean and has equationally definable principal congruences if and only if it is termwise equivalent to a variety of Hilbert algebras with compatible operations. Several examples are provided to illustrate the theory.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
fregean-subtractive-varieties-with-definable-congruence.pdf
non disponibili
Descrizione: free full text sul ito dell'editore: https://doi.org/10.1017/S1446788700002998
Tipologia:
PDF editoriale
Licenza:
NON PUBBLICO - Accesso privato/ristretto
Dimensione
648.01 kB
Formato
Adobe PDF
|
648.01 kB | 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/1013855