LEADER 04527nam 2200793 450 001 9910824174603321 005 20230803204650.0 010 $a1-61451-940-4 010 $a1-61451-804-1 024 7 $a10.1515/9781614518044 035 $a(CKB)3710000000228910 035 $a(EBL)1652547 035 $a(SSID)ssj0001368329 035 $a(PQKBManifestationID)11978559 035 $a(PQKBTitleCode)TC0001368329 035 $a(PQKBWorkID)11447983 035 $a(PQKB)11783504 035 $a(MiAaPQ)EBC1652547 035 $a(DE-B1597)427819 035 $a(OCoLC)890071023 035 $a(OCoLC)900716277 035 $a(DE-B1597)9781614518044 035 $a(Au-PeEL)EBL1652547 035 $a(CaPaEBR)ebr11006242 035 $a(CaONFJC)MIL806143 035 $a(EXLCZ)993710000000228910 100 $a20140721h20142014 uy| 0 101 0 $aeng 135 $aurnn#---uu|uu 181 $ctxt 182 $cc 183 $acr 200 00$aLogic, computation, hierarchies /$fedited by Vasco Brattka, Hannes Diener, Dieter Spreen 210 1$aBoston :$cDe Gruyter,$d[2014] 210 4$dİ2014 215 $a1 online resource (424 p.) 225 1 $aOntos mathematical logic,$x2198-2341 ;$vvolume 4 300 $aDescription based upon print version of record. 311 0 $a1-61451-783-5 320 $aIncludes bibliographical references and index. 327 $tFront matter --$tPreface --$tContents --$tThe life and work of Victor L. Selivanov /$rSpreen, Dieter --$tTight extensions of T0-quasi-metric spaces /$rAgyingi, Collins Amburo / Haihambo, Paulus / Künzi, Hans-Peter A. --$tOn the strongly bounded turing degrees of simple sets /$rAmbos-Spies, Klaus --$tLevels of discontinuity, limit-computability, and jump operators /$rde Brecht, Matthew --$tThe wadge hierarchy of Petri Nets ?-languages /$rDuparc, Jacques / Finkel, Olivier / Ressayre, Jean-Pierre --$tDiophantine properties of brownian motion: recursive aspects /$rFouché, Willem L. --$tThe completeness of isomorphism /$rSy-David, Friedman --$tComplexity issues for Preorders on finite labeled forests /$rHertling, Peter / Selivanov, Victor --$tBoolean algebras of regular quasi-aperiodic languages /$rKonovalov, Anton --$tA simple indeterminate infinite game /$rKopczynski, Eryk / Niwinski, Damian --$tLipschitz and uniformly continuous Reducibilities on Ultrametric polish spaces /$rMotto Ros, Luca / Schlicht, Philipp --$tON THE EQUIVALENCE OF PARACONSISTENT AND EXPLOSIVE VERSIONS OF NELSON LOGIC /$rOdintsov, Sergey --$tCOMPUTING CLEBSCH-GORDAN MATRICES WITH APPLICATIONS IN ELASTICITY THEORY /$rSelivanova, Svetlana --$tAN APPROACH TO DESIGN OF AUTOMATA-BASED AXIOMATIZATION FOR PROPOSITIONAL PROGRAM AND TEMPORAL LOGICS (BY EXAMPLE OF LINEAR TEMPORAL LOGIC) /$rShilov, Nikolay V. --$tPARTIAL NUMBERINGS AND PRECOMPLETENESS /$rSpreen, Dieter --$tAN ISOMORPHISM THEOREM FOR PARTIAL NUMBERINGS /$rSpreen, Dieter --$tTWO THEOREMS ON THE HAUSDORFF MEASURE OF REGULAR ?-LANGUAGES /$rStaiger, Ludwig --$tSOME NOTES ON THE UNIVERSALITY OF THREE-ORDERS ON FINITE LABELED POSETS /$rZhukov, Anton V. --$tINDEX 330 $aPublished 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. 410 0$aOntos mathematical logic ;$vv. 4. 606 $aLogic, Symbolic and mathematical$vCongresses 606 $aAlgebra, Boolean$vCongresses 606 $aQuasi-metric spaces$vCongresses 606 $aPetri nets$vCongresses 606 $aSet theory$vCongresses 610 $aComputability theory. 610 $adescriptive set theory. 610 $anon-classical logic. 615 0$aLogic, Symbolic and mathematical 615 0$aAlgebra, Boolean 615 0$aQuasi-metric spaces 615 0$aPetri nets 615 0$aSet theory 676 $a511.3 686 $aCC 2600$qSEPA$2rvk 702 $aSelivanov$b Victor 702 $aBrattka$b Vasco$f1966- 702 $aDiener$b Hannes 702 $aSpreen$b Dieter 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910824174603321 996 $aLogic, computation, hierarchies$94029917 997 $aUNINA