Logic, construction, computation:
Saved in:
| Format: | Electronic eBook |
|---|---|
| Language: | English |
| Published: |
Berlin
De Gruyter
2012
|
| Series: | Ontos mathematical logic
|
| Subjects: | |
| Online Access: | FAW01 FAW02 Volltext |
| Item Description: | Print version record |
| Physical Description: | 1 online resource (544 pages) |
| ISBN: | 311032492X 9783110324921 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043035594 | ||
| 003 | DE-604 | ||
| 005 | 20191127 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151120s2012 |||| o||u| ||||||eng d | ||
| 020 | |a 311032492X |c electronic bk. |9 3-11-032492-X | ||
| 020 | |a 9783110324921 |c electronic bk. |9 978-3-11-032492-1 | ||
| 035 | |a (OCoLC)854569270 | ||
| 035 | |a (DE-599)BVBBV043035594 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 511.3 | |
| 245 | 1 | 0 | |a Logic, construction, computation |c Ulrich Berger [and three others] (eds.) |
| 264 | 1 | |a Berlin |b De Gruyter |c 2012 | |
| 300 | |a 1 online resource (544 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Ontos mathematical logic | |
| 500 | |a Print version record | ||
| 505 | 8 | |a 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 | |
| 505 | 8 | |a 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 | |
| 505 | 8 | |a Non-Deterministic Epsilon Substitution for ID1: Effective ProofAnother Unique Weak König'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 | |
| 505 | 8 | |a 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 t | |
| 650 | 4 | |a Mathematics / Philosophy | |
| 650 | 4 | |a Philosophy | |
| 650 | 7 | |a MATHEMATICS / Infinity |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS / Logic |2 bisacsh | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Philosophie | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 700 | 1 | |a Berger, Ulrich |d 1956- |e Sonstige |0 (DE-588)1011504774 |4 oth | |
| 700 | 1 | |a Schuster, Peter |e Sonstige |4 oth | |
| 700 | 1 | |a Diener, Hannes |e Sonstige |0 (DE-588)1105674711 |4 oth | |
| 700 | 1 | |a Seisenberger, Monika |d 1968- |e Sonstige |0 (DE-588)128641967 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |a Berger, Ulrich |t Logic, Construction, Computation |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=603588 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028460244 | ||
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=603588 |l FAW01 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=603588 |l FAW02 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Record in the Search Index
| _version_ | 1804175395389440000 |
|---|---|
| any_adam_object | |
| author_GND | (DE-588)1011504774 (DE-588)1105674711 (DE-588)128641967 |
| building | Verbundindex |
| bvnumber | BV043035594 |
| collection | ZDB-4-EBA |
| contents | 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 König'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 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 t |
| ctrlnum | (OCoLC)854569270 (DE-599)BVBBV043035594 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04128nmm a2200541zc 4500</leader><controlfield tag="001">BV043035594</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20191127 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151120s2012 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">311032492X</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">3-11-032492-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783110324921</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-3-11-032492-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)854569270</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043035594</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic, construction, computation</subfield><subfield code="c">Ulrich Berger [and three others] (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">De Gruyter</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (544 pages)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Ontos mathematical logic</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Print version record</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">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</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">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</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Non-Deterministic Epsilon Substitution for ID1: Effective ProofAnother Unique Weak König'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</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">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 t</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics / Philosophy</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Infinity</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Logic</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophie</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Berger, Ulrich</subfield><subfield code="d">1956-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1011504774</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Schuster, Peter</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Diener, Hannes</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1105674711</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Seisenberger, Monika</subfield><subfield code="d">1968-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)128641967</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="a">Berger, Ulrich</subfield><subfield code="t">Logic, Construction, Computation</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=603588</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028460244</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=603588</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=603588</subfield><subfield code="l">FAW02</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043035594 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:15:36Z |
| institution | BVB |
| isbn | 311032492X 9783110324921 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028460244 |
| oclc_num | 854569270 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 online resource (544 pages) |
| psigel | ZDB-4-EBA ZDB-4-EBA FAW_PDA_EBA |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | De Gruyter |
| record_format | marc |
| series2 | Ontos mathematical logic |
| spelling | Logic, construction, computation Ulrich Berger [and three others] (eds.) Berlin De Gruyter 2012 1 online resource (544 pages) txt rdacontent c rdamedia cr rdacarrier Ontos mathematical logic Print version record 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 König'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 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 t Mathematics / Philosophy Philosophy MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Logic, Symbolic and mathematical fast Mathematik Philosophie Logic, Symbolic and mathematical Berger, Ulrich 1956- Sonstige (DE-588)1011504774 oth Schuster, Peter Sonstige oth Diener, Hannes Sonstige (DE-588)1105674711 oth Seisenberger, Monika 1968- Sonstige (DE-588)128641967 oth Erscheint auch als Druck-Ausgabe Berger, Ulrich Logic, Construction, Computation http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=603588 Aggregator Volltext |
| spellingShingle | 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 König'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 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 t Mathematics / Philosophy Philosophy MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Logic, Symbolic and mathematical fast Mathematik Philosophie Logic, Symbolic and mathematical |
| title | Logic, construction, computation |
| title_auth | Logic, construction, computation |
| title_exact_search | Logic, construction, computation |
| title_full | Logic, construction, computation Ulrich Berger [and three others] (eds.) |
| title_fullStr | Logic, construction, computation Ulrich Berger [and three others] (eds.) |
| title_full_unstemmed | Logic, construction, computation Ulrich Berger [and three others] (eds.) |
| title_short | Logic, construction, computation |
| title_sort | logic construction computation |
| topic | Mathematics / Philosophy Philosophy MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Logic, Symbolic and mathematical fast Mathematik Philosophie Logic, Symbolic and mathematical |
| topic_facet | Mathematics / Philosophy Philosophy MATHEMATICS / Infinity MATHEMATICS / Logic Logic, Symbolic and mathematical Mathematik Philosophie |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=603588 |
| work_keys_str_mv | AT bergerulrich logicconstructioncomputation AT schusterpeter logicconstructioncomputation AT dienerhannes logicconstructioncomputation AT seisenbergermonika logicconstructioncomputation |