Logic, construction, computation / Ulrich Berger ... [et al.] (eds.).

Format:

Book

Contributor:

Berger, Ulrich.

Series:

Ontos Mathematical Logic

Ontos mathematical logic ; v. 3

Ontos Mathematical Logic ; 3

Language:

English

Subjects (All):

Logic.

Computational neuroscience.

Physical Description:

1 online resource (544 p.)

Place of Publication:

Heusenstamm [Germany] : ontos, 2012.

Language Note:

English

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...

Contents:

Front matter

Preface / Berger, Ulrich / Diener, Hannes / Schuster, Peter / Seisenberger, Monika

Contents

Contributors

A New Use of Friedman's Translation: Interactive Realizability / Aschieri, Federico / Berardi, Stefano

Polymorphic Logic / Bickford, Mark / Robert, Constable

Constructive Solutions of Ordinary Differential Equations / Bridges, Douglas S.

A Nonstandard Hierarchy Comparison Theorem for the Slow and Fast Growing Hierarchy / Buchholz, Wilfried / Weiermann, Andreas

Conservativity of transitive closure over weak constructive operational set theory / Cantini, Andrea / Crosilla, Laura

Formal Baire Space in Constructive Set Theory / Curi, Giovanni / Rathjen, Michael

Functional Interpretations of Classical and Constructive Set Theory / Diller, Justus

Weak Theories of Truth and Explicit Mathematics / Eberhard, Sebastian / Strahm, Thomas

Axiomatizing Truth: Why and How? / Feferman, Solomon

On the Strength of some Semi-Constructive Theories / Feferman, Solomon

On the Relation Between Various Negative Translations / Ferreira, Gilda / Oliva, Paulo

A Finite Axiomatisation of Inductive-Inductive Definitions / Forsberg, Fredrik Nordvall / Setzer, Anton

Some Conservative Extension Results on Classical and Intuitionistic Sequent Calculi / Ishihara, Hajime

About the Strength of Operational Regularity / Jäger, Gerhard / Zumbrunnen, Rico

Non-Deterministic Epsilon Substitution for ID1: Effective Proof / Mints, Grigori

Another Unique Weak König's Lemma WKL!! / Moschovakis, Joan Rand

The Continuous Functionals as Limit Spaces / Normann, Dag

Provably Recursive Functions of Reflection / Pohlers, Wolfram / Stegert, Jan-Carl

A Hierarchy of Ramified Theories Below PRA / Spoors, Elliott J. / Wainer, Stanley S.

Representing L-Domains as Information Systems / Spreen, Dieter

Notes:

Description based upon print version of record.

Includes bibliographical references.

ISBN:

3-11-032492-X

OCLC:

853237147