La Logica dei Poliedri

Daniele Mundici

Bollettino dell'Unione Matematica Italiana (2008)

  • Volume: 1, Issue: 2, page 455-474
  • ISSN: 0392-4041

Abstract

top
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.

How to cite

top

Mundici, Daniele. "La Logica dei Poliedri." Bollettino dell'Unione Matematica Italiana 1.2 (2008): 455-474. <http://eudml.org/doc/290483>.

@article{Mundici2008,
author = {Mundici, Daniele},
journal = {Bollettino dell'Unione Matematica Italiana},
language = {ita},
month = {6},
number = {2},
pages = {455-474},
publisher = {Unione Matematica Italiana},
title = {La Logica dei Poliedri},
url = {http://eudml.org/doc/290483},
volume = {1},
year = {2008},
}

TY - JOUR
AU - Mundici, Daniele
TI - La Logica dei Poliedri
JO - Bollettino dell'Unione Matematica Italiana
DA - 2008/6//
PB - Unione Matematica Italiana
VL - 1
IS - 2
SP - 455
EP - 474
LA - ita
UR - http://eudml.org/doc/290483
ER -

References

top
  1. ALEXANDER, J. W., The combinatorial theory of complexes, Annals of Mathematics, 31 (1930), 292-320. Zbl56.0497.02MR1502943DOI10.2307/1968099
  2. BERLEKAMP, E. R., 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. MR234756
  3. BUSANICHE, M. - MUNDICI, D., Geometry of Robinson consistency in Łukasiewicz logic, Annals of Pure and Applied Logic, 147 (2007), 1-22. Zbl1125.03016MR2328196DOI10.1016/j.apal.2006.11.003
  4. CASSELS, J. W. S., An introduction to the geometry of numbers, Springer, Berlin, 1959. Zbl0086.26203MR157947
  5. CHERNAVSKI, A. V. and LEKSINE, V. P., Unrecognizability of manifolds, Annals of Pure and Applied Logic, 141 (2006), 325-335. Zbl1115.57014MR2234702DOI10.1016/j.apal.2005.12.011
  6. CICALESE, F. - MUNDICI, D., 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. CICALESE, F. - MUNDICI, D. - VACCARO, U., 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. Zbl0978.03045MR1854480
  8. CIGNOLI, R. - MUNDICI, D., Stone duality for Dedekind σ -complete -groups with order-unit, Journal of Algebra, 302 (2006), 848-861. Zbl1108.06011MR2293786DOI10.1016/j.jalgebra.2006.05.029
  9. CIGNOLI, R. L. O. - D'OTTAVIANO, I. M. L. - MUNDICI, D., Algebraic foundations of many-valued reasoning, volume 7 of Trends in Logic, Kluwer Academic Publishers, Dordrecht (2000). MR1786097DOI10.1007/978-94-015-9480-6
  10. CIGNOLI, R. L. O. - DUBUC, E. J. - MUNDICI, D., Extending Stone duality to multisets and locally finite MV-algebras, J. Pure and Applied Algebra, 189 (2004), 37-59. Zbl1055.06004MR2038562DOI10.1016/j.jpaa.2003.10.021
  11. CIGNOLI, R. - ELLIOTT, G. A. - MUNDICI, D., Reconstructing C * -algebras from their Murray von Neumann orders, Advances in Mathematics, 101 (1993), 166-179,. MR1242603DOI10.1006/aima.1993.1046
  12. ERDÖS, P. - GRUBER, P. M. - HAMMER, J., Lattice points, Pitman Monographs and Surveys in Pure and Applied Mathematics39, Longman and Wiley, New York, 1989. MR1003606
  13. EWALD, G., Combinatorial convexity and algebraic geometry, Springer-Verlag, New York, 1996. Zbl0869.52001MR1418400DOI10.1007/978-1-4612-4044-0
  14. GISPERT, J. - MUNDICI, D. - TORRENS, A., Ultraproducts of with an application to many-valued logics, Journal of Algebra, 219 (1999), 214-233. Zbl0937.06008MR1707669DOI10.1006/jabr.1999.7893
  15. HIRZEBRUCH, F., Über vierdimensionale Riemannsche Flächen mehrdeutiger analytischer Funktionen von zwei complexen Veränderlichen, Math. Annalen, 126 (1953), 1-22. MR62842DOI10.1007/BF01343146
  16. JUNG, H. W. E., 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. MR1580742DOI10.1515/crll.1908.133.289
  17. LEKKERKERKER, C. G., Geometry of numbers, Wolters-Noordhoff, Groningen and North-Holland, Amsterdam, 1969. MR271032
  18. LICKORISH, W. B. R., Simplicial moves on complexes and manifolds, Geometry and Topology Monographs, Vol. 2: Proceedings of the Kirbyfest (1999), 299-320. Zbl0963.57013MR1734414DOI10.2140/gtm.1999.2.299
  19. MANARA-, C. MARRA, V. - MUNDICI, D., Lattice-ordered Abelian groups and Schauder bases of regular fans, Transactions of the American Mathematical Society, 359 (2007), 1593-1604. Zbl1118.06009MR2272142DOI10.1090/S0002-9947-06-03935-3
  20. MANIN, YU. I., A course in mathematical logic, Springer-Verlag, New York, 1977. Zbl0383.03002MR457126
  21. MARRA, V. - MUNDICI, D., The Lebesgue state of a unital abelian lattice-ordered group, Journal of Group Theory, 10 (2007), 655-684. Zbl1136.06009MR2352036DOI10.1515/JGT.2007.049
  22. MCMULLEN, P., Valuations and dissections, In: Handbook of Convex Geometry, Vol. 2. P. M. GRUBER - J. M. WILLS, Eds., Elsevier (1993), 933-988. Zbl0791.52014MR1243000
  23. MORELLI, R., The birational geometry of toric varieties, Journal of Algebraic Geometry, 5 (1996), 751-782. Zbl0871.14041MR1486987
  24. MOSTOWSKI, A., L'oeuvre scientifique de Jan Łukasiewicz dans le domaine de la logique mathématique, Fundamenta Mathematicae, 44 (1957), 1-11. MR89801DOI10.4064/fm-44-1-1-11
  25. MUNDICI, D., Interpretation of AF C * -algebras in Łukasiewicz sentential calculus, Journal of Functional Analysis, 65 (1986), 15-63. Zbl0597.46059MR819173DOI10.1016/0022-1236(86)90015-7
  26. MUNDICI, D., Satisfiability in many-valued sentential logic is NP-complete, Theoretical Computer Science, 52 (1987), 145-153 Zbl0639.03042MR918116DOI10.1016/0304-3975(87)90083-1
  27. MUNDICI, D., Farey stellar subdivisions, ultrasimplicial groups, and K 0 of AF C * -algebras, Advances in Mathematics, 68 (1988), 23-39. MR931170DOI10.1016/0001-8708(88)90006-0
  28. MUNDICI, D., Logic of infinite quantum systems, International Journal of Theoretical Physics, 32 (1993), 1941-1955. Zbl0799.03019MR1255397DOI10.1007/BF00979516
  29. MUNDICI, D., Łukasiewicz normal forms and toric desingularizations, In: Proceedings Logic Colloquium '93, W. Hodges et al., Editors, Oxford University Press, (1996), 401-423. MR1428014
  30. MUNDICI, D., Tensor Products and the Loomis-Sikorski theorem for MV-algebras, Advances in Applied Mathematics, 22 (1999), 227-248. Zbl0926.06004MR1659410DOI10.1006/aama.1998.0631
  31. MUNDICI, D., Simple Bratteli diagrams with a Gödel incomplete isomorphism problem, Transactions of the American Mathematical Society, 356 (2004), 1937-1955. Zbl1042.46033MR2031047DOI10.1090/S0002-9947-03-03353-1
  32. MUNDICI, D., Representation of σ -complete MV-algebras and their associated Dedekind σ -complete -groups, Contemporary Mathematics, 419 (2006), 219-230. Zbl1119.06009MR2279120DOI10.1090/conm/419/08007
  33. MUNDICI, D., Bookmaking over infinite-valued events, International Journal of Approximate Reasoning, 43 (2006), 223-240. Zbl1123.03011MR2269599DOI10.1016/j.ijar.2006.04.004
  34. MUNDICI, D., The Haar theorem for lattice-ordered abelian groups with order-unit, Discrete and Continuous Dynamical Systems, 21 (2008). Zbl1154.28007MR2385705DOI10.3934/dcds.2008.21.537
  35. MUNDICI, D. - PANTI, G., Extending addition in Elliott's local semigroup, Journal of Functional Analysis, 117 (1993), 461-471. Zbl0799.46077MR1244944DOI10.1006/jfan.1993.1134
  36. MUNDICI, D. - PANTI, G., Decidable and undecidable prime theories in infinite-valued logic, Annals of Pure and Applied Logic, 108 (2001), 269-278. Zbl1130.03019MR1819059DOI10.1016/S0168-0072(00)00051-8
  37. MUNDICI, D. - TSINAKIS, C., Gödel incompleteness in AF C * -algebras, Forum Mathematicum. In stampa. MR2479290DOI10.1515/FORUM.2008.048
  38. NEWMAN, M. H. A., On the foundations of combinatory analysis situs, Proc. Royal Academy of Amsterdam, 29 (1926), 610-641. Zbl53.0547.02
  39. ODA, T., Convex bodies and algebraic geometry. An introduction to the theory of toric varieties, Springer-Verlag, New York, 1988. Zbl0628.52002MR922894
  40. PANTI, G., Dynamical properties of logical substitutions, Discrete and Continuous Dynamical Systems, 15 (2006), 237-258. Zbl1102.03024MR2191395DOI10.3934/dcds.2006.15.237
  41. PANTI, G., Bernoulli automorphisms of finitely generated free MV-algebras, Journal of Pure and Applied Algebra, 208 (2007), 941-950. Zbl1110.06014MR2283436DOI10.1016/j.jpaa.2006.03.024
  42. PANTI, G., Invariant measures in free MV-algebras, In stampa su Communications in Algebra. http://arxiv.org/abs/math/0508445v2. Zbl1154.06008MR2440284DOI10.1080/00927870802104394
  43. PELC, A., Searching games with errors: fifty years of coping with liars, Theoretical Computer Science, 270 (2002), 71-109. Zbl0984.68041MR1871067DOI10.1016/S0304-3975(01)00303-6
  44. RÉNYI, A., Napló az információelméletröl, Gondolat, Budapest, 1976. (English translation: A Diary on Information Theory, J. Wiley and Sons, New York, 1984). MR772204
  45. RIECAN, B. - MUNDICI, D., Probability on MV-algebras, In: E. Pap (ed.), Handbook of Measure Theory, Vol. II, North-Holland, Amsterdam, (2001), 869-909. MR1954631DOI10.1016/B978-044450263-6/50022-1
  46. ROURKE, C. P. SANDERSON, B. J., Introduction to piecewise-linear topology, Springer-Verlag, New York, 1972. Zbl0254.57010MR350744
  47. SEMADENI, Z., Schauder bases in Banach spaces of continuous functions, Lecture Notes in Mathematics, Springer-Verlag, Berlin, volume 918, 1982. Zbl0478.46014MR653986
  48. TARSKI, A. - ŁUKASIEWICZ, J., Investigations into the Sentential Calculus, In: Logic, Semantics, Metamathematics, Oxford University Press, 1956, 38-59. Reprinted by Hackett Publishing Company, Indianapolis, 1983. MR736686
  49. TSUJII, M., Absolutely continuous invariant measures for expanding piecewise linear maps, Invent. Math., 143 (2001), 349-373. Zbl0969.37012MR1835391DOI10.1007/PL00005797
  50. ULAM, S., Adventures of a Mathematician, Scribner's, New York, 1976. Zbl0352.01009MR485098
  51. WEYL, H., The elementary theory of convex polyhedra, In: Contributions to the theory of games, Vol. I, Annals of Mathematics Studies24, University Press, Princeton NJ, 1950, 3-18. MR38088
  52. WKLODARCZYK, J., Decompositions of birational toric maps in blow-ups and blow-downs. Transactions of the American Mathematical Society, 373-411 (1997), 349. MR1370654DOI10.1090/S0002-9947-97-01701-7

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.