Related papers: Non-permutation invariant Borel quantifiers

An \'etale structure over a topological space $X$ is a continuous family of structures (in some first-order language) indexed over $X$. We give an exposition of this fundamental concept from sheaf theory and its relevance to countable model…

We compute L2-invariants of certain nonuniform lattices in semisimple Lie groups by means of the Borel-Serre compactification of arithmetically defined locally symmetric spaces. The main results give new estimates for Novikov-Shubin numbers…

We show that the embeddability relations for countable quandles and for countable fields of any given characteristic other than 2 are maximally complex in a strong sense: they are invariantly universal. This notion from the theory of Borel…

The aim of this paper is to prove ergodic decomposition theorems for probability measures quasi-invariant under Borel actions of inductively compact groups (Theorem 1) as well as for sigma-finite invariant measures (Corollary 1). For…

We prove that the relation of bisimilarity between countable labelled transition systems is $\Sigma_1^1$-complete (hence not Borel), by reducing the set of non-wellorders over the natural numbers continuously to it. This has an impact on…

We show that if an automorphism of a standard Borel space does not admit finite invariant measures, then it has a two-set generator modulo the sigma-ideal generated by wandering sets. This implies that if the entropies of invariant…

Based on results for real deformation parameter q we introduce a compact non- commutative structure covariant under the quantum group SOq(3) for q being a root of unity. To match the algebra of the q-deformed operators with necesarry…

We explain how the Harish-Chandra Plancherel Theorem and results in relative Lie algebra cohomology can be used in order to compute in a uniform way the $L^2$-Betti numbers, the Novikov-Shubin invariants, and the $L^2$-torsion of compact…

We define two subalgebras which can be seen as the quantization of the coordinate rings of the unipotent radical of the standard positive (respectively negative) Borel subgroup of $SL_{n+1}$. We give a presentation for these algebras and…

We construct quantum invariants of balanced sutured 3-manifolds with a $Spin^{c}$ structure out of an involutive (possibly non-unimodular) Hopf superalgebra $H$. If $H$ is the Borel subalgebra of $U_{q}(\mathfrak{gl}(1|1))$, we show that…

The space of Lascar strong types, on some sort and relative to a given first order theory T, is in general not a compact Hausdorff space. This paper has at least three aims. First to show that spaces of Lascar strong types and other related…

We prove that, if $G$ is a second-countable topological group with a compatible right-invariant metric $d$ and $(\mu_{n})_{n \in \mathbb{N}}$ is a sequence of compactly supported Borel probability measures on $G$ converging to invariance…

We give an affirmative answer to the following question: Is any Borel subset of a Cantor set $\textbf{ C}$ a sum of a countable number of pairwise disjoint $h$-homogeneous subspaces that are closed in $X$? It follows that every Borel set $X…

We prove that in some cases definable thin sets (including chains) of Borel partial orderings are necessarily countably cofinal. This includes the following cases: analytic thin sets, ROD thin sets in the Solovay model, and $\Sigma^1_2$…

We develop new tools to analyze the complexity of the conjugacy equivalence relation $E_\mathsf{lo}(G)$, whenever $G$ is a left-orderable group. Our methods are used to demonstrate non-smoothness of $E_\mathsf{lo}(G)$ for certain groups $G$…

We show that the set of Liouville numbers is either null or non-$\sigma$-finite with respect to every translation invariant Borel measure on $\RR$, in particular, with respect to every Hausdorff measure $\iH^g$ with gauge function $g$. This…

If $\Gamma<\mathrm{PSL}(2,\mathbb{C})$ is a lattice, we define an invariant of a representation $\Gamma\rightarrow \mathrm{PSL}(n,\mathbb{C})$ using the Borel class $\beta(n)\in…

Let $K$ denote a simply connected compact Lie group and let $G=K^{\mathbb C}$, the complexification. It is known that there exists an $LK$ bi-invariant probability measure on a natural hyperfunction completion of the complex loop group…

We extend Beurling's invariant subspace theorem, by characterizing subspaces $K$ of the noncommutative $L^p$ spaces which are invariant with respect to Arveson's maximal subdiagonal algebras, sometimes known as noncommutative $H^\infty$. It…

We study forking, Lascar strong types, Keisler measures and definable groups, under an assumption of $NIP$ (not the independence property), continuing aspects of math.LO/0607442. Among key results are: (i) if $p = tp(b/A)$ does not fork…