Iterated inductive definitions and subsystems of analysis : recent proof- theoretical studies. / W. Buchholz

Public ISBD Titre : Iterated inductive definitions and subsystems of analysis : recent proof- theoretical studies. Type de document : texte imprimé Auteurs : W. Buchholz ; Feferman, S. Pohlers, W. Editeur : Springer-Verlag Année de publication : 1981 Collection : Lecture Notes in Mathematics, ISSN 0075-8434 num. 897 Importance : v - 383 p. ISBN/ISSN/EAN : 978-0-387-11170-4 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F05 Cut-elimination and normal-form theorems 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F10 Functionals in proof theory Mots-clés : predicative theories  virtual well-orderings  spectrum of a theory  collapsing functions  method of local predicativity  accessibility operator  negative arithmetic sentences  logical reflection principle  mathematical reflection principle  set-theoretic models  intuitionistic theories  inductively defined accessibility class  inductive generation  constructive theory of functions and classes  double-negation translation  impredicative subsystems of analysis  inductively defined classes Index. décimale : LNM Iterated inductive definitions and subsystems of analysis : recent proof- theoretical studies. [texte imprimé] / W. Buchholz ; Feferman, S. Pohlers, W. . - [S.l.] : Springer-Verlag, 1981 . - v - 383 p.. - (Lecture Notes in Mathematics, ISSN 0075-8434; 897) . ISBN : 978-0-387-11170-4 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F05 Cut-elimination and normal-form theorems 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F10 Functionals in proof theory Mots-clés : predicative theories  virtual well-orderings  spectrum of a theory  collapsing functions  method of local predicativity  accessibility operator  negative arithmetic sentences  logical reflection principle  mathematical reflection principle  set-theoretic models  intuitionistic theories  inductively defined accessibility class  inductive generation  constructive theory of functions and classes  double-negation translation  impredicative subsystems of analysis  inductively defined classes Index. décimale : LNM

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
5387	LNM/897	imprimé / autre	CRDM	LNM/LECTURES NOTES IN MATHEMATICS	Disponible

---

page 1/1