Related papers: Compact manifolds with computable boundaries

For metrizable spaces we replace the notion of almost periodic homeomorphism with a similar notion and verify that the usual characterizations of almost periodic homeomorphisms of compact metric spaces are valid for all metrizable spaces.

We introduce a notion of computable randomness for infinite sequences that generalises the classical version in two important ways. First, our definition of computable randomness is associated with imprecise probability models, in the sense…

We study local connectedness, local accessibility and finite connectedness at the boundary, in relation to the compactness of the Mazurkiewicz completion of a bounded domain in a metric space. For countably connected planar domains we…

Our goal is to identify curvature conditions that distinguish Euclidean space in the case of open, contractible manifolds and the disk in the case of compact, contractible manifolds with boundary. First, we show that an open manifold that…

Although there is a somewhat standard formalization of computability on countable sets given by Turing machines, the same cannot be said about uncountable sets. Among the approaches to define computability in these sets, order-theoretic…

For a complete noncompact connected Riemannian manifold with bounded geometry, we prove the existence of isoperimetric regions in a larger space obtained by adding finitely many limit manifolds at infinity. As one of many possible…

A computable ring is a ring equipped with mechanical procedure to add and multiply elements. In most natural computable integral domains, there is a computational procedure to determine if a given element is prime/irreducible. However,…

We investigate the computability (in the sense of computable analysis) of the topological pressure $P_{\rm top}(\phi)$ on compact shift spaces $X$ for continuous potentials $\phi:X\to {\mathbb R}$. This question has recently been studied…

The image of a polynomial map is a constructible set. While computing its closure is standard in computer algebra systems, a procedure for computing the constructible set itself is not. We provide a new algorithm, based on algebro-geometric…

We investigate (2,1):1 structures, which consist of a countable set $A$ together with a function $f: A \to A$ such that for every element $x$ in $A$, $f$ maps either exactly one element or exactly two elements of $A$ to $x$. These…

Motivated by the analysis and geometry of metric-measure structures in infinite dimensions, we study the category of extended metric-topological spaces, along with many of its distinguished subcategories (such as the one of compact spaces).…

It is proved that if some boundary $B$ of a convex compact subset $X$ of a locally convex linear space has a countable network, then the convex compact space $X$ is metrizable. If the boundary $B$ is a Lindelof $\Sigma$-space, then the…

We investigate the computability-theoretic properties of valued fields, and in particular algebraically closed valued fields and $p$-adically closed valued fields. We give an effectiveness condition, related to Hensel's lemma, on a valued…

The main aim of the article is to show, in the absence of the Axiom of Choice, relationships between the following, independent of $\mathbf{ZF}$, statements: "Every countable product of compact metrizable spaces is separable (respectively,…

We study the space of Riemannian metrics with positive scalar curvature on a compact manifold with boundary. These metrics extend a fixed boundary metric and take a product structure on a collar neighbourhood of the boundary. We show that…

We initiate the effective metric structure theory of Keisler randomizations. We show that a classical countable structure $\mathcal{M}$ has a decidable presentation if and only if its Borel randomization $\mathcal{M}^{[0,1)}$ has a…

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…

The spaces of Riemannian metrics on a closed manifold $M$ are studied. On the space ${\mathcal M}$ of all Riemannian metrics on $M$ the various weak Riemannian structures are defined and the corresponding connections are studied. The space…

We show that any set of quotients with fixed Chern classes of a given coherent sheaf on a compact Kaehler manifold is bounded in a sense which we define. The result is proved by adapting Grothendieck's boundedness criterium expressed via…

We study the degree spectra and reverse-mathematical applications of computably enumerable and co-computably enumerable partial orders. We formulate versions of the chain/antichain principle and ascending/descending sequence principle for…