Related papers: A characterisation of compact, fragmentable linear…

The characterization of PSPACE-queries over ordered structures as exactly those expressible in first-order logic with partial fixpoints (Vardi'82) is one of the classical results in the field of descriptive complexity. In this paper, we…

We introduce and study a new type of compactness principle for strong logics that, roughly speaking, infers the consistency of a theory from the consistency of its small fragments in certain outer models of the set-theoretic universe. We…

We count the number of countable homogeneous colored linear orderings in $k$ colors. Relatedly, we count the number of countable $C_{n,m}$-homogeneous linear orderings. $C_{n,m}$-homogeneity is a strong homogeneity notion that approximates…

The aim of the note is to extend the uniformization theorem to compact Kahler spaces X with mild singularities and establish a kind of rigidity of their universal coverings. We assume the fundamental group of X is large, residually finite…

We obtain an internal topological characterization of the subspaces of Eberlein compacts (respectively, Corson compacts, strong Eberlein compacts, uniform Eberlein compacts, $n$-uniform Eberlein compacts).

Through careful analysis of types inspired by [AGTW21] we characterize a notion of definable compactness for definable topologies in general o-minimal structures, generalizing results from [PP07] about closed and bounded definable sets in…

We survey results on compact Clifford-Klein forms of homogeneous spaces, with a focus on recent contributions and organized around approaches via topology, geometry and dynamics. In addition, we survey results on moduli spaces of compact…

We show that separability and second-countability are first-order properties among topological spaces definable in o-minimal expansions of $(\mathbb{R},<)$. We do so by introducing first-order characterizations -- definable separability and…

Let $k$ be any field and $k^s$ its separable closure. Let $X$ be an affine variety over $k$ which is isomorphic to affine $n$-space over the field extension $k^s$. Then $X$ is isomorphic to affine $n$ space over $k$.

A weak formulation is devised for the K(m,n) equation which is a nonlinearly dispersive generalization of the gKdV equation having compacton solutions. With this formulation, explicit weak compacton solutions are derived, including ones…

A linear ordering is called context-free if it is the lexicographic ordering of some context-free language and is called scattered if it has no dense subordering. Each scattered ordering has an associated ordinal, called its rank. It is…

We characterize in simple terms the Pak-Stanley labels $\lambda(R)$ of the regions $R$ of the $m$-Catalan arrangement. We also propose a simple algorithm that returns $R$ from $\lambda(R)$. Finally, we characterize in close terms the labels…

Given an uncountable regular cardinal $\kappa$, a partial order is $\kappa$-stationarily layered if the collection of regular suborders of $\mathbb{P}$ of cardinality less than $\kappa$ is stationary in $\mathcal{P}_\kappa(\mathbb{P})$. We…

Our aim is to find some new links between linear (circular) orderability of groups and topological dynamics. We suggest natural analogs of the concept of algebraic orderability for topological groups involving order-preserving actions on…

We present a new determination of unpolarised charged pion and kaon fragmentation functions from a set of single-inclusive electron-positron annihilation and lepton-nucleon semi-inclusive deep-inelastic scattering data. The determination…

We show that a compact quantum group all whose irreducible representations have dimension bounded by a fixed constant must be of Kac type, in other words, its Haar measure is a trace. The proof is based on establishing several facts…

For a compact space $K$ we consider the space $P(K)$, of probability regular Borel measures on $K$, equipped with the $weak^\ast$ topology inherited from $C(K)^\ast$. We discuss possible characterizations of those compact spaces $K$ for…

We introduce the space of relative orders on a group and show that it is compact whenever the group is finitely generated. We use this to show that if $G$ is a finitely generated group acting by order preserving homeomorphism of on the…

We consider a class of compact homogeneous CR manifolds, that we call $\mathfrak n$-reductive, which includes the orbits of minimal dimension of a compact Lie group $K_0$ in an algebraic homogeneous variety of its complexification $K$. For…

We show that for arbitrary linearly ordered set $X$ any bounded family of (not necessarily, continuous) real valued functions on $X$ with bounded total variation does not contain independent sequences. We obtain generalized Helly's…