La Logica dei Poliedri

Mundici, Daniele

Bollettino della Unione matematica italiana, Série 9, Tome 1 (2008) no. 2, pp. 455-474.

Résumé

We describe the deep relationship between rational polyhedra, weighted abstract simplicial complexes, and finitely presented MV-algebras – the algebras of finitely axiomatizable theories in Łukasiewicz infinite-valued logic. Combining Alexander's classical stellar machinery with the solution, by Wklodarczyk and Morelli, of the weak Oda conjecture on toric varieties, we shall present several results involving classification, measurability, dissectability, and computability.

Bibliographie

[1] J. W. Alexander, The combinatorial theory of complexes, Annals of Mathematics, 31 (1930), 292-320. | DOI | MR | Zbl

[2] E. R. Berlekamp, Block coding for the binary symmetric channel with noiseless, delayless feedback, In: Error-correcting Codes. (Mann, H. B., Ed.,) Wiley, New York (1968), 330-335. | MR

[3] M. Busaniche - D. Mundici, Geometry of Robinson consistency in Łukasiewicz logic, Annals of Pure and Applied Logic, 147 (2007), 1-22. | DOI | MR | Zbl

[4] J. W. S. Cassels, An introduction to the geometry of numbers, Springer, Berlin, 1959. | MR | Zbl

[5] A. V. Chernavski and V. P. Leksine, Unrecognizability of manifolds, Annals of Pure and Applied Logic, 141 (2006), 325-335. | DOI | MR | Zbl

[6] F. Cicalese - D. Mundici, Learning and the art of fault-tolerant guesswork, Handbook Chapter, In: Perspectives on Adaptivity and Learning, I. Stamatescu, et al., Eds., Springer (2003), 115-140.

[7] F. Cicalese - D. Mundici - U. Vaccaro, Rota-Metropolis cubic logic and Ulam-Rényi games, In: Algebraic Combinatorics and Computer Science: a tribute to Gian-Carlo Rota (H. Crapo, D. Senato, Eds.), Springer-Verlag (2001), 197-244. | MR | Zbl

[8] R. Cignoli - D. Mundici, Stone duality for Dedekind $\sigma$-complete $\ell$-groups with order-unit, Journal of Algebra, 302 (2006), 848-861. | DOI | MR | Zbl

[9] R. L. O. Cignoli - I. M. L. D'Ottaviano - D. Mundici, Algebraic foundations of many-valued reasoning, volume 7 of Trends in Logic, Kluwer Academic Publishers, Dordrecht (2000). | DOI | MR

[10] R. L. O. Cignoli - E. J. Dubuc - D. Mundici, Extending Stone duality to multisets and locally finite MV-algebras, J. Pure and Applied Algebra, 189 (2004), 37-59. | DOI | MR | Zbl

[11] R. Cignoli - G. A. Elliott - D. Mundici, Reconstructing $C^*$-algebras from their Murray von Neumann orders, Advances in Mathematics, 101 (1993), 166-179,. | DOI | MR

[12] P. Erdös - P. M. Gruber - J. Hammer, Lattice points, Pitman Monographs and Surveys in Pure and Applied Mathematics 39, Longman and Wiley, New York, 1989. | MR

[13] G. Ewald, Combinatorial convexity and algebraic geometry, Springer-Verlag, New York, 1996. | DOI | MR | Zbl

[14] J. Gispert - D. Mundici - A. Torrens, Ultraproducts of $\mathbb{Z}$ with an application to many-valued logics, Journal of Algebra, 219 (1999), 214-233. | DOI | MR | Zbl

[15] F. Hirzebruch, Über vierdimensionale Riemannsche Flächen mehrdeutiger analytischer Funktionen von zwei complexen Veränderlichen, Math. Annalen, 126 (1953), 1-22. | fulltext EuDML | DOI | MR

[16] H. W. E. Jung, Darstellung der Funktionen eines algebraischen Körpers zweier unabhängigen Veränderlichen $x, y$ in der Umbegung einer Stelle $x=a$, $y=b$, J. reine angew. Math., 133 (1908), 289-314. | fulltext EuDML | DOI | MR

[17] C. G. Lekkerkerker, Geometry of numbers, Wolters-Noordhoff, Groningen and North-Holland, Amsterdam, 1969. | MR

[18] W. B. R. Lickorish, Simplicial moves on complexes and manifolds, Geometry and Topology Monographs, Vol. 2: Proceedings of the Kirbyfest (1999), 299-320. | DOI | MR | Zbl

[19] C. Manara- V. Marra - D. Mundici, Lattice-ordered Abelian groups and Schauder bases of regular fans, Transactions of the American Mathematical Society, 359 (2007), 1593-1604. | DOI | MR | Zbl

[20] Yu. I. Manin, A course in mathematical logic, Springer-Verlag, New York, 1977. | MR | Zbl

[21] V. Marra - D. Mundici, The Lebesgue state of a unital abelian lattice-ordered group, Journal of Group Theory, 10 (2007), 655-684. | DOI | MR | Zbl

[22] P. Mcmullen, Valuations and dissections, In: Handbook of Convex Geometry, Vol. 2. P. M. GRUBER - J. M. WILLS, Eds., Elsevier (1993), 933-988. | MR | Zbl

[23] R. Morelli, The birational geometry of toric varieties, Journal of Algebraic Geometry, 5 (1996), 751-782. | MR | Zbl

