Logic, Construction, Computation

Published by De Gruyter 2012

Logic, Construction, Computation

Edited by: Ulrich Berger , Hannes Diener , Peter Schuster and Monika Seisenberger

Volume 3 in the series Ontos Mathematical Logic

https://doi.org/10.1515/9783110324921

Overview
Contents

About this book

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.

Topics

Frontmatter Publicly Available Download PDF	i
Preface Ulrich Berger, Hannes Diener, Peter Schuster and Monika Seisenberger Requires Authentication Unlicensed Licensed Download PDF	2
Contents Publicly Available Download PDF	ix
Contributors Requires Authentication Unlicensed Licensed Download PDF	7
A New Use of Friedman’s Translation: Interactive Realizability Federico Aschieri and Stefano Berardi Requires Authentication Unlicensed Licensed Download PDF	11
Polymorphic Logic Mark Bickford and Constable Robert Requires Authentication Unlicensed Licensed Download PDF	51
Constructive Solutions of Ordinary Differential Equations Douglas S. Bridges Requires Authentication Unlicensed Licensed Download PDF	67
A Nonstandard Hierarchy Comparison Theorem for the Slow and Fast Growing Hierarchy Wilfried Buchholz and Andreas Weiermann Requires Authentication Unlicensed Licensed Download PDF	79
Conservativity of transitive closure over weak constructive operational set theory Dedicated to Prof. Helmut Schwichtenberg Andrea Cantini and Laura Crosilla Requires Authentication Unlicensed Licensed Download PDF	91
Formal Baire Space in Constructive Set Theory Giovanni Curi and Michael Rathjen Requires Authentication Unlicensed Licensed Download PDF	123
Functional Interpretations of Classical and Constructive Set Theory Justus Diller Requires Authentication Unlicensed Licensed Download PDF	137
Weak Theories of Truth and Explicit Mathematics Dedicated to Helmut Schwichtenberg on his retirement Sebastian Eberhard and Thomas Strahm Requires Authentication Unlicensed Licensed Download PDF	157
Axiomatizing Truth: Why and How? For Helmut Schwichtenberg on the occasion of his 70th birthday Solomon Feferman Requires Authentication Unlicensed Licensed Download PDF	185
On the Strength of some Semi-Constructive Theories Solomon Feferman Requires Authentication Unlicensed Licensed Download PDF	201
On the Relation Between Various Negative Translations Gilda Ferreira and Paulo Oliva Requires Authentication Unlicensed Licensed Download PDF	227
A Finite Axiomatisation of Inductive-Inductive Definitions Fredrik Nordvall Forsberg and Anton Setzer Requires Authentication Unlicensed Licensed Download PDF	259
Some Conservative Extension Results on Classical and Intuitionistic Sequent Calculi Hajime Ishihara Requires Authentication Unlicensed Licensed Download PDF	289
About the Strength of Operational Regularity Dedicated to Helmut Schwichtenberg on his retirement Gerhard Jäger and Rico Zumbrunnen Requires Authentication Unlicensed Licensed Download PDF	305
Non-Deterministic Epsilon Substitution for ID1: Effective Proof Grigori Mints Requires Authentication Unlicensed Licensed Download PDF	325
Another Unique Weak König’s Lemma WKL!! For Helmut Schwichtenberg, with respect and appreciation for his encouragement and friendship. Joan Rand Moschovakis Requires Authentication Unlicensed Licensed Download PDF	343
The Continuous Functionals as Limit Spaces Dag Normann Requires Authentication Unlicensed Licensed Download PDF	353
Provably Recursive Functions of Reflection Wolfram Pohlers and Jan–Carl Stegert Requires Authentication Unlicensed Licensed Download PDF	381
A Hierarchy of Ramified Theories Below PRA Elliott J. Spoors and Stanley S. Wainer Requires Authentication Unlicensed Licensed Download PDF	475
Representing L-Domains as Information Systems Dieter Spreen Requires Authentication Unlicensed Licensed Download PDF	501

(Deutsch)

Language: English
Publisher: De Gruyter
Pages
- Main content: 542
Illustrations
- Other: Zahlr. Abb.
Keywords: Logik; Mathematik

eBook

Published: May 2, 2013
ISBN: 9783110324921

Hardcover

Published: July 20, 2012
ISBN: 9783110324532