331 research outputs found
Dimension, matroids, and dense pairs of first-order structures
A structure M is pregeometric if the algebraic closure is a pregeometry in
all M' elementarily equivalent to M. We define a generalisation: structures
with an existential matroid. The main examples are superstable groups of U-rank
a power of omega and d-minimal expansion of fields. Ultraproducts of
pregeometric structures expanding a field, while not pregeometric in general,
do have an unique existential matroid.
Generalising previous results by van den Dries, we define dense elementary
pairs of structures expanding a field and with an existential matroid, and we
show that the corresponding theories have natural completions, whose models
also have a unique existential matroid. We extend the above result to dense
tuples of structures.Comment: Version 2.8. 61 page
Fields and Fusions: Hrushovski constructions and their definable groups
An overview is given of the various expansions of fields and fusions of
strongly minimal sets obtained by means of Hrushovski's amalgamation method, as
well as a characterization of the groups definable in these structures
Definable equivalence relations and zeta functions of groups
We prove that the theory of the -adics admits elimination
of imaginaries provided we add a sort for for each . We also prove that the elimination of
imaginaries is uniform in . Using -adic and motivic integration, we
deduce the uniform rationality of certain formal zeta functions arising from
definable equivalence relations. This also yields analogous results for
definable equivalence relations over local fields of positive characteristic.
The appendix contains an alternative proof, using cell decomposition, of the
rationality (for fixed ) of these formal zeta functions that extends to the
subanalytic context.
As an application, we prove rationality and uniformity results for zeta
functions obtained by counting twist isomorphism classes of irreducible
representations of finitely generated nilpotent groups; these are analogous to
similar results of Grunewald, Segal and Smith and of du Sautoy and Grunewald
for subgroup zeta functions of finitely generated nilpotent groups.Comment: 89 pages. Various corrections and changes. To appear in J. Eur. Math.
So
Model Theory: groups, geometry, and combinatorics
This conference was about recent interactions of model theory with combinatorics, geometric group theory and the theory of valued fields, and the underlying pure model-theoretic developments. Its aim was to report on recent results in the area, and to foster communication between the different communities
- …