Logic, computation, hierarchies / / edited by Vasco Brattka, Hannes Diener, Dieter Spreen

• Pubblicazione: Boston : , : De Gruyter, , [2014]; ©2014
• Descrizione fisica: 1 online resource (424 p.)
• Disciplina: 511.3
• Soggetto topico: Logic, Symbolic and mathematical; Algebra, Boolean; Quasi-metric spaces; Petri nets; Set theory
• Soggetto non controllato: Computability theory; descriptive set theory; non-classical logic
• Classificazione: CC 2600
• Persona (resp. second.): SelivanovVictor; BrattkaVasco <1966->; DienerHannes; SpreenDieter
• Note generali: Description based upon print version of record.
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: 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. -- INDEX
• Sommario/riassunto: 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.
• Titolo autorizzato: Logic, computation, hierarchies
• ISBN: 1-61451-940-4; 1-61451-804-1
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910787095703321
• Lo trovi qui: Univ. Federico II
• Serie: Ontos mathematical logic ; ; v. 4.