Théories pré-inductives et pré-modèle-complètes. Une approche naturelle du forcing infini Jean-Claude Lablanquie (1992) Annales scientifiques de l'Université de Clermont. Mathématiques