04527nam 2200793 450 991078709570332120230803204650.01-61451-940-41-61451-804-110.1515/9781614518044(CKB)3710000000228910(EBL)1652547(SSID)ssj0001368329(PQKBManifestationID)11978559(PQKBTitleCode)TC0001368329(PQKBWorkID)11447983(PQKB)11783504(MiAaPQ)EBC1652547(DE-B1597)427819(OCoLC)890071023(OCoLC)900716277(DE-B1597)9781614518044(Au-PeEL)EBL1652547(CaPaEBR)ebr11006242(CaONFJC)MIL806143(EXLCZ)99371000000022891020140721h20142014 uy| 0engurnn#---uu|uutxtccrLogic, computation, hierarchies /edited by Vasco Brattka, Hannes Diener, Dieter SpreenBoston :De Gruyter,[2014]©20141 online resource (424 p.)Ontos mathematical logic,2198-2341 ;volume 4Description based upon print version of record.1-61451-783-5 Includes bibliographical references and index.Front matter --Preface --Contents --The life and work of Victor L. Selivanov /Spreen, Dieter --Tight extensions of T0-quasi-metric spaces /Agyingi, Collins Amburo / Haihambo, Paulus / Künzi, Hans-Peter A. --On the strongly bounded turing degrees of simple sets /Ambos-Spies, Klaus --Levels of discontinuity, limit-computability, and jump operators /de Brecht, Matthew --The wadge hierarchy of Petri Nets ω-languages /Duparc, Jacques / Finkel, Olivier / Ressayre, Jean-Pierre --Diophantine properties of brownian motion: recursive aspects /Fouché, Willem L. --The completeness of isomorphism /Sy-David, Friedman --Complexity issues for Preorders on finite labeled forests /Hertling, Peter / Selivanov, Victor --Boolean algebras of regular quasi-aperiodic languages /Konovalov, Anton --A simple indeterminate infinite game /Kopczynski, Eryk / Niwinski, Damian --Lipschitz and uniformly continuous Reducibilities on Ultrametric polish spaces /Motto Ros, Luca / Schlicht, Philipp --ON THE EQUIVALENCE OF PARACONSISTENT AND EXPLOSIVE VERSIONS OF NELSON LOGIC /Odintsov, Sergey --COMPUTING CLEBSCH-GORDAN MATRICES WITH APPLICATIONS IN ELASTICITY THEORY /Selivanova, Svetlana --AN APPROACH TO DESIGN OF AUTOMATA-BASED AXIOMATIZATION FOR PROPOSITIONAL PROGRAM AND TEMPORAL LOGICS (BY EXAMPLE OF LINEAR TEMPORAL LOGIC) /Shilov, Nikolay V. --PARTIAL NUMBERINGS AND PRECOMPLETENESS /Spreen, Dieter --AN ISOMORPHISM THEOREM FOR PARTIAL NUMBERINGS /Spreen, Dieter --TWO THEOREMS ON THE HAUSDORFF MEASURE OF REGULAR ω-LANGUAGES /Staiger, Ludwig --SOME NOTES ON THE UNIVERSALITY OF THREE-ORDERS ON FINITE LABELED POSETS /Zhukov, Anton V. --INDEXPublished 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.Ontos mathematical logic ;v. 4.Logic, Symbolic and mathematicalCongressesAlgebra, BooleanCongressesQuasi-metric spacesCongressesPetri netsCongressesSet theoryCongressesComputability theory.descriptive set theory.non-classical logic.Logic, Symbolic and mathematicalAlgebra, BooleanQuasi-metric spacesPetri netsSet theory511.3CC 2600SEPArvkSelivanov VictorBrattka Vasco1966-Diener HannesSpreen DieterMiAaPQMiAaPQMiAaPQBOOK9910787095703321Logic, computation, hierarchies3817511UNINA