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!
|
LEADER | 07894nam a22012975i 4500 | ||
---|---|---|---|
001 | 9781614518044 | ||
003 | DE-B1597 | ||
005 | 20230228123812.0 | ||
006 | m|||||o||d|||||||| | ||
007 | cr || |||||||| | ||
008 | 230228t20142014gw fo d z eng d | ||
019 | |a (OCoLC)900716277 | ||
020 | |a 9781614518044 | ||
024 | 7 | |a 10.1515/9781614518044 |2 doi | |
035 | |a (DE-B1597)427819 | ||
035 | |a (OCoLC)890071023 | ||
040 | |a DE-B1597 |b eng |c DE-B1597 |e rda | ||
041 | 0 | |a eng | |
044 | |a gw |c DE | ||
050 | 4 | |a QA10.3 | |
072 | 7 | |a PHI011000 |2 bisacsh | |
082 | 0 | 4 | |a 511.324 |2 23 |
084 | |a CC 2600 |q SEPA |2 rvk |0 (DE-625)rvk/17610: | ||
245 | 0 | 0 | |a Logic, Computation, Hierarchies / |c ed. by Vasco Brattka, Hannes Diener, Dieter Spreen. |
264 | 1 | |a Berlin ; |a Boston : |b De Gruyter, |c [2014] | |
264 | 4 | |c ©2014 | |
300 | |a 1 online resource (414 p.) | ||
336 | |a text |b txt |2 rdacontent | ||
337 | |a computer |b c |2 rdamedia | ||
338 | |a online resource |b cr |2 rdacarrier | ||
347 | |a text file |b PDF |2 rda | ||
490 | 0 | |a Ontos Mathematical Logic , |x 2198-2341 ; |v 4 | |
505 | 0 | 0 | |t Frontmatter -- |t Preface -- |t Contents -- |t The life and work of Victor L. Selivanov -- |t Tight extensions of T0-quasi-metric spaces -- |t On the strongly bounded turing degrees of simple sets -- |t Levels of discontinuity, limit-computability, and jump operators -- |t The wadge hierarchy of Petri Nets ω-languages -- |t Diophantine properties of brownian motion: recursive aspects -- |t The completeness of isomorphism -- |t Complexity issues for Preorders on finite labeled forests -- |t Boolean algebras of regular quasi-aperiodic languages -- |t A simple indeterminate infinite game -- |t Lipschitz and uniformly continuous Reducibilities on Ultrametric polish spaces -- |t ON THE EQUIVALENCE OF PARACONSISTENT AND EXPLOSIVE VERSIONS OF NELSON LOGIC -- |t COMPUTING CLEBSCH-GORDAN MATRICES WITH APPLICATIONS IN ELASTICITY THEORY -- |t AN APPROACH TO DESIGN OF AUTOMATA-BASED AXIOMATIZATION FOR PROPOSITIONAL PROGRAM AND TEMPORAL LOGICS (BY EXAMPLE OF LINEAR TEMPORAL LOGIC) -- |t PARTIAL NUMBERINGS AND PRECOMPLETENESS -- |t AN ISOMORPHISM THEOREM FOR PARTIAL NUMBERINGS -- |t TWO THEOREMS ON THE HAUSDORFF MEASURE OF REGULAR ω-LANGUAGES -- |t SOME NOTES ON THE UNIVERSALITY OF THREE-ORDERS ON FINITE LABELED POSETS -- |t INDEX |
506 | 0 | |a restricted access |u http://purl.org/coar/access_right/c_16ec |f online access with authorization |2 star | |
520 | |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. | ||
530 | |a Issued also in print. | ||
538 | |a Mode of access: Internet via World Wide Web. | ||
546 | |a In English. | ||
588 | 0 | |a Description based on online resource; title from PDF title page (publisher's Web site, viewed 28. Feb 2023) | |
650 | 0 | |a Algebra, Boolean |v Congresses. | |
650 | 0 | |a Logic, Symbolic and mathematical |v Congresses. | |
650 | 0 | |a Petri nets |v Congresses. | |
650 | 0 | |a Quasi-metric spaces |v Congresses. | |
650 | 4 | |a Computability Theory. | |
650 | 4 | |a Descriptive Set Theory. | |
650 | 4 | |a Non-Classical Logic. | |
650 | 7 | |a PHILOSOPHY / Logic. |2 bisacsh | |
653 | |a Computability theory. | ||
653 | |a descriptive set theory. | ||
653 | |a non-classical logic. | ||
700 | 1 | |a Agyingi, Collins Amburo, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Ambos-Spies, Klaus, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Brattka, Vasco, |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
700 | 1 | |a Diener, Hannes, |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
700 | 1 | |a Duparc, Jacques, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Finkel, Olivier, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Fouché, Willem L., |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Haihambo, Paulus, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Hertling, Peter, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Konovalov, Anton, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Kopczynski, Eryk, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Künzi, Hans-Peter A., |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Motto Ros, >Luca, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Niwinski, Damian, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Odintsov, Sergey, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Ressayre, Jean-Pierre, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Schlicht, Philipp, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Selivanov, Victor, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Selivanova, Svetlana, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Shilov, Nikolay V., |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Spreen, Dieter, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Spreen, Dieter, |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
700 | 1 | |a Staiger, Ludwig, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Sy-David, >Friedman, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Zhukov, Anton V., |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a de Brecht, Matthew, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
773 | 0 | 8 | |i Title is part of eBook package: |d De Gruyter |t DGBA Backlist Complete English Language 2000-2014 PART1 |z 9783110238570 |
773 | 0 | 8 | |i Title is part of eBook package: |d De Gruyter |t DGBA Backlist Philosophy 2000-2014 (EN) |z 9783110238488 |
773 | 0 | 8 | |i Title is part of eBook package: |d De Gruyter |t DGBA Philosophy 2000 - 2014 |z 9783110636949 |o ZDB-23-GPH |
773 | 0 | 8 | |i Title is part of eBook package: |d De Gruyter |t EBOOK PACKAGE Complete Package 2014 |z 9783110369526 |o ZDB-23-DGG |
773 | 0 | 8 | |i Title is part of eBook package: |d De Gruyter |t EBOOK PACKAGE Philosophy 2014 |z 9783110370393 |o ZDB-23-DPH |
776 | 0 | |c EPUB |z 9781614519409 | |
776 | 0 | |c print |z 9781614517832 | |
856 | 4 | 0 | |u https://doi.org/10.1515/9781614518044 |
856 | 4 | 0 | |u https://www.degruyter.com/isbn/9781614518044 |
856 | 4 | 2 | |3 Cover |u https://www.degruyter.com/document/cover/isbn/9781614518044/original |
912 | |a 978-3-11-023848-8 DGBA Backlist Philosophy 2000-2014 (EN) |c 2000 |d 2014 | ||
912 | |a 978-3-11-023857-0 DGBA Backlist Complete English Language 2000-2014 PART1 |c 2000 |d 2014 | ||
912 | |a EBA_BACKALL | ||
912 | |a EBA_CL_MTPY | ||
912 | |a EBA_CL_PLTLJSIS | ||
912 | |a EBA_DGALL | ||
912 | |a EBA_EBACKALL | ||
912 | |a EBA_EBKALL | ||
912 | |a EBA_ECL_MTPY | ||
912 | |a EBA_ECL_PLTLJSIS | ||
912 | |a EBA_EEBKALL | ||
912 | |a EBA_ESSHALL | ||
912 | |a EBA_ESTMALL | ||
912 | |a EBA_SSHALL | ||
912 | |a EBA_STMALL | ||
912 | |a GBV-deGruyter-alles | ||
912 | |a PDA11SSHE | ||
912 | |a PDA12STME | ||
912 | |a PDA13ENGE | ||
912 | |a PDA17SSHEE | ||
912 | |a PDA18STMEE | ||
912 | |a PDA5EBK | ||
912 | |a ZDB-23-DGG |b 2014 | ||
912 | |a ZDB-23-DPH |b 2014 | ||
912 | |a ZDB-23-GPH |c 2000 |d 2014 |