Related papers: Effective zero-dimensionality for computable metri…
We show in ZF that: (i) Every subcompact metrizable space is completely metrizable, and every completely metrizable space is countably subcompact. (ii) A metrizable space X=(X,T) is countably compact iff it is countably subcompact relative…
We construct a class of negative spin irreducible representations of the su(2) Lie algebra. These representations are infinite-dimensional and have an indefinite inner product. We analyze the decomposition of arbitrary products of positive…
We derive a systematic treatment of one-loop effective potentials for interacting scalar fields in curved spacetimes, providing a general formula valid in arbitrary geometries and explicit results for de Sitter and anti-de Sitter…
We prove various results in infinite-dimensional differential calculus which relate differentiability properties of functions and associated operator-valued functions (e.g., differentials). The results are applied in two areas: 1. in the…
We consider definable topological spaces of dimension one in o-minimal structures, and state several equivalent conditions for when such a topological space $\left(X,\tau\right)$ is definably homeomorphic to an affine definable space…
Based on the success of a well-known method for solving higher order linear differential equations, a study of two of the most important mathematical features of that method, viz. the null spaces and commutativity of the product of…
In this survey, my aim has been to discuss the use of sequences and countable sets in general topology. In this way I have been led to consider five different classes of topological spaces: first countable spaces, sequential spaces, Frechet…
Multidimensional cosmological models in the presence of a bare cosmological constant and a perfect fluid are investigated under dimensional reduction to 4-dimensional effective models. Stable compactification of the internal spaces is…
A generalization of metric space is presented which is shown to admit a theory strongly related to that of ordinary metric spaces. To avoid the topological effects related to dropping any of the axioms of metric space, first a new, and…
On two subspaces of the Bruhat-Tits tree, effective actions are calculated. The limits of these effective field theories are found to be the same conformal field theory over p-adic numbers when subspaces are taken to the boundary of the…
This paper presents categorical formulations of Turing, Medvedev, Muchnik, and Weihrauch reducibilities in Computability Theory, utilizing Lawvere doctrines. While the first notions lend themselves to a smooth categorical presentation,…
We derive four-dimensional effective theories for warped compactification of the ten-dimensional IIB supergravity. We show that these effective theories allow a much wider class of solutions than the original higher-dimensional theories.…
In computable analysis, sequences of rational numbers which effectively converge to a real number x are used as the (rho-) names of x. A real number x is computable if it has a computable name, and a real function f is computable if there…
A compact set has computable type if any homeomorphic copy of the set which is semicomputable is actually computable. Miller proved that finite-dimensional spheres have computable type, Iljazovi\'c and other authors established the property…
Isotropic scattering in various spatial dimensions is considered for arbitrary finite-range potentials using non-relativistic effective field theory. With periodic boundary conditions, compactifications from a box to a plane and to a wire,…
We present an application of elimination theory to the study of singularities over arbitrary fields, particularly to the open problem of resolution. A partial extension of a function, defining resolution of singularities over fields of…
Models of computations over the integers are equivalent from a computability and complexity theory point of view by the Church-Turing thesis. It is not possible to unify discrete-time models over the reals. The situation is unclear but…
We characterize the notion of definable compactness for topological spaces definable in o-minimal structures, answering questions of Peterzil and Steinhorn (1999) and Johnson (2018). Specifically, we prove the equivalence of various…
Spacetimes which are conformally related to reducible 1+3 spacetimes are considered. We classify these spacetimes according to the conformal algebra of the underlying reducible spacetime, giving in each case canonical expressions for the…
We introduce derivation depth-a computable metric of the reasoning effort needed to answer a query based on a given set of premises. We model information as a two-layered structure linking abstract knowledge with physical carriers, and…