Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)

 
 

 

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

References [Enhancements On Off] (What's this?)

    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.

Similar Articles

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