Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A characterization of the $n$-ary many-sorted closure operators and a
  many-sorted Tarski irredundant basis theorem   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 $\Sigma$ and a
$\Sigma$-algebra $\mathbf{A}$ such that every operation of $\mathbf{A}$ is of
an arity $\leq n$ and $J = \mathrm{Sg}_{\mathbf{A}}$, where
$\mathrm{Sg}_{\mathbf{A}}$ is the subalgebra generating operator on $A$
determined by $\mathbf{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\geq 2$, and if $i<j$
with $i$, $j\in \mathrm{IrB}(A,J)$, where $\mathrm{IrB}(A,J)$ is the set of all
natural numbers $n$ such that $(A,J)$ has an irredundant basis ($\equiv$
minimal generating set) of $n$ elements, such that $\{i+1,\ldots, j-1\}\cap
\mathrm{IrB}(A,J) = \varnothing$, then $j-i\leq 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.

35
The categories of this paper are: mtrl-th
18
The categories of this paper are: econ
13
The categories of this paper are: quant-ph
27
The categories of this paper are: comp-gas
4
The categories of this paper are: cond-mat
29
The categories of this paper are: funct-an
26
The categories of this paper are: bayes-an
14
The categories of this paper are: math-ph
16
The categories of this paper are: stat
30
The categories of this paper are: q-alg
22
The categories of this paper are: chao-dyn
36
The categories of this paper are: cmp-lg
0
The categories of this paper are: hep-ph
25
The categories of this paper are: patt-sol
24
The categories of this paper are: dg-ga
3
The categories of this paper are: physics