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.
@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},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {73},
     year = {1980},
     mrnumber = {590460},
     zbl = {0462.03016},
     language = {fr},
     url = {http://archive.numdam.org/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://archive.numdam.org/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://archive.numdam.org/item/AST_1980__73__31_0/
%G fr
%F AST_1980__73__31_0
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://archive.numdam.org/item/AST_1980__73__31_0/

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

[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