Syntactical transforms
Authors:
A. H. Lightstone and A. Robinson
Journal:
Trans. Amer. Math. Soc. 86 (1957), 220-245
MSC:
Primary 02.0X
DOI:
https://doi.org/10.1090/S0002-9947-1957-0091246-2
MathSciNet review:
0091246
Full-text PDF
References | Similar Articles | Additional Information
- [1] J. Herbrand, Recherches sur la théorie de la demonstration, Travaux de la Société des Sciences et des Lettres de Varsovie, Class III, Nr. 33, 1930.
- [2] D. Hilbert and W. Ackermann, Principles of mathematical logic (English translation), Chelsea, 1950.
- [3] A. Robinson, Note on an embedding theorem for algebraic systems, J. London Math. Soc. 30 (1955), 249–252. MR 0073549, https://doi.org/10.1112/jlms/s1-30.2.249
- [4] -, Theorie métamathématique des idéaux, Paris, 1955.
- [5] -, Complete theories, Studies in Logic and the Foundations of Mathematics, Amsterdam, 1956.
- [6] Arnold Schmidt, Über deduktive Theorien mit mehreren Sorten von Grunddingen, Math. Ann. 115 (1938), no. 1, 485–506 (German). MR 1513200, https://doi.org/10.1007/BF01448954
- [7] -, Die Zulässigkeit der Behandlung mehrsortigen Theorien mittels der üblichen einsortigen Prädikatenlogik, Math. Ann. vol. 123 (1946) pp. 187-200.
Retrieve articles in Transactions of the American Mathematical Society with MSC: 02.0X
Retrieve articles in all journals with MSC: 02.0X
Additional Information
DOI:
https://doi.org/10.1090/S0002-9947-1957-0091246-2
Article copyright:
© Copyright 1957
American Mathematical Society