相关论文: ${\Sigma}^0_3$ determinacy and ${\mathbf{\Pi}}^1_2…

In this paper we present mutual coinduction as a dual of mutual induction and also as a generalization of standard coinduction. In particular, we present a precise formal definition of mutual induction and mutual coinduction. In the process…

We show that natural noncommutative gauge theory models on $\mathbb{R}^3_\lambda$ can accommodate gauge invariant harmonic terms, thanks to the existence of a relationship between the center of $\mathbb{R}^3_\lambda$ and the components of…

Let $M$ be a compact manifold without boundary equipped with a Riemannian metric $g$ of negative curvature. In this paper, we introduce the marked Poincar\'e determinant (MPD), a homothety invariant of $g$ depending on differentiable…

Using PL-methods, we prove the Marden's conjecture that a hyperbolic 3-manifold $M$ with finitely generated fundamental group and with no parabolics are topologically tame. Our approach is to form an exhaustion $M_i$ of $M$ and modify the…

Let $L$ be a countable language. We characterize, in terms of definable closure, those countable theories $\Sigma$ of $\mathcal{L}_{\omega_1, \omega}(L)$ for which there exists an $S_\infty$-invariant probability measure on the collection…

Fix a finite group $G$. We analyze the computational complexity of the problem of counting homomorphisms $\pi_1(X) \to G$, where $X$ is a topological space treated as computational input. We are especially interested in requiring $G$ to be…

In this paper we provide sufficient conditions that ensure the monotonicity, respectively the global injectivity of an operator. Further, some new analytical conditions that assure the injectivity/univalence of a complex function of one…

In the previous paper, the author showed that for a smooth family $X \to \mathbb{X} \to B$ of a homotopy $K3$ surface, the obstruction for the tangent bundle along the fibers $T_B \mathbb{X}$ to have a spin structure is canonically…

In theorem provers based on dependent type theory such as Coq and Lean, induction is a fundamental proof method and induction tactics are omnipresent in proof scripts. Yet the ergonomics of existing induction tactics are not ideal: they do…

For any two-bridge link or 3-tangle Montesinos link $L\subset S^3$ (including knot), this paper proves that $\pi_1(S^3-L)$ is profinitely rigid among the fundamental groups of compact orientable 3-manifolds.

We construct here an iterative evaluation of all PR map codes: progress of this iteration is measured by descending complexity within "Ordinal" O := N[\omega] of polynomials in one indeterminate, ordered lexicographically. Non-infinit…

As is well known, Buss' theory of bounded arithmetic $S^{1}_{2}$ proves $\Sigma_{0}^{b}(\Sigma_{1}^{b})-LIND$; however, we show that Allen's $D_{2}^{1}$ does not prove $\Sigma_{0}^{b}(\Sigma_{1}^{b})-LLIND$ unless $P = NC$. We also give…

We validate the Timoshenko beam model as an approximation of the linear-elasticity model of a three-dimensional beam-like body. Our validation is achieved within the framework of $\Gamma$-convergence theory, in two steps: firstly, we…

We show that the space of metrics of positive scalar curvature on any 3-manifold is either empty or contractible. Second, we show that the diffeomorphism group of every 3-dimensional spherical space form deformation retracts to its isometry…

We give the first result for agnostically learning Single-Index Models (SIMs) with arbitrary monotone and Lipschitz activations. All prior work either held only in the realizable setting or required the activation to be known. Moreover, we…

We improve upon Huntington's affine geometry by showing that his independence proofs can be, in some cases, simplified. We carry out a systematic investigation of the strict notion of betweenness that Huntington employs (the three arguments…

We study the inverse problem in Optical Tomography of determining the optical properties of a medium $\Omega\subset\mathbb{R}^n$, with $n\geq 3$, under the so-called diffusion approximation. We consider the time-harmonic case where $\Omega$…

We establish the continuity of the Markovian semigroup associated with strong solutions of the stochastic 3D Primitive Equations, and prove the existence of an invariant measure. The proof is based on new moment bounds for strong solutions.…

Scott showed that for every countable structure $\mathcal{A}$, there is a sentence of the infinitary logic $\mathcal{L}_{\omega_1\omega}$, called a Scott sentence for $\mathcal{A}$, whose models are exactly the isomorphic copies of…

We prove the existence of a finite set of moves sufficient to relate any two representations of the same 3-manifold as a 4-fold simple branched covering of S^3. We also prove a stabilization result: after adding a fifth trivial sheet two…