Page 1 Next

Displaying 1 – 20 of 176

Showing per page

Abstract β -expansions and ultimately periodic representations

Michel Rigo, Wolfgang Steiner (2005)

Journal de Théorie des Nombres de Bordeaux

For abstract numeration systems built on exponential regular languages (including those coming from substitutions), we show that the set of real numbers having an ultimately periodic representation is ( β ) if the dominating eigenvalue β > 1 of the automaton accepting the language is a Pisot number. Moreover, if β is neither a Pisot nor a Salem number, then there exist points in ( β ) which do not have any ultimately periodic representation.

Computable categoricity versus relative computable categoricity

Rodney G. Downey, Asher M. Kach, Steffen Lempp, Daniel D. Turetsky (2013)

Fundamenta Mathematicae

We study the notion of computable categoricity of computable structures, comparing it especially to the notion of relative computable categoricity and its relativizations. We show that every 1 decidable computably categorical structure is relatively Δ⁰₂ categorical. We study the complexity of various index sets associated with computable categoricity and relative computable categoricity. We also introduce and study a variation of relative computable categoricity, comparing it to both computable...

Hierarchies of function classes defined by the first-value operator

Armin Hemmerling (2008)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

The first-value operator assigns to any sequence of partial functions of the same type a new such function. Its domain is the union of the domains of the sequence functions, and its value at any point is just the value of the first function in the sequence which is defined at that point. In this paper, the first-value operator is applied to establish hierarchies of classes of functions under various settings. For effective sequences of computable discrete functions, we obtain a hierarchy connected...

Hierarchies of function classes defined by the first-value operator

Armin Hemmerling (2007)

RAIRO - Theoretical Informatics and Applications

The first-value operator assigns to any sequence of partial functions of the same type a new such function. Its domain is the union of the domains of the sequence functions, and its value at any point is just the value of the first function in the sequence which is defined at that point. In this paper, the first-value operator is applied to establish hierarchies of classes of functions under various settings. For effective sequences of computable discrete functions, we obtain a hierarchy connected...

Currently displaying 1 – 20 of 176

Page 1 Next