Related papers: Polish G-spaces and continuous logic
We present the (Lascar) Galois group of any countable theory as a quotient of a compact Polish group by an $F_\sigma$ normal subgroup: in general, as a topological group, and under NIP, also in terms of Borel cardinality. This allows us to…
We present a hypersequent calculus $\text{G}^3\text{\L}\forall$ for first-order infinite-valued {\L}ukasiewicz logic and for an extension of it, first-order rational Pavelka logic; the calculus is intended for bottom-up proof search. In…
Polyhedral semantics is a recently introduced branch of spatial modal logic, in which modal formulas are interpreted as piecewise linear subsets of an Euclidean space. Polyhedral semantics for the basic modal language has already been well…
We study generalized quasiconformal mappings in the context of the inverse Poletsky inequality. We consider the local behavior and the boundary behavior of mappings with the inverse Poletsky inequality. In particular, we obtain logarithmic…
The paper deals with the program of determining the complexity of various homeomorphism relations. The homeomorphism relation on compact Polish spaces is known to be reducible to an orbit equivalence relation of a continuous Polish group…
We prove that, whenever $G$ is a Polish group with metrizable universal minimal flow $M(G)$, there exists a comeagre orbit in $M(G)$. It then follows that there exists an extremely amenable, closed, coprecompact $G^*$ of $G$ such that $M(G)…
Over the last two decades, there has been an extensive study on logical formalisms for specifying and verifying real-time systems. Temporal logics have been an important research subject within this direction. Although numerous logics have…
We prove that if a Polish G with a comeagre conjugacy class has a non-nesting action on an R-tree, then every element of G fixes a point.
We classify generalized Wallach spaces which are g.o. spaces. We also investigate homogeneous geodesics in generalized Wallach spaces for any given invariant Riemannian metric and we give some examples.
We investigate more closely the class of generalized b-weakly compact operators on locally convex-solid Riesz spaces and we provide new sequential and operator characterizations in relation with the subject. We introduce explicitly the…
We present the effective version of the theorem about turning Borel sets in Polish spaces into clopen sets while preserving the Borel structure of the underlying space. We show that under some conditions the emerging parameters can be…
We prove that if a function $f$ is continuous in an open subset $U\subset\mathbb{C}$ and analytic in $U\setminus X$, where $X\subset U$ is a Polish space having characteristic system $(i,n)$, such that $i\in\{0,1\}$ and $n\in\mathbb{N}$,…
We show that the topological rank of an orbit full group generated by an ergodic, probability measure-preserving free action of a non-discrete unimodular locally compact Polish group is two. For this, we use the existence of a cross section…
An action on a G-space induces uniformities on the phase space. It is shown when the maximal G-compactification of a G-space can be obtained as a completion of the phase space with respect to one of these uniformities. Structure of G-spaces…
Orlicz-type modules are module analogues of classical Orlicz spaces. We study duality and stable compactness in Orlicz-type modules. We characterize the conditional K\"{o}the dual of an Orlicz-type module as the space of all $\sigma$-order…
We study the symplectic geometry of the moduli spaces of polygons in the Minkowski 3-space. These spaces naturally carry completely integrable systems with periodic flows. We extend the Gelfand-Tsetlin method to pseudo-unitary groups and…
All spaces are assumed to be separable and metrizable. Consider the following properties of a space $X$. (1) $X$ is Polish. (2) For every countable crowded $Q\subseteq X$ there exists a crowded $Q'\subseteq Q$ with compact closure. (3)…
Characterizations of paracompact finite $C$-spaces via continuous selections are given. We apply these results to obtain some properties of finite $C$-spaces. Factorization theorems and a completion theorem for finite $C$- spaces are also…
General framework for Poisson homogeneous spaces of Poisson groups is introduced. Poisson Minkowski spaces are discussed as a particular example.
This paper is devoted to the study of typical properties (in the Baire Category sense) of certain classes of continuous linear operators acting on Fr\'echet algebras, endowed with the topology of pointwise convergence. Our main results show…