Logic, Computation, Hierarchies

Published by De Gruyter 2014

Logic, Computation, Hierarchies

Edited by: Vasco Brattka , Hannes Diener and Dieter Spreen

Volume 4 in the series Ontos Mathematical Logic

https://doi.org/10.1515/9781614518044

Overview
Contents

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

Brattka_Contents_v1

Topics

Frontmatter Publicly Available Download PDF	i
Preface Requires Authentication Unlicensed Licensed Download PDF	vii
Contents Publicly Available Download PDF	ix
The life and work of Victor L. Selivanov Dieter Spreen Requires Authentication Unlicensed Licensed Download PDF	1
Tight extensions of T₀-quasi-metric spaces Collins Amburo Agyingi, Paulus Haihambo and Hans-Peter A. Künzi Requires Authentication Unlicensed Licensed Download PDF	9
On the strongly bounded turing degrees of simple sets Klaus Ambos-Spies Requires Authentication Unlicensed Licensed Download PDF	23
Levels of discontinuity, limit-computability, and jump operators Matthew de Brecht Requires Authentication Unlicensed Licensed Download PDF	79
The wadge hierarchy of Petri Nets ω-languages Jacques Duparc, Olivier Finkel and Jean-Pierre Ressayre Requires Authentication Unlicensed Licensed Download PDF	109
Diophantine properties of brownian motion: recursive aspects Willem L. Fouché Requires Authentication Unlicensed Licensed Download PDF	139
The completeness of isomorphism >Friedman Sy-David Requires Authentication Unlicensed Licensed Download PDF	157
Complexity issues for Preorders on finite labeled forests Peter Hertling and Victor Selivanov Requires Authentication Unlicensed Licensed Download PDF	165
Boolean algebras of regular quasi-aperiodic languages Anton Konovalov Requires Authentication Unlicensed Licensed Download PDF	191
A simple indeterminate infinite game Eryk Kopczynski and Damian Niwinski Requires Authentication Unlicensed Licensed Download PDF	205
Lipschitz and uniformly continuous Reducibilities on Ultrametric polish spaces >Luca Motto Ros and Philipp Schlicht Requires Authentication Unlicensed Licensed Download PDF	213
ON THE EQUIVALENCE OF PARACONSISTENT AND EXPLOSIVE VERSIONS OF NELSON LOGIC Sergey Odintsov Requires Authentication Unlicensed Licensed Download PDF	259
COMPUTING CLEBSCH-GORDAN MATRICES WITH APPLICATIONS IN ELASTICITY THEORY Svetlana Selivanova Requires Authentication Unlicensed Licensed Download PDF	273
AN APPROACH TO DESIGN OF AUTOMATA-BASED AXIOMATIZATION FOR PROPOSITIONAL PROGRAM AND TEMPORAL LOGICS (BY EXAMPLE OF LINEAR TEMPORAL LOGIC) Nikolay V. Shilov Requires Authentication Unlicensed Licensed Download PDF	297
PARTIAL NUMBERINGS AND PRECOMPLETENESS Dieter Spreen Requires Authentication Unlicensed Licensed Download PDF	325
AN ISOMORPHISM THEOREM FOR PARTIAL NUMBERINGS Dieter Spreen Requires Authentication Unlicensed Licensed Download PDF	341
TWO THEOREMS ON THE HAUSDORFF MEASURE OF REGULAR ω-LANGUAGES Ludwig Staiger Requires Authentication Unlicensed Licensed Download PDF	383
SOME NOTES ON THE UNIVERSALITY OF THREE-ORDERS ON FINITE LABELED POSETS Anton V. Zhukov Requires Authentication Unlicensed Licensed Download PDF	393
INDEX Requires Authentication Unlicensed Licensed Download PDF	411

(Deutsch)

Language: English
Publisher: De Gruyter
Audience: Academics, Institutes, Libraries
Pages
- Front matter: 10
- Main content: 414
Keywords: Computability theory; descriptive set theory; non-classical logic

eBook

Published: September 4, 2014
ISBN: 9781614518044

Hardcover

Published: July 28, 2014
ISBN: 9781614517832