• [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.

Bibliography

[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. vol. 30 (1955) pp. 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]

A. Schmidt, Über deduktive Theorien mit mehreren Sorten von Grunddingen, Math. Ann. vol. 115 (1938) pp. 485-506. MR 1513200

[7]

-, Die Zulässigkeit der Behandlung mehrsortigen Theorien mittels der üblichen einsortigen Prädikatenlogik, Math. Ann. vol. 123 (1946) pp. 187-200.