Zobrazeno 1 - 10
of 11
pro vyhledávání: '"J. Soliveres Tur"'
Autor:
J. Soliveres Tur, J. Climent Vidal
Publikováno v:
Archive for History of Exact Sciences. 72:99-141
We show that Dedekind, in his proof of the principle of definition by mathematical recursion, used implicitly both the concept of an inductive cone from an inductive system of sets and that of the inductive limit of an inductive system of sets. Moreo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f02d6b882716e48bc657513bfbf3bb8d
https://doi.org/10.1007/s00407-018-0202-6
https://doi.org/10.1007/s00407-018-0202-6
Autor:
J. Climent Vidal, J. Soliveres Tur
Publikováno v:
Demonstratio Mathematica, Vol 48, Iss 1, Pp 1-12 (2015)
A theorem of single-sorted universal algebra asserts that every finite algebra can be represented as a product of a finite family of finite directly irreducible algebras. In this article, we show that the many-sorted counterpart of the above theorem
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3d26f55c700e56bfe6cb1a1b1765ea8b
https://doi.org/10.1515/dema-2015-0001
https://doi.org/10.1515/dema-2015-0001
Autor:
J. Soliveres Tur, J. Climent Vidal
Publikováno v:
Studia Logica. 95:301-344
After defining, for each many-sorted signature Σ = (S, Σ), the category Ter(Σ), of generalized terms for Σ (which is the dual of the Kleisli category for $${\mathbb {T}_{\bf \Sigma}}$$ , the monad in Set S determined by the adjunction $${{\bf T}_
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::258cdc00f8e01d8a99f070ce4afae9d1
https://doi.org/10.1007/s11225-010-9268-0
https://doi.org/10.1007/s11225-010-9268-0
Autor:
J. Climent Vidal, J. Soliveres Tur
Publikováno v:
Mathematische Nachrichten. 283:686-703
In an earlier article we characterized, from the viewpoint of set theory, those closure operators for which the classical result of Birkhoff and Frink, stating the equivalence between algebraic closure spaces, subalgebra lattices and algebraic lattic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ad8002c2547d7adef2fe6d10beffd9d6
https://doi.org/10.1002/mana.200610832
https://doi.org/10.1002/mana.200610832
Autor:
J. Soliveres Tur, J. Climent Vidal
Publikováno v:
Archive for History of Exact Sciences. 72:143-143
The original version of this article unfortunately contained a mistake: The equation on page 34 was incorrect. The corrected equation is given below.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bf76b9b16817a522b239696586837545
https://doi.org/10.1007/s00407-018-0203-5
https://doi.org/10.1007/s00407-018-0203-5
Autor:
J. Soliveres Tur, J. Climent Vidal
Publikováno v:
Notre Dame J. Formal Logic 49, no. 2 (2008), 185-202
We prove, by using the concept of schematic interpretation, that the natural embedding from the category ISL, of intuitionistic sentential pretheories and i-congruence classes of morphisms, to the category CSL, of classical sentential pretheories and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9f0f481e056ff5453013043da5b2cacf
https://doi.org/10.1215/00294527-2008-007
https://doi.org/10.1215/00294527-2008-007
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.