Zobrazeno 1 - 10
of 220
pro vyhledávání: '"Daniele Mundici"'
Publikováno v:
Manuscrito, Vol 34, Iss 1, Pp 09-17 (2011)
Externí odkaz:
https://doaj.org/article/8633be84040b4dd1960f4d6df9478183
Publikováno v:
Principia: An International Journal of Epistemology, Vol 15, Iss 2, Pp 223-224 (2011)
Foreword
Externí odkaz:
https://doaj.org/article/a78d046b70f444d69d1595dc89077f92
Autor:
Daniele Mundici
Publikováno v:
Discrete Applied Mathematics. 320:304-310
Autor:
Daniele Mundici
Publikováno v:
Electronic Proceedings in Theoretical Computer Science. 358
Autor:
Daniele Mundici
Publikováno v:
The Journal of Symbolic Logic. 85:906-917
Let $\to $ be a continuous $\protect \operatorname {\mathrm {[0,1]}}$ -valued function defined on the unit square $\protect \operatorname {\mathrm {[0,1]}}^2$ , having the following properties: (i) $x\to (y\to z)= y\to (x\to z)$ and (ii) $x\to y=1 $
Autor:
Daniele Mundici
Publikováno v:
Annali di Matematica Pura ed Applicata (1923 -). 199:1843-1871
The subject matter of this paper is the geometry of the affine group over the integers, $${\mathsf {GL}}(n,{\mathbb {Z}})\ltimes {\mathbb {Z}}^n$$ . Turing-computable complete $${\mathsf {GL}}(n,{\mathbb {Z}})\ltimes {\mathbb {Z}}^n$$ -orbit invarian
Autor:
Daniele Mundici
Publikováno v:
The Logic of Software. A Tasting Menu of Formal Methods ISBN: 9783031081651
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::11655b7edc97225b5223a98d36ea9171
https://doi.org/10.1007/978-3-031-08166-8_18
https://doi.org/10.1007/978-3-031-08166-8_18
Autor:
Daniele Mundici
Publikováno v:
Annals of Pure and Applied Logic. 174:103182
Autor:
Daniele Mundici
Publikováno v:
Journal of Number Theory. 201:176-189
For any point x = ( x 1 , x 2 ) ∈ R 2 we let G x = Z x 1 + Z x 2 + Z be the subgroup of the additive group R generated by x 1 , x 2 , 1 . When rank ( G x ) = 3 we say that x is a rank 3 point. We prove the existence of an infinite set I ⊆ R 2 of
Autor:
Daniele Mundici
Publikováno v:
Communications in Contemporary Mathematics. 23
An AF algebra [Formula: see text] is said to be an AF[Formula: see text] algebra if the Murray–von Neumann order of its projections is a lattice. Many, if not most, of the interesting classes of AF algebras existing in the literature are AF[Formula