[24] A. Mostowski, L'oeuvre scientifique de Jan Łukasiewicz dans le domaine de la logique mathématique, Fundamenta Mathematicae, 44 (1957), 1-11. | fulltext EuDML | DOI | MR

[25] D. Mundici, Interpretation of AF $C^*$-algebras in Łukasiewicz sentential calculus, Journal of Functional Analysis, 65 (1986), 15-63. | DOI | MR | Zbl

[26] D. Mundici, Satisfiability in many-valued sentential logic is NP-complete, Theoretical Computer Science, 52 (1987), 145-153 | DOI | MR | Zbl

[27] D. Mundici, Farey stellar subdivisions, ultrasimplicial groups, and $K_0$ of AF $C^*$-algebras, Advances in Mathematics, 68 (1988), 23-39. | DOI | MR

[28] D. Mundici, Logic of infinite quantum systems, International Journal of Theoretical Physics, 32 (1993), 1941-1955. | DOI | MR | Zbl

[29] D. Mundici, Łukasiewicz normal forms and toric desingularizations, In: Proceedings Logic Colloquium '93, W. Hodges et al., Editors, Oxford University Press, (1996), 401-423. | MR

[30] D. Mundici, Tensor Products and the Loomis-Sikorski theorem for MV-algebras, Advances in Applied Mathematics, 22 (1999), 227-248. | DOI | MR | Zbl

[31] D. Mundici, Simple Bratteli diagrams with a Gödel incomplete isomorphism problem, Transactions of the American Mathematical Society, 356 (2004), 1937-1955. | DOI | MR | Zbl

[32] D. Mundici, Representation of $\sigma$-complete MV-algebras and their associated Dedekind $\sigma$-complete $\ell$-groups, Contemporary Mathematics, 419 (2006), 219-230. | DOI | MR | Zbl

[33] D. Mundici, Bookmaking over infinite-valued events, International Journal of Approximate Reasoning, 43 (2006), 223-240. | DOI | MR | Zbl

[34] D. Mundici, The Haar theorem for lattice-ordered abelian groups with order-unit, Discrete and Continuous Dynamical Systems, 21 (2008). | DOI | MR | Zbl

[35] D. Mundici - G. Panti, Extending addition in Elliott's local semigroup, Journal of Functional Analysis, 117 (1993), 461-471. | DOI | MR | Zbl

[36] D. Mundici - G. Panti, Decidable and undecidable prime theories in infinite-valued logic, Annals of Pure and Applied Logic, 108 (2001), 269-278. | DOI | MR | Zbl

[37] D. Mundici - C. Tsinakis, Gödel incompleteness in AF $C^*$-algebras, Forum Mathematicum. In stampa. | DOI | MR

[38] M. H. A. Newman, On the foundations of combinatory analysis situs, Proc. Royal Academy of Amsterdam, 29 (1926), 610-641. | Zbl

[39] T. Oda, Convex bodies and algebraic geometry. An introduction to the theory of toric varieties, Springer-Verlag, New York, 1988. | fulltext EuDML | MR | Zbl

[40] G. Panti, Dynamical properties of logical substitutions, Discrete and Continuous Dynamical Systems, 15 (2006), 237-258. | DOI | MR | Zbl

[41] G. Panti, Bernoulli automorphisms of finitely generated free MV-algebras, Journal of Pure and Applied Algebra, 208 (2007), 941-950. | DOI | MR | Zbl

[42] G. Panti, Invariant measures in free MV-algebras, In stampa su Communications in Algebra. http://arxiv.org/abs/math/0508445v2. | DOI | MR | Zbl

[43] A. Pelc, Searching games with errors: fifty years of coping with liars, Theoretical Computer Science, 270 (2002), 71-109. | DOI | MR | Zbl

[44] A. Rényi, Napló az információelméletröl, Gondolat, Budapest, 1976. (English translation: A Diary on Information Theory, J. Wiley and Sons, New York, 1984). | MR

[45] B. Riecan - D. Mundici, Probability on MV-algebras, In: E. Pap (ed.), Handbook of Measure Theory, Vol. II, North-Holland, Amsterdam, (2001), 869-909. | DOI | MR

[46] C. P. Rourke B. J. Sanderson, Introduction to piecewise-linear topology, Springer-Verlag, New York, 1972. | MR | Zbl

[47] Z. Semadeni, Schauder bases in Banach spaces of continuous functions, Lecture Notes in Mathematics, Springer-Verlag, Berlin, volume 918, 1982. | MR | Zbl

[48] A. Tarski - J. Łukasiewicz, Investigations into the Sentential Calculus, In: Logic, Semantics, Metamathematics, Oxford University Press, 1956, 38-59. Reprinted by Hackett Publishing Company, Indianapolis, 1983. | MR

[49] M. Tsujii, Absolutely continuous invariant measures for expanding piecewise linear maps, Invent. Math., 143 (2001), 349-373. | DOI | MR | Zbl

[50] S. Ulam, Adventures of a Mathematician, Scribner's, New York, 1976. | MR | Zbl

[51] H. Weyl, The elementary theory of convex polyhedra, In: Contributions to the theory of games, Vol. I, Annals of Mathematics Studies 24, University Press, Princeton NJ, 1950, 3-18. | MR

[52] J. Wklodarczyk, Decompositions of birational toric maps in blow-ups and blow-downs. Transactions of the American Mathematical Society, 373-411 (1997), 349. | DOI | MR