Related papers: Continuous first order logic for unbounded metric …
In this article, we extend several relation-theoretic notions to topological spaces. We introduce relation preserving contraction mapping into topological spaces and utilize the same to extend Banach contraction principle in topological…
We propose potential-based analyses for first-order algorithms applied to constrained and composite minimization problems. We first propose ``idealized'' frameworks for algorithms in the strongly and non-strongly convex cases and argue…
The concept of b-linear functional and its different types of continuity in linear n-normed space are presented and some of their properties are being established. We derive the Uniform Boundedness Principle and Hahn-Banach extension…
In this paper paraconsistent first-order logic LP^{#}_{\omega} with restricted modus ponens rule and infinite hierarchy levels of contradiction is proposed. Corresponding paraconsistent set theory KSth^{#}_{\omega} is discussed.Axiomatical…
We study the expressive power of the two-variable fragment of order-invariant first-order logic. This logic departs from first-order logic in two ways: first, formulas are only allowed to quantify over two variables. Second, formulas can…
In the nonlinear geometry of Banach spaces where the objects in the category are Banach spaces as in the linear case, the morphisms in the new setting are taken to comprise of certain nonlinear maps involving say, Lipschitz maps and, in…
The presence of temporal correlations in random movement trajectories is a widespread phenomenon across biological, chemical and physical systems. The ubiquity of persistent and anti-persistent motion in many natural and synthetic systems…
This paper provides two extensions of first order logic by `$\omega$-rules'. In each case we characterize the countable structures whose theory in the logic is categorical (has a unique model). In the one-sorted inferential $\omega$-logic,…
We introduce the notion of limiting theories, giving examples and providing a sufficient condition under which the first order theory of a structure is the limit of the first order theories of a collection of substructures. We also give a…
We study $\varepsilon$-stability in continuous logic. We first consider stability in a model, where we obtain a definability of types result with a better approximation than that in the literature. We also prove forking symmetry for…
In the present paper, the following convexity principle is proved: any closed convex multifunction, which is metrically regular in a certain uniform sense near a given point, carries small balls centered at that point to convex sets, even…
In this work, we develop the discrete solvability analysis for perturbed saddle-point problems in Banach spaces with forcing terms regularised by means of a projector constructed using the adjoint of a weighted Cl\'ement…
We construct a nonseparable Banach space $\mathcal X$ (actually, of density continuum) such that any uncountable subset $\mathcal Y$ of the unit sphere of $\mathcal X$ contains uncountably many points distant by less than $1$ (in fact, by…
In a previous paper (PeCa24), the notion of Dirac structure in finite dimension was extended to the convenient setting. In particular, we introduce the notion of \emph{partial Dirac structure on a convenient manifold} and look for which all…
We prove a Model Existence Theorem for a fully infinitary logic for metric structures. This result is based on a generalization of the notions of approximate formulas and approximate truth in normed structures introduced by Henson and…
This paper is part of the general project of proof mining, developed by Kohlenbach. By "proof mining" we mean the logical analysis of mathematical proofs with the aim of extracting new numerically relevant information hidden in the proofs.…
In this paper structure of infinite dimensional Banach spaces is studied by using an asymptotic approach based on stabilization at infinity of finite dimensional subspaces which appear everywhere far away. This leads to notions of…
We consider semiflows in general Banach spaces motivated by monotone cyclic feedback systems or differential equations with integer-valued Lyapunov functionals. These semiflows enjoy strong monotonicity properties with respect to cones of…
We present a framework for model theoretic forcing in a non-first-order context, and present some applications of this framework to Banach space theory.
We introduce a large class of mappings, called enriched contractions, which includes, amongst many other contractive type mappings, the Picard-Banach contractions and some nonexpansive mappings. We show that any enriched contraction has a…