Related papers: A Lopez-Escobar Theorem for Continuous Domains

Let $A$ be a finite or countable alphabet and let $\theta$ be literal (anti)morphism onto $A^*$ (by definition, such a correspondence is determinated by a permutation of the alphabet). This paper deals with sets which are invariant under…

We propose a set theory strong enough to interpret powerful type theories underlying proof assistants such as LEGO and also possibly Coq, which at the same time enables program extraction from its constructive proofs. For this purpose, we…

This paper investigates the application of KAM theory to the stochastic nonlinear Schr\"{o}dinger equation on infinite lattices, focusing on the stability of low-dimensional invariant tori in the sense of most probable paths. For…

We prove a theorem that computes, for any augmented operad $\mathcal{O}$, the stable homology of the Lie algebra of derivations of the free algebra $\mathcal{O}(V)$ with twisted bivariant coefficients (here stabilization occurs as…

We introduce minimally expansive and GH-stable points for homeomorphisms on metric spaces and $\mu$-uniformly expansive, $\mu$-shadowable and strong $\mu$-topologically stable points for Borel measures (with respect to a homeomorphism on a…

The paper studies computability-theoretic aspects of topological $T_0$-spaces. We introduce effective versions of the notions of a countable $c$-poset and a (second-countable) topological space with base. Based on this, we prove an…

We focus on Borel measures that have a globally subanalytic density function. We prove, given such a measure $\mu$ on a set $A$ and a globally subanalytic mapping $\Phi:A\to \Omega$, with $\Omega$ bounded open subset of $\mathbb{R}^n$, a…

We consider ergodic $\mathrm{Sym}(\mathbb{N})$-invariant probability measures on the space of $L$-structures with domain $\mathbb{N}$ (for $L$ a countable relational language), and call such a measure a properly ergodic structure when no…

As mathematical induction is applied to prove statements on natural numbers, {\it continuous induction} (or, {\it real induction}) is a tool to prove some statements in real analysis.(Although, this comparison is somehow an overstatement.)…

In this paper we present some extensions of the celebrated finite point conformal compactification theorem of Huber \cite{Hu57} for complete open surfaces to general dimensions based on the n-Laplace equations in conformal geometry. We are…

Let $X$ be a smooth algebraic variety endowed with an action of a finite group $G$ such that there exists the geometric quotient $\pi_X:X\to X/G$. We characterize rational tensor fields $\tau$ on $X/G$ such that the {\it pull back} of $\tau…

One fruitful motivating principle of much research on the family of integrable systems known as ``Toda lattices'' has been the heuristic assumption that the periodic Toda lattice in an affine Lie algebra is directly analogous to the…

In the present paper we obtain a new homological version of the implicit function theorem and some versions of the Darboux theorem. Such results are proved for continuous maps on topological manifolds. As a consequence, some versions of…

We prove a Krieger like embedding theorem for asymptotically expansive systems with the small boundary property. We show that such a system $(X; T)$ embeds in the $K$-full shift with $h_{top}(T) < \log K $ and $\sharp Per_n(X; T) \leq…

It is well-known that when a positively expansive dynamical system is invertible then its underlying space is finite. C.Morales has introduced a decade ago a natural way to generalize positive expansiveness, by introducing other properties…

We introduce a category B of bounded modules for the toroidal Lie algebras and study irreducible modules in B. We show that one of the irreducible modules in this category, L(T_0), admits a structure of a vertex operator algebra. We prove…

In this paper we show how to combine different techniques from Commutative Algebra and a systematic use of a Computer Algebra System (in our case mainly CoCoA) in order to explicitly construct Cohen-Macaulay domains, which are standard…

Topological string theory near the conifold point of a Calabi-Yau threefold gives rise to factorially divergent power series which encode the all-genus enumerative information. These series lead to infinite towers of singularities in their…

In this paper, we introduce the notion of completely non-trivial module of a Lie conformal algebra. By this notion, we classify all finite irreducible modules of a class of $\mathbb{Z}^+$-graded Lie conformal algebras…

We prove that if $\rho$ is an adapted positive definite function in the Fourier--Stieltjes algebra $B(G)$ of a locally compact group $G$ with $\|\rho\|_{B(G)}=1$, then the iterated powers $(\rho^n)$ converge to zero in the weak* topology…