Logic, Construction, Computation / / ed. by Ulrich Berger, Hannes Diener, Peter Schuster, Monika Seisenberger.
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...
Saved in:
Superior document: | Title is part of eBook package: De Gruyter DGBA Backlist Complete English Language 2000-2014 PART1 |
---|---|
MitwirkendeR: | |
HerausgeberIn: | |
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!
|
id |
9783110324921 |
---|---|
ctrlnum |
(DE-B1597)211283 (OCoLC)853237147 |
collection |
bib_alma |
record_format |
marc |
spelling |
Logic, Construction, Computation / ed. by Ulrich Berger, Hannes Diener, Peter Schuster, Monika Seisenberger. Berlin ; Boston : De Gruyter, [2013] ©2012 1 online resource (542 p.) : Zahlr. Abb. text txt rdacontent computer c rdamedia online resource cr rdacarrier text file PDF rda Ontos Mathematical Logic , 2198-2341 ; 3 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 restricted access http://purl.org/coar/access_right/c_16ec online access with authorization star 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. Issued also in print. Mode of access: Internet via World Wide Web. In English. Description based on online resource; title from PDF title page (publisher's Web site, viewed 28. Feb 2023) Computational neuroscience. Logic. Logik. Mathematik. PHILOSOPHY / General. bisacsh Aschieri, Federico, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Berardi, Stefano, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Berger, Ulrich, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Berger, Ulrich, editor. edt http://id.loc.gov/vocabulary/relators/edt Bickford, Mark, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Bridges, Douglas S., contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Buchholz, Wilfried, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Cantini, Andrea, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Crosilla, Laura, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Curi, Giovanni, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Diener, Hannes, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Diener, Hannes, editor. edt http://id.loc.gov/vocabulary/relators/edt Diller, Justus, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Eberhard, Sebastian, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Feferman, Solomon, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Ferreira, Gilda, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Forsberg, Fredrik Nordvall, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Ishihara, Hajime, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Jäger, Gerhard, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Mints, Grigori, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Moschovakis, Joan Rand, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Normann, Dag, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Oliva, Paulo, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Pohlers, Wolfram, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Rathjen, Michael, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Robert, Constable, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Schuster, Peter, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Schuster, Peter, editor. edt http://id.loc.gov/vocabulary/relators/edt Seisenberger, Monika, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Seisenberger, Monika, editor. edt http://id.loc.gov/vocabulary/relators/edt Setzer, Anton, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Spoors, Elliott J., contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Spreen, Dieter, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Stegert, Jan–Carl, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Strahm, Thomas, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Wainer, Stanley S., contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Weiermann, Andreas, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Zumbrunnen, Rico, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Title is part of eBook package: De Gruyter DGBA Backlist Complete English Language 2000-2014 PART1 9783110238570 Title is part of eBook package: De Gruyter DGBA Backlist Philosophy 2000-2014 (EN) 9783110238488 Title is part of eBook package: De Gruyter DGBA Philosophy 2000 - 2014 9783110636949 ZDB-23-GPH Title is part of eBook package: De Gruyter eBook Package De Gruyter Ontos 2002-2012 9783110331226 Title is part of eBook package: De Gruyter eBook Paket De Gruyter Ontos 2002-2012 9783110331219 ZDB-23-DON print 9783110324532 https://doi.org/10.1515/9783110324921 https://www.degruyter.com/isbn/9783110324921 Cover https://www.degruyter.com/document/cover/isbn/9783110324921/original |
language |
English |
format |
eBook |
author2 |
Aschieri, Federico, Aschieri, Federico, Berardi, Stefano, Berardi, Stefano, Berger, Ulrich, Berger, Ulrich, Berger, Ulrich, Berger, Ulrich, Bickford, Mark, Bickford, Mark, Bridges, Douglas S., Bridges, Douglas S., Buchholz, Wilfried, Buchholz, Wilfried, Cantini, Andrea, Cantini, Andrea, Crosilla, Laura, Crosilla, Laura, Curi, Giovanni, Curi, Giovanni, Diener, Hannes, Diener, Hannes, Diener, Hannes, Diener, Hannes, Diller, Justus, Diller, Justus, Eberhard, Sebastian, Eberhard, Sebastian, Feferman, Solomon, Feferman, Solomon, Ferreira, Gilda, Ferreira, Gilda, Forsberg, Fredrik Nordvall, Forsberg, Fredrik Nordvall, Ishihara, Hajime, Ishihara, Hajime, Jäger, Gerhard, Jäger, Gerhard, Mints, Grigori, Mints, Grigori, Moschovakis, Joan Rand, Moschovakis, Joan Rand, Normann, Dag, Normann, Dag, Oliva, Paulo, Oliva, Paulo, Pohlers, Wolfram, Pohlers, Wolfram, Rathjen, Michael, Rathjen, Michael, Robert, Constable, Robert, Constable, Schuster, Peter, Schuster, Peter, Schuster, Peter, Schuster, Peter, Seisenberger, Monika, Seisenberger, Monika, Seisenberger, Monika, Seisenberger, Monika, Setzer, Anton, Setzer, Anton, Spoors, Elliott J., Spoors, Elliott J., Spreen, Dieter, Spreen, Dieter, Stegert, Jan–Carl, Stegert, Jan–Carl, Strahm, Thomas, Strahm, Thomas, Wainer, Stanley S., Wainer, Stanley S., Weiermann, Andreas, Weiermann, Andreas, Zumbrunnen, Rico, Zumbrunnen, Rico, |
author_facet |
Aschieri, Federico, Aschieri, Federico, Berardi, Stefano, Berardi, Stefano, Berger, Ulrich, Berger, Ulrich, Berger, Ulrich, Berger, Ulrich, Bickford, Mark, Bickford, Mark, Bridges, Douglas S., Bridges, Douglas S., Buchholz, Wilfried, Buchholz, Wilfried, Cantini, Andrea, Cantini, Andrea, Crosilla, Laura, Crosilla, Laura, Curi, Giovanni, Curi, Giovanni, Diener, Hannes, Diener, Hannes, Diener, Hannes, Diener, Hannes, Diller, Justus, Diller, Justus, Eberhard, Sebastian, Eberhard, Sebastian, Feferman, Solomon, Feferman, Solomon, Ferreira, Gilda, Ferreira, Gilda, Forsberg, Fredrik Nordvall, Forsberg, Fredrik Nordvall, Ishihara, Hajime, Ishihara, Hajime, Jäger, Gerhard, Jäger, Gerhard, Mints, Grigori, Mints, Grigori, Moschovakis, Joan Rand, Moschovakis, Joan Rand, Normann, Dag, Normann, Dag, Oliva, Paulo, Oliva, Paulo, Pohlers, Wolfram, Pohlers, Wolfram, Rathjen, Michael, Rathjen, Michael, Robert, Constable, Robert, Constable, Schuster, Peter, Schuster, Peter, Schuster, Peter, Schuster, Peter, Seisenberger, Monika, Seisenberger, Monika, Seisenberger, Monika, Seisenberger, Monika, Setzer, Anton, Setzer, Anton, Spoors, Elliott J., Spoors, Elliott J., Spreen, Dieter, Spreen, Dieter, Stegert, Jan–Carl, Stegert, Jan–Carl, Strahm, Thomas, Strahm, Thomas, Wainer, Stanley S., Wainer, Stanley S., Weiermann, Andreas, Weiermann, Andreas, Zumbrunnen, Rico, Zumbrunnen, Rico, |
author2_variant |
f a fa f a fa s b sb s b sb u b ub u b ub u b ub u b ub m b mb m b mb d s b ds dsb d s b ds dsb w b wb w b wb a c ac a c ac l c lc l c lc g c gc g c gc h d hd h d hd h d hd h d hd j d jd j d jd s e se s e se s f sf s f sf g f gf g f gf f n f fn fnf f n f fn fnf h i hi h i hi g j gj g j gj g m gm g m gm j r m jr jrm j r m jr jrm d n dn d n dn p o po p o po w p wp w p wp m r mr m r mr c r cr c r cr p s ps p s ps p s ps p s ps m s ms m s ms m s ms m s ms a s as a s as e j s ej ejs e j s ej ejs d s ds d s ds j s js j s js t s ts t s ts s s w ss ssw s s w ss ssw a w aw a w aw r z rz r z rz |
author2_role |
MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR HerausgeberIn HerausgeberIn MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR HerausgeberIn HerausgeberIn MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR HerausgeberIn HerausgeberIn MitwirkendeR MitwirkendeR HerausgeberIn HerausgeberIn MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR |
author_sort |
Aschieri, Federico, |
title |
Logic, Construction, Computation / |
spellingShingle |
Logic, Construction, Computation / Ontos Mathematical Logic , 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 |
title_full |
Logic, Construction, Computation / ed. by Ulrich Berger, Hannes Diener, Peter Schuster, Monika Seisenberger. |
title_fullStr |
Logic, Construction, Computation / ed. by Ulrich Berger, Hannes Diener, Peter Schuster, Monika Seisenberger. |
title_full_unstemmed |
Logic, Construction, Computation / ed. by Ulrich Berger, Hannes Diener, Peter Schuster, Monika Seisenberger. |
title_auth |
Logic, Construction, Computation / |
title_alt |
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 |
title_new |
Logic, Construction, Computation / |
title_sort |
logic, construction, computation / |
series |
Ontos Mathematical Logic , |
series2 |
Ontos Mathematical Logic , |
publisher |
De Gruyter, |
publishDate |
2013 |
physical |
1 online resource (542 p.) : Zahlr. Abb. Issued also in print. |
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 |
isbn |
9783110324921 9783110238570 9783110238488 9783110636949 9783110331226 9783110331219 9783110324532 |
issn |
2198-2341 ; |
callnumber-first |
B - Philosophy, Psychology, Religion |
callnumber-subject |
BC - Logic |
callnumber-label |
BC71 |
callnumber-sort |
BC 271 L64 42012EB |
url |
https://doi.org/10.1515/9783110324921 https://www.degruyter.com/isbn/9783110324921 https://www.degruyter.com/document/cover/isbn/9783110324921/original |
illustrated |
Not Illustrated |
dewey-hundreds |
500 - Science |
dewey-tens |
510 - Mathematics |
dewey-ones |
511 - General principles of mathematics |
dewey-full |
511.3 |
dewey-sort |
3511.3 |
dewey-raw |
511.3 |
dewey-search |
511.3 |
doi_str_mv |
10.1515/9783110324921 |
oclc_num |
853237147 |
work_keys_str_mv |
AT aschierifederico logicconstructioncomputation AT berardistefano logicconstructioncomputation AT bergerulrich logicconstructioncomputation AT bickfordmark logicconstructioncomputation AT bridgesdouglass logicconstructioncomputation AT buchholzwilfried logicconstructioncomputation AT cantiniandrea logicconstructioncomputation AT crosillalaura logicconstructioncomputation AT curigiovanni logicconstructioncomputation AT dienerhannes logicconstructioncomputation AT dillerjustus logicconstructioncomputation AT eberhardsebastian logicconstructioncomputation AT fefermansolomon logicconstructioncomputation AT ferreiragilda logicconstructioncomputation AT forsbergfredriknordvall logicconstructioncomputation AT ishiharahajime logicconstructioncomputation AT jagergerhard logicconstructioncomputation AT mintsgrigori logicconstructioncomputation AT moschovakisjoanrand logicconstructioncomputation AT normanndag logicconstructioncomputation AT olivapaulo logicconstructioncomputation AT pohlerswolfram logicconstructioncomputation AT rathjenmichael logicconstructioncomputation AT robertconstable logicconstructioncomputation AT schusterpeter logicconstructioncomputation AT seisenbergermonika logicconstructioncomputation AT setzeranton logicconstructioncomputation AT spoorselliottj logicconstructioncomputation AT spreendieter logicconstructioncomputation AT stegertjancarl logicconstructioncomputation AT strahmthomas logicconstructioncomputation AT wainerstanleys logicconstructioncomputation AT weiermannandreas logicconstructioncomputation AT zumbrunnenrico logicconstructioncomputation |
status_str |
n |
ids_txt_mv |
(DE-B1597)211283 (OCoLC)853237147 |
carrierType_str_mv |
cr |
hierarchy_parent_title |
Title is part of eBook package: De Gruyter DGBA Backlist Complete English Language 2000-2014 PART1 Title is part of eBook package: De Gruyter DGBA Backlist Philosophy 2000-2014 (EN) Title is part of eBook package: De Gruyter DGBA Philosophy 2000 - 2014 Title is part of eBook package: De Gruyter eBook Package De Gruyter Ontos 2002-2012 Title is part of eBook package: De Gruyter eBook Paket De Gruyter Ontos 2002-2012 |
is_hierarchy_title |
Logic, Construction, Computation / |
container_title |
Title is part of eBook package: De Gruyter DGBA Backlist Complete English Language 2000-2014 PART1 |
author2_original_writing_str_mv |
noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField |
_version_ |
1770177557608529920 |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>08964nam a22012735i 4500</leader><controlfield tag="001">9783110324921</controlfield><controlfield tag="003">DE-B1597</controlfield><controlfield tag="005">20230228123812.0</controlfield><controlfield tag="006">m|||||o||d||||||||</controlfield><controlfield tag="007">cr || ||||||||</controlfield><controlfield tag="008">230228t20132012gw fo d z eng d</controlfield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">(OCoLC)978593138</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783110324921</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1515/9783110324921</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-B1597)211283</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)853237147</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-B1597</subfield><subfield code="b">eng</subfield><subfield code="c">DE-B1597</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">BC71</subfield><subfield code="b">.L64 2012eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">PHI000000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">511.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Logic, Construction, Computation /</subfield><subfield code="c">ed. by Ulrich Berger, Hannes Diener, Peter Schuster, Monika Seisenberger.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ;</subfield><subfield code="a">Boston : </subfield><subfield code="b">De Gruyter, </subfield><subfield code="c">[2013]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (542 p.) :</subfield><subfield code="b">Zahlr. Abb.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="347" ind1=" " ind2=" "><subfield code="a">text file</subfield><subfield code="b">PDF</subfield><subfield code="2">rda</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Ontos Mathematical Logic ,</subfield><subfield code="x">2198-2341 ;</subfield><subfield code="v">3</subfield></datafield><datafield tag="505" ind1="0" ind2="0"><subfield code="t">Frontmatter -- </subfield><subfield code="t">Preface -- </subfield><subfield code="t">Contents -- </subfield><subfield code="t">Contributors -- </subfield><subfield code="t">A New Use of Friedman’s Translation: Interactive Realizability -- </subfield><subfield code="t">Polymorphic Logic -- </subfield><subfield code="t">Constructive Solutions of Ordinary Differential Equations -- </subfield><subfield code="t">A Nonstandard Hierarchy Comparison Theorem for the Slow and Fast Growing Hierarchy -- </subfield><subfield code="t">Conservativity of transitive closure over weak constructive operational set theory -- </subfield><subfield code="t">Formal Baire Space in Constructive Set Theory -- </subfield><subfield code="t">Functional Interpretations of Classical and Constructive Set Theory -- </subfield><subfield code="t">Weak Theories of Truth and Explicit Mathematics -- </subfield><subfield code="t">Axiomatizing Truth: Why and How? -- </subfield><subfield code="t">On the Strength of some Semi-Constructive Theories -- </subfield><subfield code="t">On the Relation Between Various Negative Translations -- </subfield><subfield code="t">A Finite Axiomatisation of Inductive-Inductive Definitions -- </subfield><subfield code="t">Some Conservative Extension Results on Classical and Intuitionistic Sequent Calculi -- </subfield><subfield code="t">About the Strength of Operational Regularity -- </subfield><subfield code="t">Non-Deterministic Epsilon Substitution for ID1: Effective Proof -- </subfield><subfield code="t">Another Unique Weak König’s Lemma WKL!! -- </subfield><subfield code="t">The Continuous Functionals as Limit Spaces -- </subfield><subfield code="t">Provably Recursive Functions of Reflection -- </subfield><subfield code="t">A Hierarchy of Ramified Theories Below PRA -- </subfield><subfield code="t">Representing L-Domains as Information Systems</subfield></datafield><datafield tag="506" ind1="0" ind2=" "><subfield code="a">restricted access</subfield><subfield code="u">http://purl.org/coar/access_right/c_16ec</subfield><subfield code="f">online access with authorization</subfield><subfield code="2">star</subfield></datafield><datafield tag="520" ind1=" " 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 theory, Provably recursive functions, Program extraction, Theories of truth, Constructive mathematics, Classical vs. intuitionistic logic, Inductive definitions, and Continuous functionals and domains.</subfield></datafield><datafield tag="530" ind1=" " ind2=" "><subfield code="a">Issued also in print.</subfield></datafield><datafield tag="538" ind1=" " ind2=" "><subfield code="a">Mode of access: Internet via World Wide Web.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">In English.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Description based on online resource; title from PDF title page (publisher's Web site, viewed 28. Feb 2023)</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computational neuroscience.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logik.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">PHILOSOPHY / General.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Aschieri, Federico, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Berardi, Stefano, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Berger, Ulrich, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Berger, Ulrich, </subfield><subfield code="e">editor.</subfield><subfield code="4">edt</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bickford, Mark, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bridges, Douglas S., </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Buchholz, Wilfried, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Cantini, Andrea, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Crosilla, Laura, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Curi, Giovanni, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Diener, Hannes, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Diener, Hannes, </subfield><subfield code="e">editor.</subfield><subfield code="4">edt</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Diller, Justus, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Eberhard, Sebastian, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Feferman, Solomon, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ferreira, Gilda, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Forsberg, Fredrik Nordvall, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ishihara, Hajime, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Jäger, Gerhard, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Mints, Grigori, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Moschovakis, Joan Rand, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Normann, Dag, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Oliva, Paulo, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Pohlers, Wolfram, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rathjen, Michael, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Robert, Constable, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Schuster, Peter, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Schuster, Peter, </subfield><subfield code="e">editor.</subfield><subfield code="4">edt</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Seisenberger, Monika, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Seisenberger, Monika, </subfield><subfield code="e">editor.</subfield><subfield code="4">edt</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Setzer, Anton, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Spoors, Elliott J., </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Spreen, Dieter, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Stegert, Jan–Carl, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Strahm, Thomas, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wainer, Stanley S., </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Weiermann, Andreas, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Zumbrunnen, Rico, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">DGBA Backlist Complete English Language 2000-2014 PART1</subfield><subfield code="z">9783110238570</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">DGBA Backlist Philosophy 2000-2014 (EN)</subfield><subfield code="z">9783110238488</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">DGBA Philosophy 2000 - 2014</subfield><subfield code="z">9783110636949</subfield><subfield code="o">ZDB-23-GPH</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">eBook Package De Gruyter Ontos 2002-2012</subfield><subfield code="z">9783110331226</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">eBook Paket De Gruyter Ontos 2002-2012</subfield><subfield code="z">9783110331219</subfield><subfield code="o">ZDB-23-DON</subfield></datafield><datafield tag="776" ind1="0" ind2=" "><subfield code="c">print</subfield><subfield code="z">9783110324532</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1515/9783110324921</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://www.degruyter.com/isbn/9783110324921</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="3">Cover</subfield><subfield code="u">https://www.degruyter.com/document/cover/isbn/9783110324921/original</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">978-3-11-023848-8 DGBA Backlist Philosophy 2000-2014 (EN)</subfield><subfield code="c">2000</subfield><subfield code="d">2014</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">978-3-11-023857-0 DGBA Backlist Complete English Language 2000-2014 PART1</subfield><subfield code="c">2000</subfield><subfield code="d">2014</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">978-3-11-033122-6 eBook Package De Gruyter Ontos 2002-2012</subfield><subfield code="c">2002</subfield><subfield code="d">2012</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_BACKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_CL_PLTLJSIS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_DGALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EBACKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EBKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_ECL_PLTLJSIS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EEBKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_ESSHALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_SSHALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV-deGruyter-alles</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA11SSHE</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA13ENGE</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA17SSHEE</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA5EBK</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-DON</subfield><subfield code="c">2002</subfield><subfield code="d">2012</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-GPH</subfield><subfield code="c">2000</subfield><subfield code="d">2014</subfield></datafield></record></collection> |