| Description |
1 online resource (x, 413 pages) |
| Series |
Ontos Mathematical Logic ; v. 4 |
|
Ontos mathematical logic.
|
| Contents |
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 spacesON 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 |
| Summary |
<!Doctype html public ""-//w3c//dtd html 4.0 transitional//en""> <html><head> <meta content=""text/html; charset=iso-8859-1"" http-equiv=content-type> <meta name=generator content=""mshtml 8.00.6001.23644""></head> <body> 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 |
| Notes |
Includes index |
|
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 |
| Bibliography |
Includes bibliographical references and index |
| Notes |
Print version record |
| Subject |
Logic, Symbolic and mathematical -- Congresses
|
|
Algebra, Boolean -- Congresses
|
|
Quasi-metric spaces -- Congresses
|
|
Petri nets -- Congresses
|
|
Set theory -- Congresses
|
|
MATHEMATICS -- General.
|
|
Algebra, Boolean
|
|
Logic, Symbolic and mathematical
|
|
Petri nets
|
|
Quasi-metric spaces
|
|
Set theory
|
| Genre/Form |
Conference papers and proceedings
|
| Form |
Electronic book
|
| Author |
Diener, Hannes, editor
|
|
Spreen, Dieter, editor
|
| ISBN |
9781614518044 |
|
1614518041 |
|
9781614518051 |
|
161451805X |
|
9781614519409 |
|
1614519404 |
|
