Logic, Construction, Computation /

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

Show other versions (1)

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

Full description

Saved in:
Bibliographic Details
Superior document:Title is part of eBook package: De Gruyter DGBA Backlist Complete English Language 2000-2014 PART1
MitwirkendeR:
Aschieri, Federico,
Berardi, Stefano,
Berger, Ulrich,
Bickford, Mark,
Bridges, Douglas S.,
Buchholz, Wilfried,
Cantini, Andrea,
Crosilla, Laura,
Curi, Giovanni,
Diener, Hannes,
Diller, Justus,
Eberhard, Sebastian,
Feferman, Solomon,
Ferreira, Gilda,
Forsberg, Fredrik Nordvall,
Ishihara, Hajime,
Jäger, Gerhard,
Mints, Grigori,
Moschovakis, Joan Rand,
Normann, Dag,
Oliva, Paulo,
Pohlers, Wolfram,
Rathjen, Michael,
Robert, Constable,
Schuster, Peter,
Seisenberger, Monika,
Setzer, Anton,
Spoors, Elliott J.,
Spreen, Dieter,
Stegert, Jan–Carl,
Strahm, Thomas,
Wainer, Stanley S.,
Weiermann, Andreas,
Zumbrunnen, Rico,
HerausgeberIn:
Berger, Ulrich,
Diener, Hannes,
Schuster, Peter,
Seisenberger, Monika,
Place / Publishing House:Berlin ;, Boston : : De Gruyter, , [2013]
©2012
Year of Publication:2013
Language:English
Series:Ontos Mathematical Logic , 3
Online Access:
Physical Description:1 online resource (542 p.) :; Zahlr. Abb.
Tags: Add Tag
No Tags, Be the first to tag this record!
Table of 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

Similar Items