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 Free Access
References | Similar Articles | Additional Information
-
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.
D. Hilbert and W. Ackermann, Principles of mathematical logic (English translation), Chelsea, 1950.
- A. Robinson, Note on an embedding theorem for algebraic systems, J. London Math. Soc. 30 (1955), 249–252. MR 73549, DOI https://doi.org/10.1112/jlms/s1-30.2.249 ---, Theorie métamathématique des idéaux, Paris, 1955. ---, Complete theories, Studies in Logic and the Foundations of Mathematics, Amsterdam, 1956.
- Arnold Schmidt, Über deduktive Theorien mit mehreren Sorten von Grunddingen, Math. Ann. 115 (1938), no. 1, 485–506 (German). MR 1513200, DOI https://doi.org/10.1007/BF01448954 ---, 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
Article copyright:
© Copyright 1957
American Mathematical Society
