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

A. Mostowski

Annales scientifiques de l'Université de Clermont. Mathématiques (1962)

  • Volume: 7, Issue: 1, page 107-116
  • ISSN: 0249-7042

How to cite

top

Mostowski, A.. "L'espace des modèles d'une théorie formalisée et quelques-unes de ses applications." Annales scientifiques de l'Université de Clermont. Mathématiques 7.1 (1962): 107-116. <http://eudml.org/doc/80343>.

@article{Mostowski1962,
author = {Mostowski, A.},
journal = {Annales scientifiques de l'Université de Clermont. Mathématiques},
language = {fre},
number = {1},
pages = {107-116},
publisher = {UER de Sciences exactes et naturelles de l'Université de Clermont},
title = {L'espace des modèles d'une théorie formalisée et quelques-unes de ses applications},
url = {http://eudml.org/doc/80343},
volume = {7},
year = {1962},
}

TY - JOUR
AU - Mostowski, A.
TI - L'espace des modèles d'une théorie formalisée et quelques-unes de ses applications
JO - Annales scientifiques de l'Université de Clermont. Mathématiques
PY - 1962
PB - UER de Sciences exactes et naturelles de l'Université de Clermont
VL - 7
IS - 1
SP - 107
EP - 116
LA - fre
UR - http://eudml.org/doc/80343
ER -

References

top
  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. 

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.