Amazon cover image
Image from Amazon.com

Ways of Proof Theory.

By: Series: Ontos Mathematical Logic SerPublisher: Berlin/Boston : De Gruyter, Inc., 2010Copyright date: ©2010Description: 1 online resource (498 pages)Content type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783110324907
Subject(s): Genre/Form: Additional physical formats: Print version:: Ways of Proof TheoryDDC classification:
  • 511.36
LOC classification:
  • QA9.54.S35 2010eb
Online resources:
Contents:
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.
Summary: 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.
Holdings
Item type Current library Call number Status Date due Barcode Item holds
Ebrary Ebrary Afghanistan Available EBKAF00081131
Ebrary Ebrary Algeria Available
Ebrary Ebrary Cyprus Available
Ebrary Ebrary Egypt Available
Ebrary Ebrary Libya Available
Ebrary Ebrary Morocco Available
Ebrary Ebrary Nepal Available EBKNP00081131
Ebrary Ebrary Sudan Available
Ebrary Ebrary Tunisia Available
Total holds: 0

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.

There are no comments on this title.

to post a comment.