Logic, computation, hierarchies /

Logic, computation, hierarchies /

Show other versions (3)

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...

Full description

Bibliographic Details
Corporate Author: De Gruyter
Other Authors: Agyingi, Collins Amburo (Contributor, https://id.loc.gov/vocabulary/relators/ctb), Ambos-Spies, Klaus (Contributor, https://id.loc.gov/vocabulary/relators/ctb), Brattka, Vasco (Editor, http://id.loc.gov/vocabulary/relators/edt), Brattka, Vasco, 1966- (Editor), Diener, Hannes (Editor, http://id.loc.gov/vocabulary/relators/edt), Duparc, Jacques (Contributor, https://id.loc.gov/vocabulary/relators/ctb), Finkel, Olivier (Contributor, https://id.loc.gov/vocabulary/relators/ctb), Fouché, Willem L. (Contributor, https://id.loc.gov/vocabulary/relators/ctb), Haihambo, Paulus (Contributor, https://id.loc.gov/vocabulary/relators/ctb), Hertling, Peter (Contributor, https://id.loc.gov/vocabulary/relators/ctb), Konovalov, Anton (Contributor, https://id.loc.gov/vocabulary/relators/ctb), Kopczynski, Eryk (Contributor, https://id.loc.gov/vocabulary/relators/ctb), Künzi, Hans-Peter A. (Contributor, https://id.loc.gov/vocabulary/relators/ctb), Motto Ros, >Luca (Contributor, https://id.loc.gov/vocabulary/relators/ctb), Niwiński, Damian (Contributor, https://id.loc.gov/vocabulary/relators/ctb), Odintsov, Sergey (Contributor, https://id.loc.gov/vocabulary/relators/ctb), Ressayre, J.-P (Jean-Pierre) (Contributor, https://id.loc.gov/vocabulary/relators/ctb), Schlicht, Philipp (Contributor, https://id.loc.gov/vocabulary/relators/ctb), Selivanov, V (Viktor) (Contributor, https://id.loc.gov/vocabulary/relators/ctb, honouree.), Selivanov, Victor (honouree), Selivanova, Svetlana (Contributor, https://id.loc.gov/vocabulary/relators/ctb), Shilov, Nikolay V. (Contributor, https://id.loc.gov/vocabulary/relators/ctb), Spreen, Dieter (Contributor, https://id.loc.gov/vocabulary/relators/ctb, Editor, http://id.loc.gov/vocabulary/relators/edt), Staiger, Ludwig (Contributor, https://id.loc.gov/vocabulary/relators/ctb), Sy-David, >Friedman (Contributor, https://id.loc.gov/vocabulary/relators/ctb), Zhukov, Anton V. (Contributor, https://id.loc.gov/vocabulary/relators/ctb), de Brecht, Matthew (Contributor, https://id.loc.gov/vocabulary/relators/ctb)
Format: Book
Language:English
Published: Berlin ; Boston : De Gruyter, [2014]
Boston : [2014]
Series:Ontos mathematical logic ; v. 4
Subjects:
Algebra, Boolean > Congresses
Algebra, Boolean
Logic, Symbolic and mathematical > Congresses
Logic, Symbolic and mathematical
Petri nets > Congresses
Petri nets
Quasi-metric spaces > Congresses
Quasi-metric spaces
Set theory > Congresses
Set theory
Computability Theory
Descriptive Set Theory
Non-Classical Logic
PHILOSOPHY / Logic
Computability theory
descriptive set theory
non-classical logic
Electronic books
Table of Contents:
  • 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

Similar Items