UID:
edocfu_9958353588102883
Format:
1 online resource(x,414p.) :
,
illustrations.
Edition:
Electronic reproduction. Berlin/Boston : De Gruyter. Mode of access: World Wide Web.
Edition:
System requirements: Web browser.
Edition:
Access may be restricted to users at subscribing institutions.
ISBN:
9781614518044
Series Statement:
Ontos Mathematical Logic; 4
Content:
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.
Note:
Frontmatter --
,
Preface --
,
Contents --
,
The life and work of Victor L. Selivanov /
,
Tight extensions of T /
,
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.
,
Also available in print edition.
,
In English.
Additional Edition:
ISBN 9781614517832
Additional Edition:
ISBN 9781614518051
Language:
English
DOI:
10.1515/9781614518044
URL:
https://doi.org/10.1515/9781614518044
