Related papers: Combinatorial Properties and Dependent choice in s…

For each $n\in\mathbb{N}$, let $[n]\phi$ mean "the sentence $\phi$ is true in all $\Sigma_{n+1}$-correct transitive sets." Assuming G\"odel's axiom $V = L$, we prove the following graded variant of Solovay's completeness theorem: the set of…

A result of Kaufmann shows that if $L_\alpha$ is countable, admissible and satisfies $\Pi_n\textsf{-Collection}$, then $\langle L_\alpha, \in \rangle$ has a proper $\Sigma_{n+1}$-elementary end extension. This paper investigates to what…

Employing the Lax pairs of the noncommutative discrete potential Korteweg--de Vries (KdV) and Hirota's KdV equations, we derive differential--difference equations that are consistent with these systems and serve as their generalised…

Classical finite association schemes lead to a finite-dimensional algebras which are generated by finitely many stochastic matrices. Moreover, there exist associated finite hypergroups. The notion of classical discrete association schemes…

We study invariant measures for random countable (finite or infinite) conformal iterated function systems (IFS) with arbitrary overlaps. We do not assume any type of separation condition. We prove, under a mild assumption of finite entropy,…

This paper makes significant progress towards resolving a conjecture relating strong forcing axioms like $PFA$ and the derived model at a limit of Woodin cardinals $\kappa$. In particular, using a concept called Covering Matrices, we show…

The time fractional ODEs are equivalent to convolutional Volterra integral equations with completely monotone kernels. We therefore introduce the concept of complete monotonicity-preserving ($\mathcal{CM}$-preserving) numerical methods for…

Let $A$ be a unital $C^*$-algebra and $\alpha$ be an injective, unital endomorphism of $A$. A covariant representation of $(A,\alpha)$ is a pair $(\pi,T)$ consisting of a $C^*$-representation $\pi$ of $A$ on a Hilbert space $H$ and a…

A relatively polynomially convex subset $V$ of a domain $\Omega$ has the extension property if for every polynomial $p$ there is a bounded holomorphic function $\phi$ on $\Omega$ that agrees with $p$ on $V$ and whose $H^\infty$ norm on…

We consider the problem of constructing a weakly-continuous mapping extending continuous mapping defined on a dense set of a topological space to the entire space. Theorem on necessary and sufficient conditions for the existence of such an…

In this paper, we consider certain partially hyperbolic diffeomorphisms with center of arbitrary dimension and obtain continuity properties of the topological entropy under $C^1$ perturbations. The systems considered have subexponential…

We determine the space of commuting symmetries of the Laplace operator on pseudo-Riemannian manifolds of constant curvature, and derive its algebra structure. Our construction is based on the Riemannian tractor calculus, allowing to…

We consider a class of multi-type particle systems having similar structure to the contact process and show that additivity is equivalent to the existence of a dual process, extending a result of Harris. We give two additional…

This paper studies structural consequences of supercompactness of $\omega_1$ under $\sf{ZF}$. We show that the Axiom of Dependent Choice $(\sf{DC})$ follows from "$\omega_1$ is supercompact". "$\omega_1$ is supercompact" also implies that…

We prove an extension of the well-known combinatorial-topological lemma of E. Sperner to the case of infinite-dimensional cubes. It is obtained as a corollary to an infinitary extension of the Lebesgue Covering Dimension Theorem.

The $p\times p$ matrix version of the $r$-KdV hierarchy has been recently treated as the reduced system arising in a Drinfeld-Sokolov type Hamiltonian symmetry reduction applied to a Poisson submanifold in the dual of the Lie algebra…

We give an alternative proof of several sharp commutator estimates involving Riesz transforms, Riesz potentials, and fractional Laplacians. Our methods only involve harmonic extensions to the upper half-space, integration by parts, and…

We describe a framework for proving consistency results about singular cardinals of arbitrary cofinality and their successors. This framework allows the construction of models in which the Singular Cardinals Hypothesis fails at a singular…

We develop a tighter implementation of basic PL topology, which keeps track of some combinatorial structure beyond PL homeomorphism type. With this technique we clarify some aspects of PL transversality and give combinatorial proofs of a…

This is a systematic study of isometries between noncommutative symmetric spaces. Let $\mathcal{M}$ be a semifinite von Neumann algebra (or an atomic von Neumann algebra with all atoms having the same trace) acting on a separable Hilbert…