English
Related papers

Related papers: $\mathbb{Q}$ACFA

200 papers

We introduce the notion of first order amenability, as a property of a first order theory $T$: every complete type over $\emptyset$, in possibly infinitely many variables, extends to an automorphism-invariant global Keisler measure in the…

Logic · Mathematics 2025-11-18 Ehud Hrushovski , Krzysztof Krupiński , Anand Pillay

A group is boundedly simple if, for some constant N, every nontrivial conjugacy class generates the whole group in N steps. For a large class of trees, Tits proved simplicity of a canonical subgroup of the automorphism group, which is…

Group Theory · Mathematics 2012-06-29 Jakub Gismatullin

Let G be a totally disconnected, locally compact group admitting a contractive automorphism f. We prove a Jordan-Holder theorem for series of f-stable closed subgroups of G, classify all possible composition factors and deduce consequences…

Group Theory · Mathematics 2007-05-23 Helge Glockner , George A. Willis

We give an almost entirely model-theoretic account of both Ramsey classes of finite structures and of generalized indiscernibles as studied in special cases in (for example) [7], [9]. We understand "theories of indiscernibles" to be special…

Logic · Mathematics 2012-10-30 Cameron Donnay Hill

We develop a new notion of independence suggested by Scanlon (th-independence). We prove that in a large class of theories (which includes all simple theories) this notion has many of the properties needed for an adequate geometric…

Logic · Mathematics 2007-05-23 Alf Onshuus

Let k be an algebraically closed field of characteristic zero, F its algebraically closed extension, and G be the group of k-automorphisms of F endowed with a natural topology. One of the purposes of this paper is to show that any…

Representation Theory · Mathematics 2009-04-07 M. Rovinsky

Let $\FN$ be a free group of finite rank $N \geq 2$, and let $T$ be an $\R$-tree with a very small, minimal action of $\FN$ with dense orbits. For any basis $\CA$ of $\FN$ there exists a {\em heart} $K_{\CA} \subset \bar T$ (= the metric…

Group Theory · Mathematics 2015-05-13 Thierry Coulbois , Arnaud Hilion , Martin Lustig

Classically, any structure for a signature $\Sigma$ may be completed to a model of a desired regular theory $T$ by means of the chase construction or small object argument. Moreover, this exhibits $\mathrm{Mod}(T)$ as weakly reflective in…

Logic · Mathematics 2026-04-14 Henrik Forssell , Peter LeFanu Lumsdaine

We characterize thorn-independence in a variety of structures, focusing on the field of real numbers expanded by predicate defining a dense multiplicative subgroup, G, satisfying the Mann property and whose pth powers are of finite index in…

Logic · Mathematics 2007-06-28 Alexander Berenstein , Clifton Ealy , Ayhan Günaydin

Automorphisms of finite order and real forms of "smooth" affine Kac-Moody algebras are studied, i.e. of 2-dimensional extensions of the algebra of smooth loops in a simple Lie algebra. It is shown that they can be parametrized by certain…

Rings and Algebras · Mathematics 2009-04-01 Ernst Heintze , Christian Groß

We show that each of Thompson's groups F, T, and V have infinitely many ends relative to certain subgroups. We go on to show that T and V both have Serre's property FA, i.e., any action of T or V on a tree will have a fixed point. (The…

Group Theory · Mathematics 2007-08-13 Daniel Farley

Elasticity property (i.e. no-particle creation) is used in the tree level scattering of scalar particles in 1+1 dimensions to construct the affine Toda field theory(ATFT) associated with root systems of groups $a_2^{(2)}$ and $c_2^{(1)}$. A…

High Energy Physics - Theory · Physics 2015-06-26 S. Pratik Khastgir

The paper contains the construction of a topological quantum field theory with corners that underlies the smooth topological quantum field theory of Lickorish. Among other things, a contraction formula for diagrams is proved, the presence…

q-alg · Mathematics 2008-02-03 Razvan Gelca

We consider the following property of a first order theory T with a distinguished unary predicate P: every model of the theory of P occurs as the P-part of some model of T. We call this property the Gaifman property. Gaifman conjectured…

Logic · Mathematics 2025-07-18 Saharon Shelah , Alexander Usvyatsov

Automorphism groups of locally finite trees provide a large class of examples of simple totally disconnected locally compact groups. It is desirable to understand the connections between the global and local structure of such a group.…

Group Theory · Mathematics 2012-01-19 Pierre-Emmanuel Caprace , Tom De Medts

Disjoint $n$-amalgamation is a condition on a complete first-order theory specifying that certain locally consistent families of types are also globally consistent. In this paper, we show that if a countably categorical theory $T$ admits an…

Logic · Mathematics 2019-09-18 Alex Kruckman

We survey recent results on multiple transitivity of automorphism groups of affine algebraic varieties. We consider the property of infinite transitivity of the special automorphism group, which is equivalent to flexibility of the…

Algebraic Geometry · Mathematics 2023-04-04 Ivan Arzhantsev

We consider AF-flows, i.e., one-parameter automorphism groups of a unital simple C*-algebra which leave invariant the dense union of an increasing sequence of finite-dimensional *-subalgebras, and derive two properties for these; an absence…

Operator Algebras · Mathematics 2009-10-31 Ola Bratteli , Akitaka Kishimoto

Let $X \subset \mathbb{P}^{n}$ be a non-empty closed subscheme over an algebraically closed field $k$, and $\mathrm{J}^{[p]}(X) = \mathrm{J}(X,\mathrm{J}(X,\cdots,\mathrm{J}(X,X)\cdots)$ denote the $p$-fold iterated join of $X$ with itself.…

Algebraic Geometry · Mathematics 2020-09-03 Saugata Basu , Deepam Patel

We study the combination of two o-minimal extensions of the theory of real closed fields: one by a T-convex subring and the other by a T-derivation. Let T be a complete, model complete o-minimal extension of RCF. We show that the combined…

Logic · Mathematics 2025-11-11 Xiaoduo Wang