Publikationen, an denen er mitarbeitet JUAN BLAS CLIMENT VIDAL (4)

2023

  1. Functoriality of the Schmidt construction

    Logic Journal of the IGPL, Vol. 31, Núm. 5, pp. 822-893

2020

  1. Congruence-based proofs of the recognizability theorems for free many-sorted algebras

    Journal of Logic and Computation, Vol. 30, Núm. 2, pp. 561-633

2019

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

    Quaestiones Mathematicae, Vol. 42, Núm. 10, pp. 1427-1444

2018

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

    Logic Journal of the IGPL, Vol. 26, Núm. 4, pp. 381-407