Logic, construction, computation
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...
| Други автори: | Berger, Ulrich. |
|---|---|
| Формат: | Електронен |
| Език: | English |
| Публикувано: |
Heusenstamm [Germany] :
Ontos,
2012.
|
| Серия: |
Ontos mathematical logic ;
v. 3. |
| Предмети: | |
| Онлайн достъп: |
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=603588 |
| Подобни документи: |
Print version::
Logic, Construction, Computation. |
Съдържание:
- 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. Dedicated to Prof. Helmut Schwichtenberg; Formal Baire Space in Constructive Set Theory; Functional Interpretations of Classical and Constructive Set Theory.
- Weak Theories of Truth and Explicit Mathematics. Dedicated to Helmut Schwichtenberg on his retirementAxiomatizing Truth: Why and How? For Helmut Schwichtenberg on the occasion of his 70th birthday; 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. Dedicated to Helmut Schwichtenberg on his retirement.
- Non-Deterministic Epsilon Substitution for ID1: Effective ProofAnother Unique Weak Konig's Lemma WKL!! For Helmut Schwichtenberg, with respect and appreciation for his encouragement and friendship.; The Continuous Functionals as Limit Spaces; Provably Recursive Functions of Reflection; A Hierarchy of Ramified Theories Below PRA; Representing L-Domains as Information Systems.