Vai al contenuto principale della pagina

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



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: Logic, construction, computation [[electronic resource] /] / Ulrich Berger ... [et al.] (eds.) Visualizza cluster
Pubblicazione: Heusenstamm [Germany], : ontos, 2012
Descrizione fisica: 1 online resource (544 p.)
Disciplina: 510
Soggetto topico: Logic
Computational neuroscience
Soggetto genere / forma: Electronic books.
Altri autori: BergerUlrich  
Note generali: Description based upon print version of record.
Nota di bibliografia: Includes bibliographical references.
Nota di contenuto: 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
Sommario/riassunto: 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...
Titolo autorizzato: Logic, construction, computation  Visualizza cluster
ISBN: 3-11-032492-X
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 9910464302103321
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Serie: Ontos Mathematical Logic