TY - CHAP AU - McAloon, Kenneth TI - Les rapports entre la méthode des indicatrices et la méthode de Godel pour obtenir des résultats d'indépendance BT - Modèles de l'arithmétique : Séminaire Paris VII AU - Collectif ED - McAloon Kenneth T3 - Astérisque PY - 1980 SP - 31 EP - 39 IS - 73 PB - Société mathématique de France UR - http://archive.numdam.org/item/AST_1980__73__31_0/ LA - fr ID - AST_1980__73__31_0 ER -