Titre :	Metamathematics of first-order arithmetic
Type de document :	texte imprimé
Auteurs :	Hajek, Petr ; Pudlak, Pavel
Mention d'édition :	2nd ed.
Editeur :	Springer-Verlag
Année de publication :	1998
Collection :	Perspectives in Mathematical Logic
Importance :	xiv - 460 p.
ISBN/ISSN/EAN :	978-3-540-63648-9
Langues :	Anglais
Catégories :	03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D15 Complexity of computation 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F30 First-order arithmetic and fragments
Mots-clés :	consistency  interpretability  witnessing functions  provability  bounded arithmetic  model theory  indicators  conservativity  definable cuts  reflexive theories  self-reference  incompleteness  combinatorics in fragments  recursion theory  partial truth definitions  fragments of arithmetic  foundations of arithmetic of natural numbers
Index. décimale :	03C Monographie

Metamathematics of first-order arithmetic [texte imprimé] / Hajek, Petr ; Pudlak, Pavel  . -  2nd ed. . - [S.l.] : Springer-Verlag, 1998 . - xiv - 460 p.. - (Perspectives in Mathematical Logic) .
ISBN : 978-3-540-63648-9
Langues : Anglais

Catégories :	03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D15 Complexity of computation 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F30 First-order arithmetic and fragments
Mots-clés :	consistency  interpretability  witnessing functions  provability  bounded arithmetic  model theory  indicators  conservativity  definable cuts  reflexive theories  self-reference  incompleteness  combinatorics in fragments  recursion theory  partial truth definitions  fragments of arithmetic  foundations of arithmetic of natural numbers
Index. décimale :	03C Monographie