UID:
almahu_9949474038402882
Format:
1 online resource (414 p.)
ISBN:
9781614518044
,
9783110238570
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 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
,
Issued also in print.
,
Mode of access: Internet via World Wide Web.
,
In English.
In:
DGBA Backlist Complete English Language 2000-2014 PART1, De Gruyter, 9783110238570
In:
DGBA Backlist Philosophy 2000-2014 (EN), De Gruyter, 9783110238488
In:
DGBA Philosophy 2000 - 2014, De Gruyter, 9783110636949
In:
EBOOK PACKAGE Complete Package 2014, De Gruyter, 9783110369526
In:
EBOOK PACKAGE Philosophy 2014, De Gruyter, 9783110370393
Additional Edition:
ISBN 9781614519409
Additional Edition:
ISBN 9781614517832
Language:
English
Subjects:
Philosophy
Keywords:
Electronic books.
;
Aufsatzsammlung
;
Bibliografie
DOI:
10.1515/9781614518044
URL:
https://doi.org/10.1515/9781614518044
URL:
https://www.degruyter.com/isbn/9781614518044
URL:
Volltext
(lizenzpflichtig)