Related papers: Effective zero-dimensionality for computable metri…
Magnitude is a numerical invariant of finite metric spaces, recently introduced by T. Leinster, which is analogous in precise senses to the cardinality of finite sets or the Euler characteristic of topological spaces. It has been extended…
We axiomatize and generalize Markov's approach to the continuity problem for Type 1 computable functions, i.e. the problem of finding sufficient conditions on a computable topological space to obtain a theorem of the form "computable…
We formalize an existing computability-theoretic method of presenting first-order structures whose domains have the cardinality of the continuum. Work using these methods until now has emphasized their topological properties. We shift the…
With a simple generic approach, we develop a classification that encodes and measures the strength of completeness (or compactness) properties in various types of spaces and ordered structures. The approach also allows us to encode notions…
We present a systematic way to derive the four-dimensional effective theories for warped compactifications with fluxes and branes in the ten-dimensional type IIB supergravity. The ten-dimensional equations of motion are solved using the…
Generic computability has been studied in group theory and we now study it in the context of classical computability theory. A set A of natural numbers is generically computable if there is a partial computable function f whose domain has…
We consider an enlarged dimension reduction space in functional inverse regression. Our operator and functional analysis based approach facilitates a compact and rigorous formulation of the functional inverse regression problem. It also…
We introduce the notion of dynamical metric order of a continuous map on a compact metric space, study its basic properties, and compute it for several classes of maps. This concept which is a counterpart of the metric mean dimension with…
Finding classical canonical observables consists of taking a function space over phase space. For constrained theories, these functions must form zero brackets with a closed algebraic structure of first-class constraints. This brackets…
We consider asymptotic dimension of coarse spaces. We analyse coarse structures induced by metrisable compactifications. We calculate asymptotic dimension of coarse cell complexes. We calculate the asymptotic dimension of certain negatively…
The primary objective of the present paper is to develop the theory of quantization dimension of an invariant measure associated with an iterated function system consisting of finite number of contractive infinitesimal similitudes in a…
We initiate the study of computable presentations of real and complex C*-algebras under the program of effective metric structure theory. With the group situation as a model, we develop corresponding notions of recursive presentations and…
We review the developments of a recently proposed approach to study integrable theories in any dimension. The basic idea consists in generalizing the zero curvature representation for two-dimensional integrable models to space-times of…
Taking the covering dimension dim as notion for the dimension of a topological space, we first specify thenumber zdim_{T_0}(n) of zero-dimensional T_0-spaces on {1,...,n}$ and the number zdim(n) of zero-dimensional arbitrary topological…
The effective classical/quantum dynamics of a particle constrained on a closed line embedded in a higher dimensional configuration space is analyzed. By considering explicit examples it is shown how different reduction mechanisms produce…
In this paper, a computably definable predicate is defined and characterized. Then, it is proved that every separable infinite-dimensional Hilbert structure in an effectively presented language is computable. Moreover, every definable…
Dimensional types of metric scattered spaces are investigated. Revised proofs of Mazurkiewicz-Sierpi\'nski and Knaster-Urbanik theorems are presented. Embeddable properties of countable metric spaces are generalized onto uncountable metric…
The characterization of a six- (or seven)-dimensional internal manifold with metric as having positive, zero or negative curvature is expected to be an important aspect of warped compactifications in supergravity. In this context, Douglas…
We trace what happens with asymptotically free behavior of the running coupling in $\phi^{3}$ theory in six-dimensional space-time if to compactify two spatial dimensions on a 2D closed manifold. The result can be considered as an effective…
An important theme in modern inverse problems is the reconstruction of time-dependent data from only finitely many measurements. To obtain satisfactory reconstruction results in this setting it is essential to strongly exploit temporal…