Library Catalog
Amazon cover image
Image from Amazon.com

Logic, Construction, Computation / ed. by Ulrich Berger, Hannes Diener, Peter Schuster, Monika Seisenberger.

Contributor(s): Material type: TextTextSeries: Ontos Mathematical Logic ; 3Publisher: Berlin ; Boston : De Gruyter, [2013]Copyright date: ©2012Description: 1 online resource (542 p.) : Zahlr. AbbContent type:
Media type:
Carrier type:
ISBN:
  • 9783110324532
  • 9783110324921
Subject(s): DDC classification:
  • 511.3 23
LOC classification:
  • BC71 .L64 2012eb
Other classification:
  • online - DeGruyter
Online resources: Available additional physical forms:
  • Issued also in print.
Contents:
Frontmatter -- Preface -- Contents -- Contributors -- A New Use of Friedman’s Translation: Interactive Realizability -- Polymorphic Logic -- Constructive Solutions of Ordinary Differential Equations -- A Nonstandard Hierarchy Comparison Theorem for the Slow and Fast Growing Hierarchy -- Conservativity of transitive closure over weak constructive operational set theory -- Formal Baire Space in Constructive Set Theory -- Functional Interpretations of Classical and Constructive Set Theory -- Weak Theories of Truth and Explicit Mathematics -- Axiomatizing Truth: Why and How? -- On the Strength of some Semi-Constructive Theories -- On the Relation Between Various Negative Translations -- A Finite Axiomatisation of Inductive-Inductive Definitions -- Some Conservative Extension Results on Classical and Intuitionistic Sequent Calculi -- About the Strength of Operational Regularity -- Non-Deterministic Epsilon Substitution for ID1: Effective Proof -- Another Unique Weak König’s Lemma WKL!! -- The Continuous Functionals as Limit Spaces -- Provably Recursive Functions of Reflection -- A Hierarchy of Ramified Theories Below PRA -- Representing L-Domains as Information Systems
Summary: Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadily growing, and researchers from disparate areas realized that they can benefit enormously from the mutual exchange of techniques concerned with those aspects. A key figure in this exciting development is the logician and mathematician Helmut Schwichtenberg to whom this volume is dedicated on the occasion of his 70th birthday and his turning emeritus. The volume contains 20 articles from leading experts about recent developments in Constructive set theory, Provably recursive functions, Program extraction, Theories of truth, Constructive mathematics, Classical vs. intuitionistic logic, Inductive definitions, and Continuous functionals and domains.
Holdings
Item type Current library Call number URL Status Notes Barcode
eBook eBook Biblioteca "Angelicum" Pont. Univ. S.Tommaso d'Aquino Nuvola online online - DeGruyter (Browse shelf(Opens below)) Online access Not for loan (Accesso limitato) Accesso per gli utenti autorizzati / Access for authorized users (dgr)9783110324921

Frontmatter -- Preface -- Contents -- Contributors -- A New Use of Friedman’s Translation: Interactive Realizability -- Polymorphic Logic -- Constructive Solutions of Ordinary Differential Equations -- A Nonstandard Hierarchy Comparison Theorem for the Slow and Fast Growing Hierarchy -- Conservativity of transitive closure over weak constructive operational set theory -- Formal Baire Space in Constructive Set Theory -- Functional Interpretations of Classical and Constructive Set Theory -- Weak Theories of Truth and Explicit Mathematics -- Axiomatizing Truth: Why and How? -- On the Strength of some Semi-Constructive Theories -- On the Relation Between Various Negative Translations -- A Finite Axiomatisation of Inductive-Inductive Definitions -- Some Conservative Extension Results on Classical and Intuitionistic Sequent Calculi -- About the Strength of Operational Regularity -- Non-Deterministic Epsilon Substitution for ID1: Effective Proof -- Another Unique Weak König’s Lemma WKL!! -- The Continuous Functionals as Limit Spaces -- Provably Recursive Functions of Reflection -- A Hierarchy of Ramified Theories Below PRA -- Representing L-Domains as Information Systems

restricted access online access with authorization star

http://purl.org/coar/access_right/c_16ec

Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadily growing, and researchers from disparate areas realized that they can benefit enormously from the mutual exchange of techniques concerned with those aspects. A key figure in this exciting development is the logician and mathematician Helmut Schwichtenberg to whom this volume is dedicated on the occasion of his 70th birthday and his turning emeritus. The volume contains 20 articles from leading experts about recent developments in Constructive set theory, Provably recursive functions, Program extraction, Theories of truth, Constructive mathematics, Classical vs. intuitionistic logic, Inductive definitions, and Continuous functionals and domains.

Issued also in print.

Mode of access: Internet via World Wide Web.

In English.

Description based on online resource; title from PDF title page (publisher's Web site, viewed 28. Feb 2023)