Advances in proof theory. (2016)

• Record Type: Book
• Further Information: Note: Reinhard Kahle, Thomas Strahm, Thomas Studer, editors.
• Editors: Kahle, Reinhard, 1967-; Strahm, Thomas (Thomas Adrian); Studer, Thomas
• Contents: W. Buchholz: A survey on ordinal notations around the Bachmann-Howard ordinal -- A. Cantini: About truth and types -- R. Dyckhoff: Intuitionistic decision procedures since Gentzen -- S. Feferman: The operational perspective -- R. Gore: Formally verified proof-theory using Isabelle/HOL -- P. Minari: Analytic equational proof systems for combinatory logic and lambda calculus -- W. Pohlers: From subsystems of classical analysis to subsystems of set theory -- a personal account -- M. Rathjen: Ordinal analysis and witness extraction -- P. Schuster: Logic completeness via open induction -- H. Schwichtenberg: On the computational content of Higman's lemma -- P. Schroeder-Heister: TBA -- A. Setzer: TBA -- S. Wainer: On weak "pointwise" induction, and a miniaturized predicativity.
• Publisher Details: Switzerland : Birkhäuser
• Publication Date: 2016
• Extent: 1 online resource (xii, 425 pages), illustrations
• Subjects: 511.3/6; Mathematics; Proof theory -- Congresses; MATHEMATICS -- General; Proof theory; Philosophy -- Logic; Philosophy: logic; Logic, Symbolic and mathematical; Logic; Mathematics -- Logic; Mathematical foundations; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783319291987; 3319291963; 9783319291963
• Related ISBNs: 331929198X; 9783319291963
• Notes: Note: Includes bibliographical references at the end of each chapters.; Note: Online resource; title from PDF title page (SpringerLink, viewed May 9, 2016).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.