Cusin, Roger Recherche du ”forcing-compagnon” et du ”modèle-compagnon” d’une théorie, liée à l’existence de modèles \(\aleph_{\alpha}\)- universels. (Research on forcing-companion and model-companion of a theory based upon the existence of an \(\aleph_{\alpha}\)-universal model). (French) Zbl 0235.02047 C. R. Acad. Sci., Paris, Sér. A 273, 956-959 (1971). MSC: 03C25 PDFBibTeX XMLCite \textit{R. Cusin}, C. R. Acad. Sci., Paris, Sér. A 273, 956--959 (1971; Zbl 0235.02047)
Cusin, Roger Sur le ”forcing” en théorie des modèles. (On model-theoretic forcing). (French) Zbl 0235.02046 C. R. Acad. Sci., Paris, Sér. A 272, 845-848 (1971). MSC: 03C25 PDFBibTeX XMLCite \textit{R. Cusin}, C. R. Acad. Sci., Paris, Sér. A 272, 845--848 (1971; Zbl 0235.02046)
Pabion, Jean-François Une notion de transcendance dans les structures relationnelles. (A notion of transcendence in relational structure). (French) Zbl 0235.02043 C. R. Acad. Sci., Paris, Sér. A 272, 1541-1544 (1971). MSC: 03C25 03C30 PDFBibTeX XMLCite \textit{J.-F. Pabion}, C. R. Acad. Sci., Paris, Sér. A 272, 1541--1544 (1971; Zbl 0235.02043)
Rutkowski, A. Some remarks about Boolean-valued models. (English) Zbl 0227.02037 Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 19, 87-93 (1971). MSC: 03E40 PDFBibTeX XMLCite \textit{A. Rutkowski}, Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 19, 87--93 (1971; Zbl 0227.02037)
Robinson, Abraham Forcing in model theory. (English) Zbl 0227.02028 Actes Congr. internat. Math. 1970, 1, 245-250 (1971). MSC: 03C25 PDFBibTeX XML
Sacks, Gerald E. Forcing with perfect closed sets. (English) Zbl 0226.02047 Axiomatic Set Theory, Proc. Sympos. Pure Math. 13, Part I, 331-355 (1971). MSC: 03E40 03E45 03D30 PDFBibTeX XML
Solovay, Robert M. Real-valued measurable cardinals. (English) Zbl 0222.02078 Axiomatic Set Theory, Proc. Sympos. Pure Math. 13, Part I, 397-428 (1971). MSC: 03E55 03E40 PDFBibTeX XML
Robinson, Abraham Infinite forcing in model theory. (English) Zbl 0222.02057 Proc. 2nd Scandinav. Logic Sympos. 1970, Studies Logic Foundations Math 63, 317-340 (1971). MSC: 03C25 PDFBibTeX XML
Pincus, D. Support structures for the axiom of choice. (English) Zbl 0216.29601 J. Symb. Log. 36, 28-38 (1971). MSC: 03E35 03C25 03C62 03E25 PDFBibTeX XMLCite \textit{D. Pincus}, J. Symb. Log. 36, 28--38 (1971; Zbl 0216.29601) Full Text: DOI
Robinson, A. Forcing in model theory. (English) Zbl 0212.01802 Sympos. Math., Roma 5, Teoria Modelli, Nov. 1969, Geometria, Apr. 1970, 69-82 (1971). MSC: 03C25 PDFBibTeX XML