Related papers: Continuous first order logic for unbounded metric …

The notion of bounded expansion captures uniform sparsity of graph classes and renders various algorithmic problems that are hard in general tractable. In particular, the model-checking problem for first-order logic is fixed-parameter…

We show that several classes of ordered structures (namely, convex linear orders, layered permutations, and compositions) admit first-order logical limit laws.

Over the past two decades several fragments of first-order logic have been identified and shown to have good computational and algorithmic properties, to a great extent as a result of appropriately describing the image of the standard…

Motivated by Tsirelson's implicitly defined pathological Banach space, T. Gowers asked whether explicitly defined Banach spaces must include either $c_0$ or some $\ell^p$. J. Iovino and P. Casazza gave an affirmative answer for first-order…

In this paper, methods of second order and higher order reverse mathematics are applied to versions of a theorem of Banach that extends the Schroeder-Bernstein theorem. Some additional results address statements in higher order arithmetic…

The paper is devoted to the study of Gromov-Hausdorff convergence and stability of irreversible metric-measure spaces, both in the compact and noncompact cases. While the compact setting is mostly similar to the reversible case developed by…

Recently, the different types of unbounded convergences (uo, un, uaw, uaw*) in Banach lattices were studied. In this paper, we study the continuous functionals with respect to unbounded convergences. We first characterize the continuity of…

We consider the problem of isometric embedding of metric spaces to the Banach spaces; and introduce and study the remarkable class of so-called linearly rigid metric spaces: these are the spaces that admit a unique, up to isometry, linearly…

We study first-order logic over unordered structures whose elements carry a finite number of data values from an infinite domain which can be compared wrt. equality. As the satisfiability problem for this logic is undecidable in general, in…

Combining first-order logic and probability has long been a goal of AI. Markov logic (Richardson & Domingos, 2006) accomplishes this by attaching weights to first-order formulas and viewing them as templates for features of Markov networks.…

A new sequential approach to investigations of structure of metric spaces at infinity is proposed. Criteria for finiteness and boundedness of metric spaces at infinity are found.

In this paper, we embed metric space endowed with a convex combination operation, named convex combination space, into a Banach space and the embedding preserves the structures of metric and convex combination. For random element taking…

Hilbert's Entscheidungsproblem has given rise to a broad and productive line of research in mathematical logic, where the classification process of decidable classes of first-order sentences represent only one of the remarkable results.…

In this paper the theory of uniformly convex metric spaces is developed. These spaces exhibit a generalized convexity of the metric from a fixed point. Using a (nearly) uniform convexity property a simple proof of reflexivity is presented…

Several recent papers investigated unbounded and statistical versions of order convergence and topology convergence in locally solid Riesz space. In this papers, we study the statistical unbounded order and topology convergence in Riesz…

In this paper, we extend the Banach contraction principle to metric-like as well as partial metric spaces (not essentially complete) equipped with an arbitrary binary relation. Thereafter, we derive some fixed point results which are…

Unbounded order convergence has lately been systematically studied as a generalization of almost everywhere convergence to the abstract setting of vector and Banach lattices. This paper presents a duality theory for unbounded order…

The classical Baldwin-Lachlan characterization of uncountably categorical theories is known to fail in continuous logic in that not every inseparably categorical theory has a strongly minimal set. Here we investigate these issues by…

This article was initially motivated by our goal to show that the Banach space $\mathbb{G}$ constructed by Gowers in [W. T. Gowers, A solution to Banach's hyperplane problem, Bull. London Math. Soc. 26 (1994), no. 6, 523-530] to settle…

In recent work, comonads and associated structures have been used to analyse a range of important notions in finite model theory, descriptive complexity and combinatorics. We extend this analysis to Hybrid logic, a widely-studied extension…