Related papers: Countability conditions in locally solid convergen…

We show that the topology of pointwise convergence on scattered spaces is compatible with the group structure of their homeomorphism group. We then establish a few topological properties of the homeomorphism group of the first uncountable…

In this paper we find sufficient and necessary conditions under which vector lattice $C(X)$ and its sublattices $C_b(X)$, $C_0(X)$ and $C_c(X)$ have the countable sup property. It turns out that the countable sup property is tightly…

We study linearly ordered spaces which are Valdivia compact in their order topology. We find an internal characterization of these spaces and we present a counter-example disproving a conjecture posed earlier by the first author. The…

We carry on a more detailed investigation of the composition of locally solid convergences as introduced in [BCTvdW24], as well as the corresponding notion of idempotency considered in [Bil23]. In particular, we study the interactions…

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

We show that a linearly ordered topological space is initially \lambda-compact if and only if it is \lambda-bounded, that is, every set of cardinality $\leq \lambda$ has compact closure. As a consequence, every product of initially…

We answer several questions of V. Tka\v{c}uk from [Point-countable $\pi$-bases in first countable and similar spaces, Fund. Math. 186 (2005), pp. 55--69.] by showing that (1) there is a ZFC example of a first countable, 0-dimensional…

In this paper, we introduce the statistically multiplicative convergent sequences in locally solid Riesz algebras with respect to the algebra multiplication and the solid topology. We study on this concept and we give the notion of…

We prove that the free locally convex space $L(X)$ over a metrizable space $X$ has countable tightness if and only if $X$ is separable.

We present some examples of locally conformal symplectic structures of the first kind on compact nilmanifolds which do not admit Vaisman metrics. One of these examples does not admit locally conformal K\"ahler metrics and all the structures…

We deal with the random combinatorial structures called assemblies. By weakening the logarithmic condition which assures regularity of the number of components of a given order, we extend the notion of logarithmic assemblies. Using the…

We investigate infinite versions of vector and affine space partition results, and thus obtain examples and a counterexample for a partition problem for relational structures. In particular we provide two (related) examples of an age…

We show that the first homology group of a locally connected compact metric space is either uncountable or is finitely generated. This is related to Shelah's well-known result which shows that the fundamental group of such a space satisfies…

We show that Morley's theorem on the number of countable models of a countable first-order theory becomes an undecidable statement when extended to second-order logic. More generally, we calculate the number of equivalence classes of…

In this paper, we investigate the sobriety of weakly first-countable spaces and give some sufficient conditions that the Scott topologies of the open set lattices are sober. The main results are: (1) Let $P$ and $Q$ be two posets. If…

We introduce the property of countable separation for a locally convex Hausdorff space $X$ and relate it to the existence of a metrizable coarser topology. Building on this, we demonstrate how the separability of $X$ is equivalent to the…

Continuous first-order logic is used to apply model-theoretic analysis to analytic structures (e.g. Hilbert spaces, Banach spaces, probability spaces, etc.). Classical computable model theory is used to examine the algorithmic structure of…

The main aim of the present note is to consider bounded orthomorphisms between locally solid vector lattices. We establish a version of the remarkable Zannen theorem regarding equivalence between orthomomorphisms and the underlying vector…

We introduce the concept of a class of graphs, or more generally, relational structures, being locally tree-decomposable. There are numerous examples of locally tree-decomposable classes, among them the class of planar graphs and all…

Mittag-Leffler condition ensures the exactness of the inverse limit of short exact sequences indexed on a partially ordered set $(I,\leq)$ admitting a $countable$ cofinal subset. We extend Mittag-Leffler condition by relatively relaxing the…