Logic, Computation, Hierarchies / / ed. by Vasco Brattka, Hannes Diener, Dieter Spreen.
Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applications in computable analysis; descriptive set theory and topology; and the theory of omega-languages; as well as non-classical logics, such as...
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, , [2014] ©2014 |
| Year of Publication: | 2014 |
| Language: | English |
| Series: | Ontos Mathematical Logic ,
4 |
| Online Access: | |
| Physical Description: | 1 online resource (414 p.) |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| id |
9781614518044 |
|---|---|
| ctrlnum |
(DE-B1597)427819 (OCoLC)890071023 |
| collection |
bib_alma |
| record_format |
marc |
| spelling |
Logic, Computation, Hierarchies / ed. by Vasco Brattka, Hannes Diener, Dieter Spreen. Berlin ; Boston : De Gruyter, [2014] ©2014 1 online resource (414 p.) text txt rdacontent computer c rdamedia online resource cr rdacarrier text file PDF rda Ontos Mathematical Logic , 2198-2341 ; 4 Frontmatter -- Preface -- Contents -- The life and work of Victor L. Selivanov -- Tight extensions of T0-quasi-metric spaces -- On the strongly bounded turing degrees of simple sets -- Levels of discontinuity, limit-computability, and jump operators -- The wadge hierarchy of Petri Nets ω-languages -- Diophantine properties of brownian motion: recursive aspects -- The completeness of isomorphism -- Complexity issues for Preorders on finite labeled forests -- Boolean algebras of regular quasi-aperiodic languages -- A simple indeterminate infinite game -- Lipschitz and uniformly continuous Reducibilities on Ultrametric polish spaces -- ON THE EQUIVALENCE OF PARACONSISTENT AND EXPLOSIVE VERSIONS OF NELSON LOGIC -- COMPUTING CLEBSCH-GORDAN MATRICES WITH APPLICATIONS IN ELASTICITY THEORY -- AN APPROACH TO DESIGN OF AUTOMATA-BASED AXIOMATIZATION FOR PROPOSITIONAL PROGRAM AND TEMPORAL LOGICS (BY EXAMPLE OF LINEAR TEMPORAL LOGIC) -- PARTIAL NUMBERINGS AND PRECOMPLETENESS -- AN ISOMORPHISM THEOREM FOR PARTIAL NUMBERINGS -- TWO THEOREMS ON THE HAUSDORFF MEASURE OF REGULAR ω-LANGUAGES -- SOME NOTES ON THE UNIVERSALITY OF THREE-ORDERS ON FINITE LABELED POSETS -- INDEX restricted access http://purl.org/coar/access_right/c_16ec online access with authorization star Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applications in computable analysis; descriptive set theory and topology; and the theory of omega-languages; as well as non-classical logics, such as temporal logic and paraconsistent logic. This volume will be of interest to mathematicians and logicians, as well as theoretical computer scientists. 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) Algebra, Boolean Congresses. Logic, Symbolic and mathematical Congresses. Petri nets Congresses. Quasi-metric spaces Congresses. Computability Theory. Descriptive Set Theory. Non-Classical Logic. PHILOSOPHY / Logic. bisacsh Computability theory. descriptive set theory. non-classical logic. Agyingi, Collins Amburo, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Ambos-Spies, Klaus, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Brattka, Vasco, editor. edt http://id.loc.gov/vocabulary/relators/edt Diener, Hannes, editor. edt http://id.loc.gov/vocabulary/relators/edt Duparc, Jacques, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Finkel, Olivier, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Fouché, Willem L., contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Haihambo, Paulus, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Hertling, Peter, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Konovalov, Anton, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Kopczynski, Eryk, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Künzi, Hans-Peter A., contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Motto Ros, >Luca, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Niwinski, Damian, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Odintsov, Sergey, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Ressayre, Jean-Pierre, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Schlicht, Philipp, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Selivanov, Victor, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Selivanova, Svetlana, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Shilov, Nikolay V., contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Spreen, Dieter, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Spreen, Dieter, editor. edt http://id.loc.gov/vocabulary/relators/edt Staiger, Ludwig, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Sy-David, >Friedman, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Zhukov, Anton V., contributor. ctb https://id.loc.gov/vocabulary/relators/ctb de Brecht, Matthew, 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 Complete Package 2014 9783110369526 ZDB-23-DGG Title is part of eBook package: De Gruyter EBOOK PACKAGE Philosophy 2014 9783110370393 ZDB-23-DPH EPUB 9781614519409 print 9781614517832 https://doi.org/10.1515/9781614518044 https://www.degruyter.com/isbn/9781614518044 Cover https://www.degruyter.com/document/cover/isbn/9781614518044/original |
| language |
English |
| format |
eBook |
| author2 |
Agyingi, Collins Amburo, Agyingi, Collins Amburo, Ambos-Spies, Klaus, Ambos-Spies, Klaus, Brattka, Vasco, Brattka, Vasco, Diener, Hannes, Diener, Hannes, Duparc, Jacques, Duparc, Jacques, Finkel, Olivier, Finkel, Olivier, Fouché, Willem L., Fouché, Willem L., Haihambo, Paulus, Haihambo, Paulus, Hertling, Peter, Hertling, Peter, Konovalov, Anton, Konovalov, Anton, Kopczynski, Eryk, Kopczynski, Eryk, Künzi, Hans-Peter A., Künzi, Hans-Peter A., Motto Ros, >Luca, Motto Ros, >Luca, Niwinski, Damian, Niwinski, Damian, Odintsov, Sergey, Odintsov, Sergey, Ressayre, Jean-Pierre, Ressayre, Jean-Pierre, Schlicht, Philipp, Schlicht, Philipp, Selivanov, Victor, Selivanov, Victor, Selivanova, Svetlana, Selivanova, Svetlana, Shilov, Nikolay V., Shilov, Nikolay V., Spreen, Dieter, Spreen, Dieter, Spreen, Dieter, Spreen, Dieter, Staiger, Ludwig, Staiger, Ludwig, Sy-David, >Friedman, Sy-David, >Friedman, Zhukov, Anton V., Zhukov, Anton V., de Brecht, Matthew, de Brecht, Matthew, |
| author_facet |
Agyingi, Collins Amburo, Agyingi, Collins Amburo, Ambos-Spies, Klaus, Ambos-Spies, Klaus, Brattka, Vasco, Brattka, Vasco, Diener, Hannes, Diener, Hannes, Duparc, Jacques, Duparc, Jacques, Finkel, Olivier, Finkel, Olivier, Fouché, Willem L., Fouché, Willem L., Haihambo, Paulus, Haihambo, Paulus, Hertling, Peter, Hertling, Peter, Konovalov, Anton, Konovalov, Anton, Kopczynski, Eryk, Kopczynski, Eryk, Künzi, Hans-Peter A., Künzi, Hans-Peter A., Motto Ros, >Luca, Motto Ros, >Luca, Niwinski, Damian, Niwinski, Damian, Odintsov, Sergey, Odintsov, Sergey, Ressayre, Jean-Pierre, Ressayre, Jean-Pierre, Schlicht, Philipp, Schlicht, Philipp, Selivanov, Victor, Selivanov, Victor, Selivanova, Svetlana, Selivanova, Svetlana, Shilov, Nikolay V., Shilov, Nikolay V., Spreen, Dieter, Spreen, Dieter, Spreen, Dieter, Spreen, Dieter, Staiger, Ludwig, Staiger, Ludwig, Sy-David, >Friedman, Sy-David, >Friedman, Zhukov, Anton V., Zhukov, Anton V., de Brecht, Matthew, de Brecht, Matthew, |
| author2_variant |
c a a ca caa c a a ca caa k a s kas k a s kas v b vb v b vb h d hd h d hd j d jd j d jd o f of o f of w l f wl wlf w l f wl wlf p h ph p h ph p h ph p h ph a k ak a k ak e k ek e k ek h p a k hpa hpak h p a k hpa hpak r l m rl rlm r l m rl rlm d n dn d n dn s o so s o so j p r jpr j p r jpr p s ps p s ps v s vs v s vs s s ss s s ss n v s nv nvs n v s nv nvs d s ds d s ds d s ds d s ds l s ls l s ls f s d fsd f s d fsd a v z av avz a v z av avz b m d bm bmd b m d bm bmd |
| author2_role |
MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR HerausgeberIn HerausgeberIn 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 MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR HerausgeberIn HerausgeberIn MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR |
| author_sort |
Agyingi, Collins Amburo, |
| title |
Logic, Computation, Hierarchies / |
| spellingShingle |
Logic, Computation, Hierarchies / Ontos Mathematical Logic , Frontmatter -- Preface -- Contents -- The life and work of Victor L. Selivanov -- Tight extensions of T0-quasi-metric spaces -- On the strongly bounded turing degrees of simple sets -- Levels of discontinuity, limit-computability, and jump operators -- The wadge hierarchy of Petri Nets ω-languages -- Diophantine properties of brownian motion: recursive aspects -- The completeness of isomorphism -- Complexity issues for Preorders on finite labeled forests -- Boolean algebras of regular quasi-aperiodic languages -- A simple indeterminate infinite game -- Lipschitz and uniformly continuous Reducibilities on Ultrametric polish spaces -- ON THE EQUIVALENCE OF PARACONSISTENT AND EXPLOSIVE VERSIONS OF NELSON LOGIC -- COMPUTING CLEBSCH-GORDAN MATRICES WITH APPLICATIONS IN ELASTICITY THEORY -- AN APPROACH TO DESIGN OF AUTOMATA-BASED AXIOMATIZATION FOR PROPOSITIONAL PROGRAM AND TEMPORAL LOGICS (BY EXAMPLE OF LINEAR TEMPORAL LOGIC) -- PARTIAL NUMBERINGS AND PRECOMPLETENESS -- AN ISOMORPHISM THEOREM FOR PARTIAL NUMBERINGS -- TWO THEOREMS ON THE HAUSDORFF MEASURE OF REGULAR ω-LANGUAGES -- SOME NOTES ON THE UNIVERSALITY OF THREE-ORDERS ON FINITE LABELED POSETS -- INDEX |
| title_full |
Logic, Computation, Hierarchies / ed. by Vasco Brattka, Hannes Diener, Dieter Spreen. |
| title_fullStr |
Logic, Computation, Hierarchies / ed. by Vasco Brattka, Hannes Diener, Dieter Spreen. |
| title_full_unstemmed |
Logic, Computation, Hierarchies / ed. by Vasco Brattka, Hannes Diener, Dieter Spreen. |
| title_auth |
Logic, Computation, Hierarchies / |
| title_alt |
Frontmatter -- Preface -- Contents -- The life and work of Victor L. Selivanov -- Tight extensions of T0-quasi-metric spaces -- On the strongly bounded turing degrees of simple sets -- Levels of discontinuity, limit-computability, and jump operators -- The wadge hierarchy of Petri Nets ω-languages -- Diophantine properties of brownian motion: recursive aspects -- The completeness of isomorphism -- Complexity issues for Preorders on finite labeled forests -- Boolean algebras of regular quasi-aperiodic languages -- A simple indeterminate infinite game -- Lipschitz and uniformly continuous Reducibilities on Ultrametric polish spaces -- ON THE EQUIVALENCE OF PARACONSISTENT AND EXPLOSIVE VERSIONS OF NELSON LOGIC -- COMPUTING CLEBSCH-GORDAN MATRICES WITH APPLICATIONS IN ELASTICITY THEORY -- AN APPROACH TO DESIGN OF AUTOMATA-BASED AXIOMATIZATION FOR PROPOSITIONAL PROGRAM AND TEMPORAL LOGICS (BY EXAMPLE OF LINEAR TEMPORAL LOGIC) -- PARTIAL NUMBERINGS AND PRECOMPLETENESS -- AN ISOMORPHISM THEOREM FOR PARTIAL NUMBERINGS -- TWO THEOREMS ON THE HAUSDORFF MEASURE OF REGULAR ω-LANGUAGES -- SOME NOTES ON THE UNIVERSALITY OF THREE-ORDERS ON FINITE LABELED POSETS -- INDEX |
| title_new |
Logic, Computation, Hierarchies / |
| title_sort |
logic, computation, hierarchies / |
| series |
Ontos Mathematical Logic , |
| series2 |
Ontos Mathematical Logic , |
| publisher |
De Gruyter, |
| publishDate |
2014 |
| physical |
1 online resource (414 p.) Issued also in print. |
| contents |
Frontmatter -- Preface -- Contents -- The life and work of Victor L. Selivanov -- Tight extensions of T0-quasi-metric spaces -- On the strongly bounded turing degrees of simple sets -- Levels of discontinuity, limit-computability, and jump operators -- The wadge hierarchy of Petri Nets ω-languages -- Diophantine properties of brownian motion: recursive aspects -- The completeness of isomorphism -- Complexity issues for Preorders on finite labeled forests -- Boolean algebras of regular quasi-aperiodic languages -- A simple indeterminate infinite game -- Lipschitz and uniformly continuous Reducibilities on Ultrametric polish spaces -- ON THE EQUIVALENCE OF PARACONSISTENT AND EXPLOSIVE VERSIONS OF NELSON LOGIC -- COMPUTING CLEBSCH-GORDAN MATRICES WITH APPLICATIONS IN ELASTICITY THEORY -- AN APPROACH TO DESIGN OF AUTOMATA-BASED AXIOMATIZATION FOR PROPOSITIONAL PROGRAM AND TEMPORAL LOGICS (BY EXAMPLE OF LINEAR TEMPORAL LOGIC) -- PARTIAL NUMBERINGS AND PRECOMPLETENESS -- AN ISOMORPHISM THEOREM FOR PARTIAL NUMBERINGS -- TWO THEOREMS ON THE HAUSDORFF MEASURE OF REGULAR ω-LANGUAGES -- SOME NOTES ON THE UNIVERSALITY OF THREE-ORDERS ON FINITE LABELED POSETS -- INDEX |
| isbn |
9781614518044 9783110238570 9783110238488 9783110636949 9783110369526 9783110370393 9781614519409 9781614517832 |
| issn |
2198-2341 ; |
| callnumber-first |
Q - Science |
| callnumber-subject |
QA - Mathematics |
| callnumber-label |
QA10 |
| callnumber-sort |
QA 210.3 |
| genre_facet |
Congresses. |
| url |
https://doi.org/10.1515/9781614518044 https://www.degruyter.com/isbn/9781614518044 https://www.degruyter.com/document/cover/isbn/9781614518044/original |
| illustrated |
Not Illustrated |
| dewey-hundreds |
500 - Science |
| dewey-tens |
510 - Mathematics |
| dewey-ones |
511 - General principles of mathematics |
| dewey-full |
511.324 |
| dewey-sort |
3511.324 |
| dewey-raw |
511.324 |
| dewey-search |
511.324 |
| doi_str_mv |
10.1515/9781614518044 |
| oclc_num |
890071023 |
| work_keys_str_mv |
AT agyingicollinsamburo logiccomputationhierarchies AT ambosspiesklaus logiccomputationhierarchies AT brattkavasco logiccomputationhierarchies AT dienerhannes logiccomputationhierarchies AT duparcjacques logiccomputationhierarchies AT finkelolivier logiccomputationhierarchies AT fouchewilleml logiccomputationhierarchies AT haihambopaulus logiccomputationhierarchies AT hertlingpeter logiccomputationhierarchies AT konovalovanton logiccomputationhierarchies AT kopczynskieryk logiccomputationhierarchies AT kunzihanspetera logiccomputationhierarchies AT mottorosluca logiccomputationhierarchies AT niwinskidamian logiccomputationhierarchies AT odintsovsergey logiccomputationhierarchies AT ressayrejeanpierre logiccomputationhierarchies AT schlichtphilipp logiccomputationhierarchies AT selivanovvictor logiccomputationhierarchies AT selivanovasvetlana logiccomputationhierarchies AT shilovnikolayv logiccomputationhierarchies AT spreendieter logiccomputationhierarchies AT staigerludwig logiccomputationhierarchies AT sydavidfriedman logiccomputationhierarchies AT zhukovantonv logiccomputationhierarchies AT debrechtmatthew logiccomputationhierarchies |
| status_str |
n |
| ids_txt_mv |
(DE-B1597)427819 (OCoLC)890071023 |
| 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 Complete Package 2014 Title is part of eBook package: De Gruyter EBOOK PACKAGE Philosophy 2014 |
| is_hierarchy_title |
Logic, Computation, Hierarchies / |
| 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 |
| _version_ |
1770177181177085952 |
| fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>07894nam a22012975i 4500</leader><controlfield tag="001">9781614518044</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">230228t20142014gw fo d z eng d</controlfield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">(OCoLC)900716277</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781614518044</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1515/9781614518044</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-B1597)427819</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)890071023</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">QA10.3</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">PHI011000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">511.324</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="q">SEPA</subfield><subfield code="2">rvk</subfield><subfield code="0">(DE-625)rvk/17610:</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Logic, Computation, Hierarchies /</subfield><subfield code="c">ed. by Vasco Brattka, Hannes Diener, Dieter Spreen.</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">[2014]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (414 p.)</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">4</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">The life and work of Victor L. Selivanov -- </subfield><subfield code="t">Tight extensions of T0-quasi-metric spaces -- </subfield><subfield code="t">On the strongly bounded turing degrees of simple sets -- </subfield><subfield code="t">Levels of discontinuity, limit-computability, and jump operators -- </subfield><subfield code="t">The wadge hierarchy of Petri Nets ω-languages -- </subfield><subfield code="t">Diophantine properties of brownian motion: recursive aspects -- </subfield><subfield code="t">The completeness of isomorphism -- </subfield><subfield code="t">Complexity issues for Preorders on finite labeled forests -- </subfield><subfield code="t">Boolean algebras of regular quasi-aperiodic languages -- </subfield><subfield code="t">A simple indeterminate infinite game -- </subfield><subfield code="t">Lipschitz and uniformly continuous Reducibilities on Ultrametric polish spaces -- </subfield><subfield code="t">ON THE EQUIVALENCE OF PARACONSISTENT AND EXPLOSIVE VERSIONS OF NELSON LOGIC -- </subfield><subfield code="t">COMPUTING CLEBSCH-GORDAN MATRICES WITH APPLICATIONS IN ELASTICITY THEORY -- </subfield><subfield code="t">AN APPROACH TO DESIGN OF AUTOMATA-BASED AXIOMATIZATION FOR PROPOSITIONAL PROGRAM AND TEMPORAL LOGICS (BY EXAMPLE OF LINEAR TEMPORAL LOGIC) -- </subfield><subfield code="t">PARTIAL NUMBERINGS AND PRECOMPLETENESS -- </subfield><subfield code="t">AN ISOMORPHISM THEOREM FOR PARTIAL NUMBERINGS -- </subfield><subfield code="t">TWO THEOREMS ON THE HAUSDORFF MEASURE OF REGULAR ω-LANGUAGES -- </subfield><subfield code="t">SOME NOTES ON THE UNIVERSALITY OF THREE-ORDERS ON FINITE LABELED POSETS -- </subfield><subfield code="t">INDEX</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">Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applications in computable analysis; descriptive set theory and topology; and the theory of omega-languages; as well as non-classical logics, such as temporal logic and paraconsistent logic. This volume will be of interest to mathematicians and logicians, as well as theoretical computer scientists.</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">Algebra, Boolean</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Petri nets</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Quasi-metric spaces</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computability Theory.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Descriptive Set Theory.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Non-Classical Logic.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">PHILOSOPHY / Logic.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Computability theory.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">descriptive set theory.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">non-classical logic.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Agyingi, Collins Amburo, </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">Ambos-Spies, Klaus, </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">Brattka, Vasco, </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">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">Duparc, Jacques, </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">Finkel, Olivier, </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">Fouché, Willem L., </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">Haihambo, Paulus, </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">Hertling, 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">Konovalov, 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">Kopczynski, Eryk, </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">Künzi, Hans-Peter A., </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">Motto Ros, >Luca, </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">Niwinski, Damian, </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">Odintsov, Sergey, </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">Ressayre, Jean-Pierre, </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">Schlicht, Philipp, </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">Selivanov, Victor, </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">Selivanova, Svetlana, </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">Shilov, Nikolay V., </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">Spreen, Dieter, </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">Staiger, Ludwig, </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">Sy-David, >Friedman, </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">Zhukov, Anton V., </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">de Brecht, Matthew, </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 Complete Package 2014</subfield><subfield code="z">9783110369526</subfield><subfield code="o">ZDB-23-DGG</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 Philosophy 2014</subfield><subfield code="z">9783110370393</subfield><subfield code="o">ZDB-23-DPH</subfield></datafield><datafield tag="776" ind1="0" ind2=" "><subfield code="c">EPUB</subfield><subfield code="z">9781614519409</subfield></datafield><datafield tag="776" ind1="0" ind2=" "><subfield code="c">print</subfield><subfield code="z">9781614517832</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1515/9781614518044</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://www.degruyter.com/isbn/9781614518044</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="3">Cover</subfield><subfield code="u">https://www.degruyter.com/document/cover/isbn/9781614518044/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">EBA_BACKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_CL_MTPY</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_MTPY</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_ESTMALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_SSHALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_STMALL</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">PDA12STME</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">PDA18STMEE</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA5EBK</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-DGG</subfield><subfield code="b">2014</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-DPH</subfield><subfield code="b">2014</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> |