Geometrical model theory.
Computing the Galois group of a linear differential equation
The uncountable spectra of countable theories.
An invariant for difference field extensions
In this paper we introduce a new invariant for extensions of difference fields, the , and discuss its properties.
On NIP and invariant measures
We study forking, Lascar strong types, Keisler measures and definable groups, under an assumption of NIP (not the independence property), continuing aspects of the paper [16]. Among key results are (i) if does not fork over then the Lascar strong type of over coincides with the compact strong type of over and any global nonforking extension of is Borel definable over , (ii) analogous statements for Keisler measures and definable groups, including the fact that for definably amenable,...
Page 1