Weakly almost periodic functions, model-theoretic stability, and minimality of topological groups [PDF]
, 2013 We investigate the automorphism groups of $\aleph_0$-categorical structures and prove that they are exactly the Roelcke precompact Polish groups. We show that the theory of a structure is stable if and only if every Roelcke uniformly continuous function ...
Ben Yaacov, Itaï, Tsankov, Todor
core +2 more sources
On Projected Solutions for Quasi Equilibrium Problems with Non-self Constraint Map
, 2023 In a normed space setting, this paper studies the conditions under which the projected solutions to a quasi equilibrium problem with non-self constraint map exist.
Bianchi, Monica +2 more
core
ON SOME OPEN PROBLEMS IN BANACH SPACE THEORY [PDF]
, 2019 The main line of investigation of the present work is the study of some aspects in the analysis of the structure of the unit ball of (infinite-dimensional) Banach spaces.
T. Russo
core +1 more source
Commutative Banach algebras which satisfy a Bochner-Schoenberg-Eberlein type-theorem
, 1990 A class of commutative Banach algebras which satisfy a Bochner- Schoenberg-Eberlein-type inequality is introduced. Commutative C*-algebras, the disk algebra and the Hardy algebra on the open disk are examples.
Sin-Ei Takahasi, O. Hatori
semanticscholar +1 more source
Separate control over the local and the asymptotic behaviour in L_p spaces [PDF]
We introduce 2 parameter variants L_{p,q} of the Lebesgue spaces, to gain separate control on the asymptotic behaviour (p) and the local behaviour (q). Thus they behave with respect to p like the spaces ell_p and with respect to q like the spaces L_q on ...
Mertens, Jean-Francois, Rubinchik, Anna
core
Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users
International Conference on Interactive Theorem ProvingThe Coq Community Survey 2022 was an online public survey of users of the Coq proof assistant conducted during February 2022. Broadly, the survey asked about use of Coq features, user interfaces, libraries, plugins, and tools, views on renaming Coq and
Ana de Almeida Borges +8 more
semanticscholar +1 more source
Entropic Gromov-Wasserstein Distances: Stability, Algorithms, and Distributional Limits
, 2023 The Gromov-Wasserstein (GW) distance quantifies discrepancy between metric measure spaces, but suffers from computational hardness. The entropic Gromov-Wasserstein (EGW) distance serves as a computationally efficient proxy for the GW distance.
Goldfeld, Ziv +2 more
core
Uniqueness, non-degeneracy, and exact multiplicity of positive solutions for superlinear elliptic problems [PDF]
In this paper, we focus our attention on the positive solutions to second-order nonlinear ordinary differential equations of the form $u''+q(t)g(u)=0$, where $q$ is a sign-changing weight and $g$ is a superlinear function.
Feltrin, Guglielmo +1 more
core +2 more sources
$\rho$-arbitrage and $\rho$-consistent pricing for star-shaped risk measures
This paper revisits mean-risk portfolio selection in a one-period financial market, where risk is quantified by a star-shaped risk measure $\rho$. We make three contributions.
Herdegen, Martin, Khan, Nazem
core
Existence and multiplicity results for double phase problems with variable exponents [PDF]
The double phase operator is a differential operator that finds applications in several fields, among the others elasticity theory, biophysics, quantum physics, chemical reactions.
AMOROSO, Eleonora
core