Related papers: Pseudofinite and pseudocompact metric structures
We characterize 1-complemented subspaces of finite codimension in strictly monotone one-$p$-convex, $2<p<\infty,$ sequence spaces. Next we describe, up to isometric isomorphism, all possible types of 1-unconditional structures in sequence…
Given a compact pseudo-metric space, we associate to it upper and lower dimensions, depending only on the metric. Then we construct a doubling metric for which the measure of a dillated ball is closely related to these dimensions.
The paper introduces the concept of asynchronous pseudo-system. Its purpose is to correct/generalize/continue the study of the asynchronous systems (the models of the asynchronous circuits) that has been started in [1], [2].
We introduce the notion of hyperfiniteness for permutation actions of countable groups on countable sets and give a geometric and analytic characterization, similar to the known characterizations for amenable actions. We also answer a…
We study expressive power of continuous logic in classes of (locally compact) groups. We also describe locally compact groups which are separably categorical structures.
In this note, we extend the quasi-projective dimension of finite (that is, finitely generated) modules to homologically finite complexes, and we investigate some of homological properties of this dimension.
In this paper we examine two basic topological properties of partial metric spaces, namely compactness and completeness. Our main result claims that in these spaces compactness is equivalent to sequential compactness. We also show that…
We consider the question of simultaneous extension of (pseudo)metrics defined on nonempty closed subsets of a compact metrizable space. The main result is a counterpart of the result due to K\"unzi and Shapiro for the case of extension…
We investigate endomorphism semirings of a finite semilattice with one least element and one greatest element such that all the other elements form an antichain. We construct some new finite simple semirings. Keywords: endomorphism…
We show that any countable model of a model complete theory has an elementary extension with a "pseudofinite-like" quasidimension that detects dividing.
Differential completions and compactifications of differential spaces are introduced and investigated. The existence of the maximal differential completion and the maximal differential compactification is proved. A sufficient condition for…
The theory of finitely supported algebraic structures is related to Pitts theory of nominal sets (by equipping finitely supported sets with finitely supported internal algebraic laws). It represents a reformulation of Zermelo Fraenkel set…
We analyse various structural and order-theoretical aspects of abstract separation systems and partial lattices, as well as the relationship between the different submodularity conditions one can impose on them.
In this note we introduce and investigate the concepts of dual entwining structures and dual entwined modules. This generalizes the concepts of dual Doi-Koppinen structures and dual Doi-Koppinen modules introduced (in the infinite case over…
We establish the following model-theoretic characterization: profinite $L$-structures, the cofiltered limits of finite $L$-structures,are retracts of ultraproducts of finite $L$-structures. As a consequence, any elementary class of…
We give an example of two ordered structures M, N in the same language L with the same universe, the same order and admitting the same one-variable definable subsets such that M is a model of the common theory of o-minimal L-structures and…
An algebraic proof is presented for the finite strong standard completeness of involutive uninorm logic with fixed point. The result may provide a first step towards settling the open standard completeness problem for involutive uninorm…
We define the continuous modeling property for first-order structures and show that a first-order structure has the continuous modelling property if and only if its age has the embedding Ramsey property. We use generalized indiscernible…
We introduce the concept of $\it{ startpoint}$ and $\it{endpoint}$ for multivalued maps defined on a quasi-pseudometric space. We investigate the relation between these new concepts and the existence of fixed points for these set valued…
One of the main claims of the paper is that Dirac's calculus and broader theories of physics can be treated as theories written in the language of Continuous Logic. Establishing its true interpretation (model) is a model theory problem. The…