Théories pré-inductives et pré-modèle-complètes. Une approche naturelle du forcing infini

Jean-Claude Lablanquie

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

  • Volume: 98, Issue: 28, page 17-39
  • ISSN: 0249-7042

How to cite

top

Lablanquie, Jean-Claude. "Théories pré-inductives et pré-modèle-complètes. Une approche naturelle du forcing infini." Annales scientifiques de l'Université de Clermont. Mathématiques 98.28 (1992): 17-39. <http://eudml.org/doc/80593>.

@article{Lablanquie1992,
author = {Lablanquie, Jean-Claude},
journal = {Annales scientifiques de l'Université de Clermont. Mathématiques},
keywords = {pre-model-completions; forcing-companion; pre-inductive theory; pseudo- forcing; Robinson's weak forcing; maximal extension},
language = {fre},
number = {28},
pages = {17-39},
publisher = {UER de Sciences exactes et naturelles de l'Université de Clermont},
title = {Théories pré-inductives et pré-modèle-complètes. Une approche naturelle du forcing infini},
url = {http://eudml.org/doc/80593},
volume = {98},
year = {1992},
}

TY - JOUR
AU - Lablanquie, Jean-Claude
TI - Théories pré-inductives et pré-modèle-complètes. Une approche naturelle du forcing infini
JO - Annales scientifiques de l'Université de Clermont. Mathématiques
PY - 1992
PB - UER de Sciences exactes et naturelles de l'Université de Clermont
VL - 98
IS - 28
SP - 17
EP - 39
LA - fre
KW - pre-model-completions; forcing-companion; pre-inductive theory; pseudo- forcing; Robinson's weak forcing; maximal extension
UR - http://eudml.org/doc/80593
ER -

References

top
  1. [1] Barwise J., Robinson A.Completing theories by forcing. Annals of Mathematical Logic. Vol. 2 (1970), pp. 119-142. Zbl0222.02058MR272613
  2. [2] Hirschfeld J., Wheeler W.Forcing, Arithmetic. Division Rings. Lecture Notes in Mathematics. Vol. 454 (1975). Springer-Verlag. Berlin. Zbl0304.02024MR389581
  3. [3] Robinson A.Infinite forcing in model theory. Proceedings of the Second Scandinavian Logic Symposium. Oslo. 1970. North-Holland Publishing Company. Amsterdam. (1971). Zbl0222.02057MR357106
  4. [4] Simmons H.Companion theories (forcing in model theory). Séminaires de Mathématique pure. Rapport n° 54. Institut de mathématique pure et appliquée. Université Catholique de Louvain. (1975). Zbl0355.02036

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.