Next: About this document Up: Isomorphisms of Types: from Previous: Other classes of categories
- AL91
-
Andrea Asperti and Giuseppe Longo.
Categories, Types, and Structures.
MIT Press, 1991.
- DT69
-
J. Doner and Alfred Tarski.
An extended arithmetic of ordinal numbers.
Fundamenta Mathematica, 65:95-127, 1969.
- Gur85
-
R. Gurevic.
Equational theory of positive numbers with exponentiation.
Proceedings of the American Mathematical Society,
94(1):135-141, May 1985.
- Gur90
-
R. Gurevic.
Equational theory of positive numbers with exponentiation is not
finitely axiomatizable.
Annals of Pure and Applied Logic, 49:1-30, 1990.
- Hen77
-
Leon Henkin.
The logic of equality.
American Mathematical Monthly, 84:597-612, October 1977.
- HR84
-
C. W. Henson and L. A. Rubel.
Some applications of Nevanlinna theory to mathematical logic:
Identities of exponential functions.
Trans. Am. Math. Soc., 282(1):1-32, March 1984.
- LS86
-
Joachim Lambek and Philip J. Scott.
An introduction to higher order categorical logic.
Cambridge University Press, 1986.
- Mac81
-
A. Macintyre.
The laws of exponentiation.
In C. Berline, K. McAloon, and J.-P. Ressayre, editors, Model
Theory and Arithmetic, volume 890 of Lecture Notes in Mathematics,
pages 185-197. Springer-Verlag, 1981.
- Min77
-
Gregory Mints.
Closed categories and the theory of proofs.
Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya
Matematicheskogo Instituta im. V.A. Steklova AN SSSR, 68:83-114, 1977.
- Rog88
-
Hartley Rogers, Jr.
Theory of Recursive Functions and Effective
Computability.
The MIT Press, Cambridge, Massachusetts; London, England, second
edition, 1988.
- Sol83
-
Sergei V. Soloviev.
The category of finite sets and cartesian closed categories.
Journal of Soviet Mathematics, 22(3):1387-1400, 1983.
- Sol93
-
Sergei V. Soloviev.
A complete axiom system for isomorphism of types in closed
categories.
In A. Voronkov, editor, Logic Programming and Automated
Reasoning, 4th International Conference, volume 698 of Lecture Notes in
Artificial Intelligence (subseries of LNCS), pages 360-371, St. Petersburg,
Russia, 1993. Springer-Verlag.
- Sza78
-
M. E. Szabo.
Algebra of Proofs, volume 88 of Studies in logic and the
foundations of mathematics.
North - Holland, Amsterdam-New York, 1978.
- Wil81
- A. J. Wilkie. On exponentiation - a solution to Tarski's high school algebra problem. Math. Inst. Oxford University (preprint), October 1981.
Roberto Di Cosmo
Mon Aug 30 11:21:44 MET DST 1999