Home Philosophy Logic, Computation, Hierarchies
book: Logic, Computation, Hierarchies
Book
Licensed
Unlicensed Requires Authentication

Logic, Computation, Hierarchies

  • Edited by: , and
Language: English
Published/Copyright: 2014
Download eBook (PDF) Download eBook (EPUB)
Become an author with De Gruyter Brill
Explore this Subject How to publish with us
Ontos Mathematical Logic
This book is in the series
Volume 4 | Ontos Mathematical Logic

About this book

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.

Author / Editor information

Brattka, Univs. Bundeswehr München and Cape Town; Diener, Univs. Siegen and Canterbury, NZ; Spreen, Univs. Siegen and South Africa.

Supplementary Materials

Topics

  • Publicly Available

    Frontmatter

    i
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    Preface

    vii
    Download PDF
  • Publicly Available

    Contents

    ix
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    The life and work of Victor L. Selivanov

    1
    Dieter Spreen
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    Tight extensions of T0-quasi-metric spaces

    9
    Collins Amburo Agyingi, Paulus Haihambo and Hans-Peter A. Künzi
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    On the strongly bounded turing degrees of simple sets

    23
    Klaus Ambos-Spies
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    Levels of discontinuity, limit-computability, and jump operators

    79
    Matthew de Brecht
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    The wadge hierarchy of Petri Nets ω-languages

    109
    Jacques Duparc, Olivier Finkel and Jean-Pierre Ressayre
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    Diophantine properties of brownian motion: recursive aspects

    139
    Willem L. Fouché
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    The completeness of isomorphism

    157
    >Friedman Sy-David
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    Complexity issues for Preorders on finite labeled forests

    165
    Peter Hertling and Victor Selivanov
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    Boolean algebras of regular quasi-aperiodic languages

    191
    Anton Konovalov
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    A simple indeterminate infinite game

    205
    Eryk Kopczynski and Damian Niwinski
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    Lipschitz and uniformly continuous Reducibilities on Ultrametric polish spaces

    213
    >Luca Motto Ros and Philipp Schlicht
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    ON THE EQUIVALENCE OF PARACONSISTENT AND EXPLOSIVE VERSIONS OF NELSON LOGIC

    259
    Sergey Odintsov
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    COMPUTING CLEBSCH-GORDAN MATRICES WITH APPLICATIONS IN ELASTICITY THEORY

    273
    Svetlana Selivanova
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    AN APPROACH TO DESIGN OF AUTOMATA-BASED AXIOMATIZATION FOR PROPOSITIONAL PROGRAM AND TEMPORAL LOGICS (BY EXAMPLE OF LINEAR TEMPORAL LOGIC)

    297
    Nikolay V. Shilov
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    PARTIAL NUMBERINGS AND PRECOMPLETENESS

    325
    Dieter Spreen
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    AN ISOMORPHISM THEOREM FOR PARTIAL NUMBERINGS

    341
    Dieter Spreen
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    TWO THEOREMS ON THE HAUSDORFF MEASURE OF REGULAR ω-LANGUAGES

    383
    Ludwig Staiger
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    SOME NOTES ON THE UNIVERSALITY OF THREE-ORDERS ON FINITE LABELED POSETS

    393
    Anton V. Zhukov
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    INDEX

    411
    Download PDF

Publishing information
Pages and Images/Illustrations in book
eBook published on:
September 4, 2014
eBook ISBN:
9781614518044
Hardcover published on:
July 28, 2014
Hardcover ISBN:
9781614517832
Pages and Images/Illustrations in book
Front matter:
10
Main content:
414
https://doi.org/10.1515/9781614518044
eBook ISBN: 9781614518044
Hardcover ISBN: 9781614517832
Keywords for this book
Computability theory; descriptive set theory; non-classical logic
Audience(s) for this book
Academics, Institutes, Libraries
Safety & product resources
Sign up now to receive a 20% welcome discount
Institutional Access
How does access work?
Winner of the OpenAthens UX Award 2026
Winner of the OpenAthens UX Award 2026
Have an idea on how to improve our website?
Please write us.
© 2026 De Gruyter Brill
Downloaded on 20.3.2026 from https://www.degruyterbrill.com/document/doi/10.1515/9781614518044/html
Scroll to top button