相关论文: On invariants for omega_1-separable groups

Much of the fascinating numerology surrounding finite reflection groups stems from Solomon's celebrated 1963 theorem describing invariant differential forms. Invariant differential derivations also exhibit interesting numerology over the…

If $\fg$ is a semisimple Lie algebra, we describe the prime factors of $\mcU(\fg)$ that have enough finite dimensional modules. The proof depends on some combinatorial facts about the Weyl group which may be of independent interest. We also…

Applying Popa's orthogonality method to a new class of groups, we construct amenable group factors which are prime and have no infinite dimensional regular abelian *-subalgebras. By adjusting Farah--Katsura's solution of Dixmier's problem…

We show that the Hrushovski-\fraisse limit of certain classes of trees lead to strictly superstable theories of various U-ranks. In fact, for each $ \alpha\in\omega+1\backslash\{0\} $ we introduce a strictly superstable theory of U-rank $…

We introduce and study some general principles and hierarchical properties of expansions and restrictions of structures and their theories The general approach is applied to describe these properties for classes of $\omega$-categorical…

We develop in this paper the theory of covers for Hausdorff properly $\bigvee $-definable manifolds with definable choice in an o-minimal structure $\N$. In particular, we show that given an $\N$-definably connected $\N$-definable group $G$…

A modeloid, a certain set of partial bijections, emerges from the idea to abstract from a structure to the set of its partial automorphisms. It comes with an operation, called the derivative, which is inspired by Ehrenfeucht-Fra\"iss\'e…

We introduce a new graph invariant of finite groups that provides a complete characterization of the splitting types of unramified prime ideals in normal number field extensions entirely in terms of the Galois group. In particular, each…

The connections between Whitehead groups and uniformization properties were investigated by the third author in [Sh:98]. In particular it was essentially shown there that there is a non-free Whitehead (respectively, aleph_1-coseparable)…

E. Hrushovski proved that the theory of difference-differential fields of characteristic zero has a model-companion. We denote it DCFA. In this paper we study definable groups in a model of DCFA. First we prove that such a group is embeds…

Order-invariant formulas access an ordering on a structure's universe, but the model relation is independent of the used ordering. Order invariance is frequently used for logic-based approaches in computer science. Order-invariant formulas…

For a positive integer $N$ divisible by $4$, let $\mathcal{O}^1_N(\mathbb{Q})$ be the ring of weakly holomorphic modular functions for the congruence subgroup $\Gamma^1(N)$ with rational Fourier coefficients. We present explicit generators…

We present several $\mathsf{ZFC}$ examples of compactifications $\gamma\omega$ of $\omega$ such that their remainders $\gamma\omega\backslash\omega$ are nonseparable and carry strictly positive measures.

Consider the free orthogonal quantum groups $O_N^+(F)$ and free unitary quantum groups $U_N^+(F)$ with $N \geq 3$. In the case $F = {\rm id}_N$ it was proved both by Isono and Fima-Vergnioux that the associated finite von Neumann algebra…

Following the recent advances in the study of groups of circle diffeomorphisms, we describe an efficient way of classifying the topological dynamics of locally discrete, finitely generated, virtually free subgroups of the group…

We extend the inflationary fixed-point logic, IFP, with a new kind of second-order quantifiers which have (poly-)logarithmic bounds. We prove that on ordered structures the new logic $\exists^{\log^{\omega}}\text{IFP}$ captures the limited…

The object of this study are countably infinite games with perfect information that allow players to choose among arbitrarily many moves in a turn; in particular, we focus on the generalisations of the finite board games of Hex and…

Game comonads offer a categorical view of a number of model-comparison games central to model theory, such as pebble and Ehrenfeucht-Fra\"iss\'e games. Remarkably, the categories of coalgebras for these comonads capture preservation of…

We prove that various classical conformal diffeomorphism groups, which are known to be essential [1], are in fact properly essential. This is a consequence of a local criterion on a conformal diffeomorphism in the form of a cohomological…

We introduce a stronger version of an $\omega_1$-guessing model, which we call an indestructibly $\omega_1$-guessing model. The principle IGMP states that there are stationarily many indestructibly $\omega_1$-guessing models. This…