A few Remarks on n-infinite Forcing Companions
A note on infinite forcing.
A Word on the Joint Embedding Property
Another approach to infinite forcing
Axiomatization of the forcing relation with an application to Peano Arithmetic
Comments on Ultraproducts of Forcing Systems
Exercices en stabilité
Existentially closed II₁ factors
We examine the properties of existentially closed (-embeddable) II₁ factors. In particular, we use the fact that every automorphism of an existentially closed (-embeddable) II₁ factor is approximately inner to prove that Th() is not model-complete. We also show that Th() is complete for both finite and infinite forcing and use the latter result to prove that there exist continuum many nonisomorphic existentially closed models of Th().
Forcing infini et théorème d'omission des types de Chang
Groupes nilpotents existentiellement clos de classe fixée
Infinite Forcing for Boolean valued Models
Le forcing faible ; son utilisation pour caractériser les relations unaires générales pour la chaîne ou la consécutivité des entiers naturels (résultat de R. Solovay, 1976)
Modèles premiers d'une théorie totalement transcendante
n - Infinite Forcing via Infinite Forcing
On Reduced Products of Forcing Systems
Propriétés de consistance et forcing
Propriétés de forcing et modèles génériques
Reduced products of infinite forcing systems.
Remarks on generic models
Sacks forcing collapses to
We shall prove that Sacks algebra is nowhere -distributive, which implies that Sacks forcing collapses to .