14 citations · 21 across the 24 of their papers we have counts for
25 papers
Finite and infinite primes in models of PA
Daniele Mundici
We characterize models of Peano arithmetic (PA) with infinitely many infinite primes p such that p + 2 has no finite prime divisor.
De Finetti for mathematics undergraduates
Daniele Mundici
In 1931 de Finetti proved what is known as his Dutch Book Theorem. This result implies that the finite additivity {\it axiom} for the probability of the disjunction of two incompat…
Polytime reductions of AF-algebraic problems
Daniele Mundici
We assess the computational complexity of several decision problems concerning (Murray-von Neumann) equivalence classes of projections of AF-algebras whose Elliott classifier is la…
Basic geometry of the affine group over Z
Daniele Mundici
The subject matter of this paper is the geometry of the affine group over the integers, . Turing-computable complete $\mathsf{GL}(n,\…
Approaching central projections in AF-algebras
Daniele Mundici
Let be a unital AF-algebra whose Murray-von Neumann order of projections is a lattice. For any two equivalence classes and of projections we write $[p]\sqsubseteq […
Word problems in Elliott monoids
Daniele Mundici
Algorithmic issues concerning Elliott local semigroups are seldom considered in the literature, although these combinatorial structures completely classify AF algebras. In general,…