J. C. Vidal

activity

20122025

most citedEilenberg theorems for many-sorted formations

1 citations · 1 across the 9 of their papers we have counts for

collaborators

Showing 2017Show all

2 papers · 1 filter

math.LO2017

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

Juan Climent Vidal, Enric Cosme Llópez

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 exis…

math.CT2017

When are profinite many-sorted algebras retracts of ultraproducts of finite many-sorted algebras?

Juan Climent Vidal, Enric Cosme Llópez

For a set of sorts $S$ and an $S$ -sorted signature $Σ$ we prove that a profinite $Σ$ -algebra, i.e., a projective limit of a projective system of finite $Σ$ -algebras, is a retract o…

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

When are profinite many-sorted algebras retracts of ultraproducts of finite many-sorted algebras?

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