Logic, Computation, Hierarchies

Vasco Brattka, Hannes Diener, Dieter Spreen, Vasco Brattka, Hannes Diener, Dieter Spreen

• Publisher: De Gruyter
• Year: 2014
• eBook ISBN: 9781614519409
• Edition: 1
• Topic: Philosophy
• Subtopic: Applied Mathematics

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.

Table of contents

• Ontos Mathematical Logic
• Title Page
• Copyright Page
• Preface
• Table of 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