cerkalo
» » Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies (Lecture Notes in Mathematics)

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies (Lecture Notes in Mathematics) download ebook

by W. Buchholz,S. Feferman,W. Pohlers,W. Sieg

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies (Lecture Notes in Mathematics) download ebook
ISBN:
3540111700
ISBN13:
978-3540111702
Author:
W. Buchholz,S. Feferman,W. Pohlers,W. Sieg
Publisher:
Springer; 1981 edition (December 14, 1981)
Language:
Pages:
384 pages
ePUB:
1433 kb
Fb2:
1446 kb
Other formats:
lrf lit rtf mbr
Category:
Mathematics
Subcategory:
Rating:
4.8

Part of the Lecture Notes in Mathematics book series (LNM, volume 897). Solomon Feferman, Wilfried Sieg.

Part of the Lecture Notes in Mathematics book series (LNM, volume 897). Inductive definitions, constructive ordinals, and normal derivations.

Buchholz, S. Feferman, W. Pohlers, W. Sieg. Скачать (pdf, 1. 7 Mb).

oceedings{ID, title {Iterated Inductive Definitions and Subsystems of Analysis .

oceedings{ID, title {Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-theoretical Studies}, author {Wilfried Buchholz and Solomon Feferman and Wolfram Pohlers and Wilfried Sieg}, year {1981} .

ISBN 13: 9783540111702. Series: Lecture Notes in Mathematics. Other readers will always be interested in your opinion of the books you've read. Whether you've loved the book or not, if you give your honest and detailed thoughts then people will find new books that are right for them. File: PDF, 1. 7 MB. Читать онлайн. Распространяем знания с 2009.

Kindle Notes & Highlights. Start by marking Iterated Inductive Definitions And Subsystems Of Analysis: Recent Proof Theoretical Studies as Want to Read: Want to Read savin. ant to Read. Lists with This Book. This book is not yet featured on Listopia.

Buchholz, Wilfried; Feferman, Solomon; Pohlers, Wolfram; Sieg, Wilfried (1981), "Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies", Lecture Notes in Mathematics, 897, Berlin, New York, Springer-Verlag. Feferman, Solomon; Hellman, Geoffrey (1995), "Predicative foundations of arithmetic", J. Philos. Avigad, Jeremy; Feferman, Solomon (1998), "Gödel's functional (Dialectica) interpretation", Handbook of proof theory, 337–405, Stud. 137, Amsterdam, North-Holland.

Mathematical analysis - Foundations, Induction (Mathematics), Proof theory, Analyse mathematique - Fondements . Includes bibliographical references (pages 358-368) and index. Buchholz, Wilfried, 1948-.

Mathematical analysis - Foundations, Induction (Mathematics), Proof theory, Analyse mathematique - Fondements, Induction (Mathematiques), Preuve, Theorie de la, Induction (Mathematics), Mathematical analysis - Foundations, Proof theory, Beweistheorie, Induktive Definition, Analyse mathematique - Fondements, Induction (Mathematiques), Preuve, theorie de l.

Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies, by Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, and Wilfried Sieg. Lecture notes in mathematics, vol. 897, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 78–142. Iterated inductive fixed-point theories: application to Hancock's conjecture. Journal of Symbolic Logic 59 (2):668-670 (1994).

Used - Like New