Ways of Proof Theory.Series: Ontos Mathematical Logic SerPublisher: Berlin/Boston : De Gruyter, Inc., 2010Copyright date: ©2010Description: 1 online resource (498 pages)Content type:
- online resource
- QA9.54.S35 2010eb
|Item type||Current library||Call number||Status||Date due||Barcode||Item holds|
Intro -- Preface -- Contents -- Wolfram Pohlers-Life and Work -- The Proof Theory of Classical and Constructive Inductive Definitions. A Forty Year Saga, 1968 - 2008 -- A New Approach to Predicative Set Theory -- Characterising Definable Search Problems inBounded Arithmetic via Proof Notations -- On Topological Models of GLP -- Program Extraction via Typed Realisability for Induction and Coinduction -- Another Reduction of Classical IDν to Constructive IDiν -- Elementary Constructive Operational Set Theory -- Functional Interpretations of Classical Systems -- Towards a Formal Theory of Computability -- Σ11Choice in a Theory of Sets and Classes -- An Extended Predicative Definition of the Mahlo Universe -- ITTMs with Feedback -- Logspace without Bounds -- Investigations of Subsystems of Second Order Arithmetic and Set Theory in Strength between Π11-CA and Δ12-CA + BI: Part I -- Weak Theories of Operations and Types -- Computing Bounds from Arithmetical Proofs.
In the last decades, mathematical logic has developed into a technically quite sophisticated area of mathematics. Nevertheless, inspirations from philosophy and computer science continue to be important and noticeable. The series publishes conference proceedings as well as monographs written by leading researchers in mathematical logic.
Description based on publisher supplied metadata and other sources.
Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2019. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.