Juan Climent Vidal

Available identifiers

zbMath Open climent-vidal.juanMaRDI QIDQ590975

List of research outcomes

Publication	Date of Publication	Type
Functoriality of the Schmidt construction	2024-02-20	Paper
Lallement functor is a weak right multiadjoint	2023-11-06	Paper
P{\l}onka Adjunction	2023-05-05	Paper
When are profinite many-sorted algebras retracts of ultraproducts of finite many-sorted algebras?	2022-08-10	Paper
Congruence-based proofs of the recognizability theorems for free many-sorted algebras	2020-06-04	Paper
A characterization of the n-ary many-sorted closure operators and a many-sorted Tarski irredundant basis theorem	2019-12-18	Paper
https://portal.mardi4nfdi.de/entity/Q5233333	2019-09-10	Paper
The modernity of Dedekind's anticipations contained in \textit{What are numbers and what are they good for?}	2018-06-07	Paper
https://portal.mardi4nfdi.de/entity/Q2834122	2016-11-25	Paper
On the directly and subdirectly irreducible many-sorted algebras.	2015-04-16	Paper
https://portal.mardi4nfdi.de/entity/Q4979033	2014-06-13	Paper
https://portal.mardi4nfdi.de/entity/Q5411451	2014-04-23	Paper
On the Morphisms and Transformations of Tsuyoshi Fujiwara (as a concretion of a bidimensional many-sorted general algebra and its application to the equivalence between many-sorted clones and algebraic theories)	2012-01-25	Paper
https://portal.mardi4nfdi.de/entity/Q3012624	2011-07-06	Paper
https://portal.mardi4nfdi.de/entity/Q3086528	2011-03-30	Paper
A 2-categorial generalization of the concept of institution	2010-09-20	Paper
Birkhoff-Frink representations as functors	2010-05-17	Paper
https://portal.mardi4nfdi.de/entity/Q5325482	2009-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q3514312	2008-07-21	Paper
Functors of Lindenbaum-Tarski, schematic interpretations, and adjoint cylinders between sentential logics	2008-06-18	Paper
https://portal.mardi4nfdi.de/entity/Q3377761	2006-03-29	Paper
https://portal.mardi4nfdi.de/entity/Q4682103	2005-06-09	Paper
On many-sorted algebraic closure operators	2004-03-15	Paper
From higher-order rewriting systems to higher-order categorial algebras and higher-order Curry-Howard isomorphisms	0001-01-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Juan Climent Vidal