Related papers: Listing the hyperarithmetical functions
The \emph{index set} of a computable structure $\mathcal{A}$ is the set of indices for computable copies of $\mathcal{A}$. We determine the complexity of the index sets of various mathematically interesting structures, including arbitrary…
Given a machine $U$, a $c$-short program for $x$ is a string $p$ such that $U(p)=x$ and the length of $p$ is bounded by $c$ + (the length of a shortest program for $x$). We show that for any standard Turing machine, it is possible to…
A class of rational functions characterized by some wonderful properties is studied. The properties that identify this class include simple algebra (their inverses can be expressed in radicals), simple topology (the total space of the…
Challenging the standard notion of totality in computable functions, one has that, given any sufficiently expressive formal axiomatic system, there are total functions that, although computable and "intuitively" understood as being total,…
The main focus of this paper is on the problem of relating an ideal $I$ in the polynomial ring $\mathbb Q[x_1, \dots, x_n]$ to a corresponding ideal in $\mathbb F_p[x_1,\dots, x_n]$ where $p$ is a prime number; in other words, the…
In this paper, we investigate the problem of synthesizing computable functions of infinite words over an infinite alphabet (data $\omega$-words). The notion of computability is defined through Turing machines with infinite inputs which can…
Let us have a family of ideals of holomorphic functions vanishing at N distinct points of a complex manifold, all tending to a single point. As is known, convergence of the ideals does not guarantee the convergence of the pluricomplex Green…
We provide explicit descriptions for the rational powers and Rees valuations of several classes of ideals invariant under natural actions of tori and products of general linear groups, in terms of polyhedra and lattice points. This allows…
We prove the following theorem: For a partially ordered set Q such that every countable subset has a strict upper bound, there is a forcing notion satisfying ccc such that, in the forcing model, there is a basis of the meager ideal of the…
The class of uniformly computable real functions with respect to a small subrecursive class of operators computes the elementary functions of calculus, restricted to compact subsets of their domains. The class of conditionally computable…
This paper investigates the application of the theoretical algebraic notion of a separable ring extension, in the realm of cyclic convolutional codes or, more generally, ideal codes. We work under very mild conditions, that cover all…
The Isbell, compact-open and point-open topologies on the set $C(X,\mathbb{R})$ of continuous real-valued maps can be represented as the dual topologies with respect to some collections $\alpha(X)$ of compact families of open subsets of a…
Let $p$ be a prime number. For a positive integer $n$ and a real number $\xi$, let $\lambda_n (\xi)$ denote the supremum of the real numbers $\lambda$ for which there are infinitely many integer tuples $(x_0, x_1, \ldots , x_n)$ such that…
Regular functions from infinite words to infinite words can be equivalently specified by MSO-transducers, streaming $\omega$-string transducers as well as deterministic two-way transducers with look-ahead. In their one-way restriction, the…
We consider the ring of real analytic functions defined on $[0,1]$, i.e. $$C^{\omega}[0,1] =\lbrace f :[0,1] \longrightarrow \mathbb{R} | f \text{ is analytic on } [0,1]\rbrace$$ In this article, we explore the nature of ideals in this…
A graph is called dominating if its vertices can be labelled with integers in such a way that for every function f: omega-> omega the graph contains a ray whose sequence of labels eventually exceeds f. We obtain a characterization of these…
Given a family $F$ of subsets of a group $G$ we describe the structure of its thin-completion $\tau^*(F)$, which is the smallest thin-complete family that contains $I$. A family $F$ of subsets of $G$ is called thin-complete if each $F$-thin…
We show that if there exists an integer subject to some congruence conditions that cannot be written as the sum of the norm of an ideal in $\mathbb{Z}[\exp(2\pi i/2^k)]$ and at most $k$ powers of $2$, $k\geq 3$, then there are infinitely…
Let $X$ be a completely regular topological space. We assign to each (set theoretic) ideal of $X$ an (algebraic) ideal of $C_B(X)$, the normed algebra of continuous bounded complex valued mappings on $X$ equipped with the supremum norm. We…
We give an exposition of Natural Topology (NToP), which highlights its advantages for exact computation. The NToP-definition of the real numbers (and continuous real functions) matches recent expert recommendations for exact real…