Related papers: Pseudofinite and pseudocompact metric structures
Monadic second order logic is the expansion of first order logic by quantifiers ranging over unary relations. We study the shared monadic second order theory of finite linear orders, i.e. the pseudofinite monadic second order theory of…
The compactness theorem for a logic states, roughly, that the satisfiability of a set of well-formed formulas can be determined from the satisfiability of its finite subsets, and vice versa. Usually, proofs of this theorem depend on the…
Bing and Moise proved, independently, that any Peano continuum admits a length metric d. We treat non-degenerate Peano continua with a length metric as evolution systems instead of stationary objects. For any compact length space (X, d) we…
In the recent development in a various disciplines of physics, it is noted the need for including the deformed versions of the exponential functions. In this paper, we consider the deformations which have two purposes: to have them like…
Diversities have recently been developed as multiway metrics admitting clear and useful notions of hyperconvexity and tight span. In this note we consider the analytic properties of diversities, in particular the generalizations of uniform…
In contrast to classical strongly continuous semigroups, the study of bi-continuous semigroups comes with some freedom in the properties of the associated locally convex topology. This paper aims to give minimal assumptions in order to…
The possibility of self-consistent determination of instanton liquid parameters is discussed together with the definition of optimal pseudo-particle configurations and comparing the various pseudo-particle ensembles. The weakening of…
In this paper, we continue studying the properties of $\gamma$-semi-continuous and $\gamma$-semi-open functions introduced in [5].
We study the so-called closed and splitting subsemimodules and submodules of a given semimodule or module, respectively. We describe lattices of subsemimodules and of closed subsemimodules and posets of splitting subsemimodules and…
We characterize order preserving continuous surjections between compact linearly ordered spaces which admit an averaging operator, together with estimates of the norm of such an operator. This result is used to the study of strengthenings…
In this short note we present several infinite dimensional theorems which generalize corresponding facts from the finite dimensional differential inclusions theory.
We consider impulsive semiflows defined on compact metric spaces and deduce a variational principle. In particular, we generalize the classical notion of topological entropy to our setting of discontinuous semiflows.
We revisit evaluation of logical formulas that allow both uninterpreted relations, constrained to be finite, as well as an interpreted vocabulary over an infinite domain. This formalism was denoted embedded finite model theory in the past.…
We argue about the following concepts:(i)introduction of endo and exo-observer of a physical system (ii) possible relation between endo, exo-observer and continuum/discrete nature of the same system (iii)the distinction about two categories…
A number of topics involving metrics and measures are discussed, including some of the special structure associated with ultrametrics.
We describe dimensional entropies introduced in a previous work list some of their properties and give some new proofs. These entropies allowed the definition of entropy-expanding maps. We introduce a new notion of entropy-hyperbolicity for…
The goal of this paper is to provide some basic structure information on derivations in finite semirings.
This paper investigates the behavior of sets and functions at infinity by introducing new concepts, namely directional normal cones at infinity for unbounded sets, along with limiting and singular subdifferentials at infinity in the…
We study the interaction of structural subtyping with parametric polymorphism and recursively defined type constructors. Although structural subtyping is undecidable in this setting, we describe a notion of parametricity for type…
A sectionally pseudocomplemented poset P is one which has the top element and in which every principal order filter is a pseudocomplemented poset. The sectional pseudocomplements give rise to an implication-like operation on P which…