Related papers: A Lopez-Escobar Theorem for Continuous Domains
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…
Godel's theory T can be understood as a theory of the simply-typed lambda calculus that is extended to include the constant 0, the successor function S, and the operator R_tau for primitive recursion on objects of type tau. It is known that…
In this paper, we employ quotients of Roe algebras as index containers for elliptic differential operators to study the existence problem of Riemannian metrics with positive scalar curvature on non-compact complete Riemannian manifolds. The…
Let G --> G' be an embedding of semisimple complex Lie groups, let B and B' be a pair of nested Borel subgroups, and let f:G/B --> G'/B' be the associated equivariant embedding of flag manifolds. We study the pullbacks of cohomologies of…
Louveau and Rosendal [5] have shown that the relation of bi-embeddability for countable graphs as well as for many other natural classes of countable structures is complete under Borel reducibility for analytic equivalence relations. This…
We investigate the stability and stabilization concepts for infinite dimensional time fractional differential linear systems in Hilbert spaces with Caputo derivatives. Firstly, based on a family of operators generated by strongly continuous…
On a compact connected Lie group $G$, we study the global solvability and the cohomology spaces of the differential complex associated with an essentially real involutive structure that is invariant under left translations. We prove that…
We provide a determinantal formula for tau-functions of the KP hierarchy in terms of rectangular, constant matrices $A$, $B$ and $C$ satisfying a rank one condition. This result is shown to generalize and unify many previous results of…
If $(X,d)$ is a Polish metric space of dimension $0$, then by Wadge's lemma, no more than two Borel subsets of $X$ can be incomparable with respect to continuous reducibility. In contrast, our main result shows that for any metric space…
A nonzero locally nilpotent linear derivation of the polynomial algebra K[X] in d variables over a field K of characteristic 0 is called a Weitzenboeck derivation. The classical theorem of Weitzenboeck states that the algebra of constants…
We study the continuous reducibility of isomorphism relations in the space of regresive functions in $\kappa^\kappa$. We show for inaccessible $\kappa$, that if $\mathcal{T}$ is a theory with less than $\kappa$ non-isomorphic models of size…
In the first part of this paper we revisit a classical topological theorem by Tischler (1970) and deduce a topological result about compact manifolds admitting a set of independent closed forms proving that the manifold is a fibration over…
A classical theorem of Fatou asserts that the Radon-Nikodym derivative of any finite positive Borel measure, $\mu$, with respect to Lebesgue measure on the complex unit circle, is recovered as the non-tangential limits of its Poisson…
We say that a set is exhaustible if it admits algorithmic universal quantification for continuous predicates in finite time, and searchable if there is an algorithm that, given any continuous predicate, either selects an element for which…
In this paper, we tailor-make new approximation operators inspired by rough set theory and specially suited for domain theory. Our approximation operators offer a fresh perspective to existing concepts and results in domain theory, but also…
We consider the problem of constructing Lyapunov functions for linear differential equations with delays. For such systems it is known that exponential stability implies the existence of a positive Lyapunov function which is quadratic on…
In one of our previous papers we proved that, for an infinite set A and p\in[1,\infty), the embedded version of the Lipscomb's space L(A) in l^{p}(A), p\in[1,\infty), with the metric induced from l^{p}(A), denoted by {\omega}_{p}^{A}, is…
We show that for any finite $p$-group $P$ of rank at least 2 and any algebraically closed field $k$ of characteristic $p$ the graded center $Z^*(\modbar(kP))$ of the stable module category of finite-dimensional $kP$-modules has infinite…
We present a construction of a certain infinite complete partial order (CPO) that differs from the standard construction used in Scott's denotational semantics. In addition, we construct several other infinite CPO's. For some of those, we…
In this paper we address the problem of well-posedness of multi-dimensional topological Euler-alignment models introduced in \cite{ST-topo}. The main result demonstrates local existence and uniqueness of classical solutions in class…