Arithmetical extensions of relational systems

 Access to full text

 Full (PDF)

1. G. Birkhoff, [1] Lattice theory. American Mathematical Society Colloquium Publications, vol. 25, XII + 283 pp. (revised edition, New York, 1948). Zbl0033.10103MR29876
2. S. Feferman, [2] Sum operations on relational systems. Bulletin of the American Mathematical Society, vol. 61, 172 (1955). 
3. S. Feferman, [3] Product operations on relational systems. Bulletin of the American Mathematical Society, vol. 61, 172 (1955). 
4. R. Fraïssé, [4] Sur quelques classifications des systèmes de relations. Publications Scientifiques de l'Université d'Alger, Série A, vol. 1, 35-182 (1954). Zbl0068.24302MR69236
5. K. Gödel, [5] The consistency of the continuum hypothesis. Annals of Mathematics Studies, number 3, 69 pp. (Princeton, 1940). Zbl0061.00902MR2514
6. L. Henkin, [6] Some interconnections between modern algebra and mathematical logic. Transactions of the American Mathematical Society, vol. 74, 410—427 (1953). Zbl0050.00603
7. L. Henkin, [7] Γ-completeness. Proceedings of the International Congress of Mathematicians, Amsterdam, vol. 2, 403—404 (1954). 
8. D. Hilbert and P. Bernays, [8] Grundlagen der Mathematik. Vol. 1, XII + 471 pp. (Berlin, 1934). Zbl0009.14501
9. A. Mostowski, [9] On direct products of theories. Journal of Symbolic Logic, vol. 17, 1-31 (1952). Zbl0047.00704MR47574
10. A. Robinson, [10] On the metamathematics of algebra. IX + 195 pp. (Amsterdam, 1951). Zbl0043.24702MR46322
11. R. Sikorski, [11] Products of abstract algebras. Fundamenta Mathematicae, vol. 39, 211-228 (1952). Zbl0050.02704MR53913
12. T. Skolem, [12] Logisch-kombinatorisch Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze nebst einem Theoreme über dichte Mengen. Skrifter utgitt av Videnskapsselskapet i Kristiania, I. Matematisk-naturvidenskabelig klasse, number 4, 36 pp. (1920). Zbl48.1121.01JFM48.1121.01
13. T. Skolem, [13] Über einige Grundlagenfragen der Mathematik. Skrifter utgitt av Det Norske Videnskaps-Akademi i Oslo, I. Matematisk-naturvidenskabelig klassc, number 4, 49 pp. (1929). JFM55.0031.03
14. A. Tarski, [14] Der Wahrheitsbegriff in den formalisierten Sprachen. Studia Philosophica, vol. 1, 261—404 (1936). JFM62.1051.05
15. A. Tarski, [15] Grundzüge des Systemkalküls. Part II, Fundamenta Mathematicae, vol. 26, 281-301 (1936). Zbl0014.38701JFM62.0038.02
16. A. Tarski, [16] Some notions and methods on the borderline of algebra and metamathematics. Proceedings of the International Congress of Mathematicians, Providence, R. I., vol. 1, 705—720 (1952). Zbl0049.00702
17. A. Tarski, [17] Contributions to the theory of models. Parts I and II, Indagationes Mathematicae, vol. 16, 572-588 (1954); part III, ibidem, vol. 17, 56-64 (1955). Zbl0058.24702MR66303
18. A. Tarski, A. Mostowski and R. Robinson, [18] Undecidable theories. XII + 98 pp. (Amsterdam, 1953). Zbl0053.00401MR58532
19. R. Vaught, [19] Topics in the theory of arithmetical classes and boolean algebras. Doctoral dissertation, University of California, Berkeley (1954, unpublished). 
20. R. Vaught, [20] Applications of the Löwenheim-Skolem-Tarski theorem to problems of completeness and decidability. Indagationes Mathematicae, vol. 16, 467—472 (1954). Zbl0056.24802
21. R. Vaught, [21] On the arithmetical equivalence of free algebras. Bulletin of the American Mathematical Society, vol. 61, pp. 173—174 (1955). 
22. R. Vaught, [22] On the Axiom of Choice and some metamathematical theorems. Bulletin of the American Mathematical Society, vol. 62, pp. 262—263 (1956). 

1. Piergiulio Corsini, Sur les homomorphismes d'hypergroupes
2. Daniel Lascar, Perspective historique sur les rapports entre la théorie des modèles et l’algèbre. Un point de vue tendancieux