J. Soliveres Tur

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The modernity of Dedekind's anticipations contained in \textit{What are numbers and what are they good for?} Archive for History of Exact Sciences	2018-06-07	Paper
On the preservation of the standard characterizations of some colimits in the passage from single-sorted to many-sorted universal algebra Houston Journal of Mathematics	2016-11-25	Paper
On the directly and subdirectly irreducible many-sorted algebras. Demonstratio Mathematica	2015-04-16	Paper
scientific article; zbMATH DE number 6287604 (Why is no real title available?)	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
Kleisli and Eilenberg-Moore constructions as parts of biadjoint situations	2011-07-06	Paper
A 2-categorical framework for the syntax and semantics of many-sorted equational logic	2011-03-30	Paper
A 2-categorial generalization of the concept of institution Studia Logica	2010-09-20	Paper
Birkhoff-Frink representations as functors Mathematische Nachrichten	2010-05-17	Paper
When is the insertion of the generators injective for a sur-reflective subcategory of a category of many-sorted algebras?	2009-08-10	Paper
On a class of partial functors between categories which provide a closed and ordered partially additive category of categories	2008-07-21	Paper
Functors of Lindenbaum-Tarski, schematic interpretations, and adjoint cylinders between sentential logics Notre Dame Journal of Formal Logic	2008-06-18	Paper
On the completeness theorem of many-sorted equational logic and the equivalence between Hall algebras and Bénabou theories	2006-03-29	Paper
scientific article; zbMATH DE number 2174737 (Why is no real title available?)	2005-06-09	Paper
On many-sorted algebraic closure operators Mathematische Nachrichten	2004-03-15	Paper

Research outcomes over time

This page was built for person: J. Soliveres Tur