A characterization of the <i>n</i>-ary many-sorted closure operators and a many-sorted Tarski irredundant basis theorem (Q5206128)
From MaRDI portal
scientific article; zbMATH DE number 7144285
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A characterization of the <i>n</i>-ary many-sorted closure operators and a many-sorted Tarski irredundant basis theorem |
scientific article; zbMATH DE number 7144285 |
Statements
A characterization of the <i>n</i>-ary many-sorted closure operators and a many-sorted Tarski irredundant basis theorem (English)
0 references
18 December 2019
0 references
\(S\)-sorted set
0 references
delta of Kronecker
0 references
support of an \(S\)-sorted set
0 references
\(n\)-ary many-sorted closure operator
0 references
uniform many-sorted closure operator
0 references
irredundant basis with respect to a many-sorted closure operator
0 references
