Geodesic
Les rapports entre la méthode des indicatrices et la méthode de Godel pour obtenir des résultats d'indépendance
Modèles de l'arithmétique : Séminaire Paris VII, Astérisque, no. 73 (1980), pp. 31-39

Voir la notice du chapitre de livre provenant de la source Numdam

MR Zbl 
McAloon, Kenneth. Les rapports entre la méthode des indicatrices et la méthode de Godel pour obtenir des résultats d'indépendance, dans Modèles de l'arithmétique : Séminaire Paris VII, Astérisque, no. 73 (1980), pp. 31-39. http://geodesic.mathdoc.fr/item/AST_1980__73__31_0/
@incollection{AST_1980__73__31_0,
     author = {McAloon, Kenneth},
     title = {Les rapports entre la m\'ethode des indicatrices et la m\'ethode de {Godel} pour obtenir des r\'esultats d'ind\'ependance},
     booktitle = {Mod\`eles de l'arithm\'etique : S\'eminaire Paris VII},
     editor = {McAloon Kenneth},
     series = {Ast\'erisque},
     pages = {31--39},
     year = {1980},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {73},
     mrnumber = {590460},
     zbl = {0462.03016},
     language = {fr},
     url = {http://geodesic.mathdoc.fr/item/AST_1980__73__31_0/}
}
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://geodesic.mathdoc.fr/item/AST_1980__73__31_0/
LA  - fr
ID  - AST_1980__73__31_0
ER  - 
%0 Book Section
%A McAloon, Kenneth
%T Les rapports entre la méthode des indicatrices et la méthode de Godel pour obtenir des résultats d'indépendance
%B Modèles de l'arithmétique : Séminaire Paris VII
%A Collectif
%E McAloon Kenneth
%S Astérisque
%D 1980
%P 31-39
%N 73
%I Société mathématique de France
%U http://geodesic.mathdoc.fr/item/AST_1980__73__31_0/
%G fr
%F AST_1980__73__31_0

[Fe] S. Feferman, Arithmetization of metamathematies in a general sitting, F.M. 49 | MR | Zbl | EuDML

[K,L] G. Kreisel et A. Levy, Reflection principles and their use for establishing the complexity of axiomatic systems, Z. Math. Logik Grundlagen Math., 14. | MR | Zbl

[Mc] K. Mcaloon Completeness theorems, incompleteness theorems and models of arithmetic, TAMS, 239. | MR | Zbl

[Mon] R. Montague, semantical closure and non-finite axiomatizability, Infinitistic Methods, Pergamon, Oxford, PWN, Warsaw 1961, pp. 45-69. | MR | Zbl