Related papers: Topological models of arithmetic
We present and analyze a natural hierarchy of weak theories, develop analysis in them, and show that they are interpretable in bounded quantifier arithmetic $\text{I}\Delta_0$ (and hence in Robinson arithmetic Q). The strongest theories…
We classify those rational maps $f: \mathbb{P}^1 \to \mathbb{P}^1$ for which there exists a contravariant tensor $q$ which is parallel, i.e. such that $f^*q // q$, by proving that such maps preserve a parabolic orbifold.
Pach showed that every $d+1$ sets of points $Q_1,\dotsc,Q_{d+1} \subset \mathbb{R}^d$ contain linearly-sized subsets $P_i\subset Q_i$ such that all the transversal simplices that they span intersect. We show, by means of an example, that a…
Reeb spaces of continuous real-valued functions on topological spaces are fundamental and strong tools in investigating the spaces. The Reeb space is the natural quotient space of the space of the domain represented by connected components…
Let X be a complex, rationally connected, projective manifold. We show that X admits a modification X' that contains a quasi-line, ie a smooth rational curve whose normal bundle is a direct sum of copies of O_{P^1}(1). For manifolds…
We formalize the quantum arithmetic, i.e. a relationship between number theory and operator algebras. Namely, it is proved that rational projective varieties are dual to the $C^*$-algebras with real multiplication. Our construction fits all…
We show the existence of group-theoretic sections of the "etale-by-geometrically abelian" quotient of the arithmetic fundamental group of hyperbolic curves over $p$-adic local fields relative to a proper and flat model which are…
Is the universe finite or infinite, and what shape does it have? These fundamental questions, of which relatively little is known, are typically studied within the context of the standard model of cosmology where the universe is assumed to…
We investigate generalizations of the topology of the higher Cantor space on $2^\kappa$, based on arbitrary ideals rather than the bounded ideal on $\kappa$. Our main focus is on the topology induced by the nonstationary ideal, and we call…
Recently some Mathematician extend the notion of Baire one functions. We give some nice relations between this subring and some nice functions rings on a topological spaces.
This work deals with charged nontopological solutions that appear in relativistic models described by a single complex scalar field in two-dimensional spacetime. We study a model which supports novel analytical configurations of the Q-ball…
This article could be called "theme and variations" on Cantor's celebrated diagonal argument. Given a square nxn tableau T=(a_i^j) on a finite alphabet A, let L be the set of its row-words. The permanent Perm(T) is the set of words…
We study non-topological, charged planar walls (Q-walls) in the context of a particle physics model with supersymmetry broken by low-energy gauge mediation. Analytical properties are derived within the flat-potential approximation for the…
We define an extension of operator-valued positive definite functions from the real or complex setting to topological algebras, and describe their associated reproducing kernel spaces. The case of entire functions is of special interest,…
The ring of Fermat reals is an extension of the real field containing nilpotent infinitesimals, and represents an alternative to Synthetic Differential Geometry in classical logic. In the present paper, our first aim is to study this ring…
Let $\Gamma\subset \bar{\mathbb Q}^{\times}$ be a finitely generated multiplicative group of algebraic numbers. Let $\alpha_1,\ldots,\alpha_r\in\bar{\mathbb Q}^\times$ be algebraic numbers which are $\mathbb{Q}$-linearly independent and let…
Fair termination is the property of programs that may diverge "in principle" but that terminate "in practice", i.e. under suitable fairness assumptions concerning the resolution of non-deterministic choices. We study a conservative…
A Hausdorff topological space $X$ is called $\textit{superconnected}$ (resp. $\textit{coregular}$) if for any nonempty open sets $U_1,\dots U_n\subseteq X$, the intersection of their closures $\bar U_1\cap\dots\cap\bar U_n$ is not empty…
We study the existence of non-separable compact spaces that support a measure and are small from the topological point of view. In particular, we show that under Martin's axiom there is a non-separable compact space supporting a measure…
It is formulated conditions on functions $Q(x)$ and boundaries of domains under which every $Q$-homeomorphism admits continuous or homeomorphic extension to the boundary in metric spaces with measures.