Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS

Remote Access
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,
  • [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

PII: S 0002-9947(1957)0091246-2
Article copyright: © Copyright 1957 American Mathematical Society

Comments: Email Webmaster

© Copyright , American Mathematical Society
Contact Us · Sitemap · Privacy Statement

Connect with us Facebook Twitter Google+ LinkedIn Instagram RSS feeds Blogs YouTube Podcasts Wikipedia