A characterization of the n-ary many-sorted closure operators and a many-sorted Tarski irredundant basis theorem
NAGIOS: RODERIC FUNCIONANDO

A characterization of the n-ary many-sorted closure operators and a many-sorted Tarski irredundant basis theorem

DSpace Repository

A characterization of the n-ary many-sorted closure operators and a many-sorted Tarski irredundant basis theorem

Show simple item record

dc.contributor.author Climent Vidal, J.
dc.contributor.author Cosme i Llópez, Enric
dc.date.accessioned 2019-02-27T14:41:25Z
dc.date.available 2019-02-27T14:41:25Z
dc.date.issued 2018
dc.identifier.uri http://hdl.handle.net/10550/69207
dc.description.abstract A theorem of single-sorted algebra states that, for a closure space (A, J ) and a natural number n, the closure operator J on the set A is n-ary if and only if there exists a single-sorted signature Σ and a Σ-algebra A such that every operation of A is of an arity ≤ n and J = SgA, where SgA is the subalgebra generating operator on A determined by A. On the other hand, a theorem of Tarski asserts that if J is an n-ary closure operator on a set A with n ≥ 2, then, for every i, j ∈ IrB(A, J ), where IrB(A, J ) is the set of all natural numbers which have the property of being the cardinality of an irredundant basis (≡ minimal generating set) of A with respect to J , if i < j and {i + 1, . . . , j − 1} ∩ IrB(A, J ) = Ø, then j − i ≤ n − 1. In this article we state and prove the many-sorted counterparts of the above theorems. But, we remark, regarding the first one under an additional condition: the uniformity of the many-sorted closure operator.
dc.language.iso eng
dc.relation.ispartof Quaestiones Mathematicae, 2018, p. 1-18
dc.rights.uri info:eu-repo/semantics/openAccess
dc.source Climent Vidal, J. Cosme i Llópez, Enric 2018 A characterization of the n-ary many-sorted closure operators and a many-sorted Tarski irredundant basis theorem Quaestiones Mathematicae 1 18
dc.subject Matemàtica
dc.title A characterization of the n-ary many-sorted closure operators and a many-sorted Tarski irredundant basis theorem
dc.type info:eu-repo/semantics/article
dc.date.updated 2019-02-27T14:41:25Z
dc.identifier.doi https://doi.org/10.2989/16073606.2018.1532931
dc.identifier.idgrec 130222
dc.accrualmethod
dc.embargo.terms 1 year
dc.embargo.liftdate 2019-11-15

View       (206.2Kb)

This item appears in the following Collection(s)

Show simple item record

Search DSpace

Advanced Search

Browse

Statistics