Logic, Computation, Hierarchies

, & (eds.)
De Gruyter (2014)
  Copy   BIBTEX

Abstract

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.

Categories

Keywords

Reprint years

ISBN(s)

9781614517832   9781614518044   1614517835

DOI

10.1515/9781614518044
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Chapters

Levels of discontinuity, limit-computability, and jump operators.de Brecht Matthew
Diophantine properties of brownian motion: recursive aspects.Willem L. Fouché
Tight extensions of T0-quasi-metric spaces.Hans-Peter A. Künzi, Paulus Haihambo & Collins Amburo Agyingi
Boolean algebras of regular quasi-aperiodic languages.Anton Konovalov
Lipschitz and uniformly continuous Reducibilities on Ultrametric polish spaces.Philipp Schlicht & Motto Ros Luca
Computing clebsch-gordan matrices with applications in elasticity theory.Svetlana Selivanova
An approach to design of automata-based axiomatization for propositional program and temporal logics.Nikolay V. Shilov
An isomorphism theorem for partial numberings.Dieter Spreen
Contents.Dieter Spreen, Hannes Diener & Vasco Brattka
Index.Dieter Spreen, Hannes Diener & Vasco Brattka
Preface.Dieter Spreen, Hannes Diener & Vasco Brattka
Partial numberings and precompleteness.Dieter Spreen
The life and work of Victor L. Selivanov.Dieter Spreen
Two theorems on the hausdorff measure of regular ω-languages.Ludwig Staiger
Some notes on the universality of three-orders on finite labeled posets.Anton V. Zhukov

Similar books and articles

Partial numberings and precompleteness.Dieter Spreen - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter. pp. 325-340.
An isomorphism theorem for partial numberings.Dieter Spreen - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter. pp. 341-382.
The life and work of Victor L. Selivanov.Dieter Spreen - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter. pp. 1-8.
On the equivalence of paraconsistent and explosive versions of Nelson logic.Sergey Odintsov - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter. pp. 259-272.
The completeness of isomorphism.Friedman Sy-David - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter. pp. 157-164.
Two theorems on the hausdorff measure of regular ω-languages.Ludwig Staiger - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter. pp. 383-392.
Diophantine properties of brownian motion: recursive aspects.Willem L. Fouché - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter. pp. 139-156.
Boolean algebras of regular quasi-aperiodic languages.Anton Konovalov - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter. pp. 191-204.
A simple indeterminate infinite game.Damian Niwinski & Eryk Kopczynski - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter. pp. 205-212.
Some notes on the universality of three-orders on finite labeled posets.Anton V. Zhukov - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter. pp. 393-410.
Levels of discontinuity, limit-computability, and jump operators.de Brecht Matthew - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter. pp. 79-108.
On the strongly bounded turing degrees of simple sets.Klaus Ambos-Spies - 2014 - In On the strongly bounded turing degrees of simple sets. pp. 23-78.
Computing clebsch-gordan matrices with applications in elasticity theory.Svetlana Selivanova - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter. pp. 273-296.
Complexity issues for Preorders on finite labeled forests.Victor Selivanov & Peter Hertling - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter. pp. 165-190.
Lipschitz and uniformly continuous Reducibilities on Ultrametric polish spaces.Philipp Schlicht & Motto Ros Luca - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter. pp. 213-258.

Analytics

Added to PP
2015-04-02

Downloads
14 (#934,671)

6 months
7 (#350,235)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references