Geodesic
A semantic construction of two-ary integers
Discussiones Mathematicae. General Algebra and Applications, Tome 25 (2005) no. 2, pp. 165-219.

Voir la notice de l'article provenant de la source Library of Science

To binary trees, two-ary integers are what usual integers are to natural numbers, seen as unary trees. We can represent two-ary integers as binary trees too, yet with leaves labelled by binary words and with a structural restriction. In a sense, they are simpler than the binary trees, they relativize. Hence, contrary to the extensions known from Arithmetic and Algebra, this integer extension does not make the starting objects more complex.
Keywords: universal matrix, analytic monoid, LISP, semantics, jump 
@article{DMGAA_2005_25_2_a3,
     author = {Ricci, Gabriele},
     title = {A semantic construction of two-ary integers},
     journal = {Discussiones Mathematicae. General Algebra and Applications},
     pages = {165--219},
     publisher = {mathdoc},
     volume = {25},
     number = {2},
     year = {2005},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/DMGAA_2005_25_2_a3/}
}
TY  - JOUR
AU  - Ricci, Gabriele
TI  - A semantic construction of two-ary integers
JO  - Discussiones Mathematicae. General Algebra and Applications
PY  - 2005
SP  - 165
EP  - 219
VL  - 25
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DMGAA_2005_25_2_a3/
LA  - en
ID  - DMGAA_2005_25_2_a3
ER  - 
%0 Journal Article
%A Ricci, Gabriele
%T A semantic construction of two-ary integers
%J Discussiones Mathematicae. General Algebra and Applications
%D 2005
%P 165-219
%V 25
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DMGAA_2005_25_2_a3/
%G en
%F DMGAA_2005_25_2_a3
Ricci, Gabriele. A semantic construction of two-ary integers. Discussiones Mathematicae. General Algebra and Applications, Tome 25 (2005) no. 2, pp. 165-219. http://geodesic.mathdoc.fr/item/DMGAA_2005_25_2_a3/

[1] G.J. Chaitin, Algorithmic Information Theory, IBM J. Res. Develop. 21 (1977), 350-359, 496.

[2] G.J. Chaitin, Information-Thoretic Incompleteness (World Scientific, Singapore 1992).

[3] R. Chuaqui, Axiomatic Set Theory (Nort-Holland, Mathematics Studies, Amsterdam 1981).

[4] H.B. Curry, R. Feys and W. Craig, Combinatory Logic, 1, (North-Holland, Amsterdam 1959).

[5] A. Goetz and C. Ryll-Nardzewski, On bases of abstract algebras, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 8 (1960), 157-161.

[6] G. Grätzer, Universal Algebra, 2th ed., (Springer-Verlag, New York 1979).

[7] J.R. Hindley and J.P. Seldin, Introduction to Combinators and l-Calculus (Cambridge University Press, London 1986).

[8] B. Jónsson and A. Tarski, Two general theorems concerning free algebras, Bull. Amer. Math. Soc. 62 (1956), 554.

[9] E.G. Manes, Algebraic theories (Springer-Verlag, Berlin 1976).

[10] E. Marczewski, Independence and homomorphisms in abstract algebras, Fund. Math. 50 (1961-62), 45-61.

[11] I. Mason and C. Talcott, Inferring the equivalence of functional program that mutate data, Theoretical Computer Science 105 (1992), 167-215.

[12] M.L. Minsky, Problems of formulation for Artificial IntelligenceR.E. Bellman, Mathematical Problems in the Biological Sciences, Proceedings of Symposia in Applied Mathematics XIV, American Mathematical Society, Providence, R.I. 1962, 35.

[13] J.D. Monk, Introduction to Set Theory (McGraw-Hill, New York 1969).

[14] G. Ricci, Universal eigenvalue equations, Pure Math.and Appl. Ser. B, 3, 2-3-4 (1992), 231-288. (Most of the misprints appear in ERRATA to Universal eigenvalue equations, Pure Math.and Appl. Ser. B, 5, 2 (1994), 241-243.).

[15] G. Ricci, A Whitehead generator, Quaderni del Dipartimento di Matematica 86, (Universitá di Parma, Parma 1993).

[16] G. Ricci, Two isotropy properties of 'universal eigenspaces' (and a problem for DT0L rewriting systems), G. Pilz, Contributions to General Algebra 9 (Verlag Hölder-Pichler-Tempsky, Wien 1995 - Verlag B.G. Teubner), 281-290.

[17] G. Ricci, New characterizations of universal matrices show that neural networks cannot be made algebraic, D. Dorninger, G. Eigenthaler, H.K. Kaiser, H. Kautschitsch, W. Moren and W.B. Müller, Contributions to General Algebra 10 (J. Hein Verlag, Klagenfurt 1998), 269-291.

[18] G. Ricci, Boolean matrices ... neither Boolean nor matrices, Discuss. Math. General Algebra and Applications 20 (2000), 141-151.

[19] G. Ricci, Isomorphisms between analytic monoids, The Eighth International Workshop in Mathematics Gronów 2000, Institute of Mathematics, Technical University of Zielona Góra', September 25-29, 2000, 33.

[20] G. Ricci, Some analytic features of algebraic data, Discrete Appl. Math. 122/1-3 (2002), 235-249.

[21] G. Ricci, Analytic monoids versus abstract monoids, Italian Journal of pure and Applied Mathematics, 16 (2004), 125-136.

[22] M. Servi, Classificazione dei Clan binari, Quaderni del Dipartimento di Matematica 113, (Universitá di Parma, Parma 1995).

[23] M. Servi, Definizione dei clan binari e loro classificazione, Rend. Mat. Acc. Lincei (9) 9 (1998).

[24] M. Servi, Due parole sui Clan di Ordine, Quaderni del Dipartimento di Matematica 186, (Universitá di Parma, Parma 1998).

[25] M. Servi, I clan binari di ordine, Riv. Mat. Univ. Parma (6) 1 (1998), 207-214.

[26] S. Świerckowski, Algebras independently generated by every n elements, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 7 (1959), 501-502.

[27] S. Świerckowski, Algebras which are independently generated by every n elements, Fund. Math. 49 (1960-61), 93-104.

[28] D.S. Touretzky, Common LISP: a Gentle Introduction to Symbolic Computation (The Benjamin/Cummings Publishing Co. Inc, Redwood City 1990).

[29] C. Weissman, LISP 1.5 Primer (Dickenson, Belmont, Ca., 1967).

[30] A.N. Whitehead, A treatise on Universal Algebra with Applications, 1, (Cambridge University Press, Cambridge 1898).