L'espace des modèles d'une théorie formalisée et quelques-unes de ses applications

 Access to full text

 Full (PDF)

1. [1] E.W. Beth - The Poundations of Mathematics. Studies in Logic and the Foundations of Mathematics. North Holland Publ. Comp., Amsterdam1959. Zbl0085.24104
2. [2] C.C. Chang et H.J. Keisler - Model theories with truth values in a uniform space. Bulletin of the American Mathematical Society68 (1962), pp. 107-109. Zbl0104.24105MR136542
3. [3] A. Ehrenfeucht et A. Mostowski - A compact space of models of first order theories. Bulletin de l'Académie Polonaise des Sciences, classe des sci. math., phys., et astr.9 (1961), pp. 369-373. Zbl0106.00501MR148536
4. [4] K. Godel - The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory. Annals of Mathematics Studies3, Princeton1940. Zbl0061.00902
5. [5] A. Grzegorczyk, A. Mostowski et CZ. Ryll-Nardzewski - Definability of sets in models of axiomatic theories. Bulletin de l'Académie Polonaise des Sciences, classe des sci. math., phys. et astr.9, (1961), pp. 163-167. Zbl0099.00903MR163839
6. [6] A. Mostowski - Formal system of analysis based on an infinitistic rule of proof. Infinitistic Methods. Proceedings of the Symposium on Foundations of Mathematics. Panstwowe Wydawnictwo Naukowe, Warszawa et Pergamon Press, London, 1961. Zbl0121.01501MR220577
7. [7] A. Mostowski - A problem in the theory of models. Bulletin de l'Académie Polonaise des Sciences, classe des sci. math., phys., et astr.10 (1962), pp. 121-126. Zbl0108.00401MR188072
8. [8] A. Mostowski - The Hilbert Epsilon Function in Many Valued Logies. A paraître. Zbl0121.01202
9. [9] H. Rasiowa et R. Sikorski - A proof of the completeness theorem of Gödel. Fundamenta Mathematicae37 (1950), pp. 193-200. Zbl0040.29303MR40232
10. [10] K. Schütte - Beweistheorie. Springer1960. Zbl0102.24704MR118665
11. [11] J.R. Shoenfield - The Problem of Predicativity. Essays in the Foundations of Mathematics. Magnes Press. Jerusalem1961. Zbl0173.00903MR164886
12. [12] R. Sikorski - A topological characterization of open theories. Bulletin de l'Académie Polonaise des Sciences, classe des sci. math., phys, et astr.9 (1961), pp. 259-260. Zbl0124.24901MR139529
13. [13] A. Tarski - Some notions and methods on the borderline of algebra and metamathematics. Proccedings of the International Congress of Mathematicians 1950, vol. 1, pp. 705-720. Zbl0049.00702MR45068
14. [14] A. Tarski - Some model-theoretical results concerning weak second order logic. Notices of the American Mathematical Society5 (1958), abstract 550-6.