Related papers: Continuous first order logic for unbounded metric …
We consider the question of continuity of limit sets for sequences of geometrically finite subgroups of isometry groups of rank-one symmetric spaces, and prove analogues of classical (Kleinian) theorems in this context. In particular we…
The original motivation for this paper was to provide an efficient quantitative analysis of convex infinite (or semi-infinite) inequality systems whose decision variables run over general infinite-dimensional (resp. finite-dimensional)…
Shape analysis concerns the problem of determining "shape invariants" for programs that perform destructive updating on dynamically allocated storage. In recent work, we have shown how shape analysis can be performed, using an abstract…
We study some sufficient conditions imposed on the sequence of martingale differences (m.d.) in the separable Banach spaces of continuous functions defined on the metric compact set for the Central Limit Theorem in this space. We taking…
We develop a logic which enables reasoning about single steps of non-deterministic parallel Abstract State Machines (ASMs). Our logic builds upon the unifying logic introduced by Nanchen and St\"ark for reasoning about hierarchical…
In this paper, we generalize the concept of unbounded norm (un) convergence: let $X$ be a normed lattice and $Y$ a vector lattice such that $X$ is an order dense ideal in $Y$; we say that a net $(y_\alpha)$ un-converges to $y$ in $Y$ with…
We establish new results and introduce new methods in the theory of measurable orbit equivalence, using bounded cohomology of group representations. Our rigidity statements hold for a wide (uncountable) class of groups arising from negative…
We present different extensions of the Banach contraction principle in the $G$-metric space setting. More precisely, we consider mappings for which the contractive condition is satisfied by a power of the mapping and for which the power…
Sets with atoms serve as an alternative to ZFC foundations for mathematics, where some infinite, though highly symmetric sets, behave in a finitistic way. Therefore, one can try to carry over analysis of the classical algorithms from finite…
In earlier work, we had introduced the Kantorovich probability monad on complete metric spaces, extending a construction due to van Breugel. Here we extend the Kantorovich monad further to a certain class of ordered metric spaces, by…
This paper is devoted to studying non-commensurate fractional order planar systems. Our contributions are to derive sufficient conditions for the global attractivity of non-trivial solutions to fractional-order inhomogeneous linear planar…
This paper is devoted to systematic studies of some extensions of first-order G\"odel logic. The first extension is the first-order rational G\"odel logic which is an extension of first-order G\"odel logic, enriched by countably many…
We describe how properties of metric groups and of unitary representations of metric groups can be presented in continuous logic. In particular we find $L_{\omega_1 \omega}$-axiomatization of amenability. We also show that in the case of…
We study the boundedness of averaging projections associated with symmetric Schauder bases in quasi-Banach spaces. Although this property is standard in the Banach setting, it is far from clear in the absence of local convexity and, indeed,…
Suitable extensions of the monadic second-order theory of k successors have been proposed in the literature to capture the notion of time granularity. In this paper, we provide the monadic second-order theories of downward unbounded layered…
This article generalizes the work of Ballmann and \'Swiatkowski to the case of Reflexive Banach spaces and uniformly convex Busemann spaces, thus giving a new fixed point criterion for groups acting on simplicial complexes.
We introduce a new diametral notion for points of the unit sphere of Banach spaces, that naturally complements the notion of Delta-points, but is weaker than the notion of Daugavet points. We prove that this notion can be used to provide a…
The applicability of classical Banach contraction mapping principle in solving diverse problems caught the attention of several researchers in various fields of science and engineering. Since its introduction, many extensions and…
Recent work by Abramsky and Brandenburger used sheaf theory to give a mathematical formulation of non-locality and contextuality. By adopting this viewpoint, it has been possible to define cohomological obstructions to the existence of…
We extend the theory of regularity structures [Hai14] to allow processes belonging to locally $m$-convex topological algebras. This extension includes processes in the locally $C^{*}$-algebras of [CHP25] used to localise singular stochastic…