Interpretations into monadic algebras (Q1104351): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bf00370644 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2082759889 / rank | |||
Normal rank |
Latest revision as of 09:42, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Interpretations into monadic algebras |
scientific article |
Statements
Interpretations into monadic algebras (English)
0 references
1987
0 references
Le but de cet article est d'étudier les interprétations pour certaines catégories de treillis. L'A. désigne par \(D_{01}\) la catégorie des treillis distributifs avec plus petit et plus grand éléments, par B la catégorie des algèbres booléennes, par K la catégorie des algèbres modales, c'est-à-dire les algèbres booléennes avec une opération unaire (x\(\circ)\) vérifiant \((xy)\circ =x\circ y\circ\) et \(1\circ =1\), par T la sous-catégorie de K avec l'axiome supplémentaire \(x\circ \leq x\), par \(B_ i\) la sous- catégorie de T avec l'axiome supplémentaire \(x\circ \leq x\circ \circ\), enfin par M la catégorie des algèbres monadiques, c'est-à- dire la sous catégorie de \(B_ i\) avec l'axiome supplémentaire \(x\circ^ c\leq x\), où \(x^ c=x'\circ '.\) Les principaux résultats sont les suivants: Il y a 4 interprétations de \(D_{01}\) dans M. Il y a 4 interprétations de B dans M. Il y a 8 interprétations de T, \(B_ i\) et M dans M.
0 references
lattice of interpretability types of varieties
0 references
monadic algebras
0 references
interpretations of varieties
0 references
categories of lattices
0 references
modal algebras
0 references