Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS
   
Mobile Device Pairing
Green Open Access
Transactions of the American Mathematical Society
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
MathSciNet review: 0091246
Full-text PDF Free Access

References | Similar Articles | Additional Information

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

  • [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 (17,449a)
  • [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, http://dx.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.

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

DOI: http://dx.doi.org/10.1090/S0002-9947-1957-0091246-2
PII: S 0002-9947(1957)0091246-2
Article copyright: © Copyright 1957 American Mathematical Society