Zobrazeno 1 - 10
of 113
pro vyhledávání: '"Carlo, Toffalori"'
Autor:
Carlo Toffalori
Publikováno v:
Science & Philosophy, Vol 8, Iss 1, Pp 119-129 (2020)
In the first centenary of Cantor's death, we discuss how to introduce his life, his works and his theories about mathematical infinity to today's students. Keywords: proper and improper infinite, cardinal number, countable set, continuum, continuum
Externí odkaz:
https://doaj.org/article/d4f86af0b62f46ccbac6add5e845d5da
Autor:
Carlo Toffalori
Publikováno v:
Model Theory of Modules, Algebras and Categories. :223-237
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::81e74345d40907de666b4f5ba2b06ffb
https://doi.org/10.1090/conm/730/14718
https://doi.org/10.1090/conm/730/14718
Publikováno v:
The Journal of Symbolic Logic. 83:1391-1412
We provide algebraic conditions ensuring the decidability of the theory of modules over effectively given Prüfer (in particular Bézout) domains with infinite residue fields in terms of a suitable generalization of the prime radical relation. For B
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a76317697855fcb61f3ee7fe62f9fc8b
https://doi.org/10.1017/jsl.2018.58
https://doi.org/10.1017/jsl.2018.58
Autor:
Carlo Toffalori
Publikováno v:
Lettera Matematica Pristem. 107:46-53
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::787b636764d2410273f7bcbb8bf38d45
https://doi.org/10.1007/s10031-018-0036-z
https://doi.org/10.1007/s10031-018-0036-z
Autor:
STEFANO LEONESI, CARLO TOFFALORI
Publikováno v:
TASK Quarterly, Vol 9, Iss 3 (2005)
The early connections between Mathematical Logic and Computer Science date back to the thirties and to the birth itself of modern Theoretical Computer Science, and concern computability. This survey wishes to emphasize how alive and fruitful this rel
Externí odkaz:
https://doaj.org/article/f414da7597ba4f07ad32222687341586
Autor:
CARLO TOFFALORI
Publikováno v:
TASK Quarterly, Vol 9, Iss 3 (2005)
Externí odkaz:
https://doaj.org/article/7e1fcadde1af4f1b81e716d547187da0
Publikováno v:
Annals of Pure and Applied Logic. 168:1507-1516
We prove that the theory of all modules over the ring of algebraic integers is decidable.
Comment: 13 pages
Comment: 13 pages
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4624ca133221b5adb203e7ca210c18be
https://doi.org/10.1016/j.apal.2017.02.003
https://doi.org/10.1016/j.apal.2017.02.003
Publikováno v:
Confluentes Mathematici. 5:49-77
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e0775895b4584f31017a4d09927efd99
https://doi.org/10.5802/cml.8
https://doi.org/10.5802/cml.8
We study the R-torsionfree part of the Ziegler spectrum of an order \Lambda over a Dedekind domain R. We underline and comment on the role of lattices over \Lambda. We describe the torsionfree part of the spectrum when \Lambda is of finite lattice re
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::123545ecec376ff9e9072438e81d1ad2
http://hdl.handle.net/11581/439458
http://hdl.handle.net/11581/439458
Autor:
Carlo Toffalori
Publikováno v:
Lettera Matematica Pristem. 100:48-52
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d6f273746d55c43436b7c75f52cf0149
https://doi.org/10.1007/s10031-017-0009-7
https://doi.org/10.1007/s10031-017-0009-7