Results 1  10
of
23
Forking in the free group
, 2007
"... We study modeltheoretic and stabilitytheoretic properties of the nonabelian free group in the light of Sela’s recent result [15] on stability and results announced by Bestvina and Feighn on “negligible subsets” of free groups. We point out analogies between the free group and socalled bad groups o ..."
Abstract

Cited by 13 (2 self)
 Add to MetaCart
We study modeltheoretic and stabilitytheoretic properties of the nonabelian free group in the light of Sela’s recent result [15] on stability and results announced by Bestvina and Feighn on “negligible subsets” of free groups. We point out analogies between the free group and socalled bad groups of finite Morley rank, and prove “non CMtriviality” of the free group.
Trivial stable structures with nontrivial reducts
 J. London Math. Soc
, 2003
"... Abstract. We offer a new viewpoint on some of the generic structures constructed using Hrushovski’s predimensions and show that they are natural reducts of quite straightforward trivial, onebased stable structures. 2000 Mathematics Subject Classification: 03C45. ..."
Abstract

Cited by 9 (4 self)
 Add to MetaCart
(Show Context)
Abstract. We offer a new viewpoint on some of the generic structures constructed using Hrushovski’s predimensions and show that they are natural reducts of quite straightforward trivial, onebased stable structures. 2000 Mathematics Subject Classification: 03C45.
The geometries of the Hrushovski constructions
, 2009
"... In 1984 Zilber conjectured that any strongly minimal structure is geometrically equivalent to one of the following types of strongly minimal structures, in the appropriate language: Pure sets, Vector Spaces over a fixed Division Ring and Algebraically Closed Fields. In 1993, in his article ‘A new st ..."
Abstract

Cited by 4 (2 self)
 Add to MetaCart
In 1984 Zilber conjectured that any strongly minimal structure is geometrically equivalent to one of the following types of strongly minimal structures, in the appropriate language: Pure sets, Vector Spaces over a fixed Division Ring and Algebraically Closed Fields. In 1993, in his article ‘A new strongly minimal set’ Hrushovski produced a family of counterexamples to Zilber’s conjecture. His method consists in two steps. Firstly he builds a ‘limit’ structure from a suitable class of finite structures in a language consisting only of a ternary relational symbol. Secondly, in a step called the collapse, he defines a continuum of subclasses such that the corresponding ‘limit’ structures are new strongly minimal structures. These new strongly minimal structures are non isomorphic but Hrushovski then asks if they are geometrically equivalent. We first analyze the pregeometries arising from different variations of the construction before the collapse. In particular we prove that if we repeat the construction starting with an nary relational symbol instead of a 3ary relational symbol, then the pregeometries associated to the corresponding ‘limit’ structures are not locally isomorphic when we vary the arity. Second we prove that these new strongly minimal structures are geometrically equivalent. In fact we prove that their geometries are isomorphic to the geometry of the ‘limit’ structure obtained before the collapse.
The free pseudospace is nample, but not
, 2013
"... We give a uniform construction of free pseudospaces of dimension n extending work in [1]. This yields examples of ωstable theories which are nample, but not n + 1ample. The prime models of these theories are buildings associated to certain rightangled Coxeter groups. 1 ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
We give a uniform construction of free pseudospaces of dimension n extending work in [1]. This yields examples of ωstable theories which are nample, but not n + 1ample. The prime models of these theories are buildings associated to certain rightangled Coxeter groups. 1
Organisation name of lead contractor for this deliverable:
"... PU Public PP Restricted to other programme participants (including the Commission Services) RE Restricted to a group specified by the consortium (including the Commission Services) CO Confidential, only for members of the consortium (including the Commission Services) 1 2Report on Workpackage MI: Pu ..."
Abstract
 Add to MetaCart
(Show Context)
PU Public PP Restricted to other programme participants (including the Commission Services) RE Restricted to a group specified by the consortium (including the Commission Services) CO Confidential, only for members of the consortium (including the Commission Services) 1 2Report on Workpackage MI: Pure Model Theory In the following, members of Modnet teams are identified by an asterisk (*) when first mentioned; Modnet fellows are indicated by a double asterisk (**); external experts and collaborators who were identified as having a close involvement with the project in the original proposal are identified by a triple asterisk (***). Results Task I.1: Theoretical stability and simplicity Result of Task I.1.e: Find new unstable structures with many stable, stably embedded sets and develop model the
Report on EPSRC Grants GR/R32048/01 and GR/R32123/01
"... Model theory of generic structures and simple theories As intended in the original proposal, the grants employed Dr Massoud Pourmahdian as a research assistant at UEA for a year, starting in October 2001. Pourmahdian was then employed by Edinburgh for a year, starting in October 2002. The original g ..."
Abstract
 Add to MetaCart
(Show Context)
Model theory of generic structures and simple theories As intended in the original proposal, the grants employed Dr Massoud Pourmahdian as a research assistant at UEA for a year, starting in October 2001. Pourmahdian was then employed by Edinburgh for a year, starting in October 2002. The original grant applications were submitted as being related and this report covers activities supported by both of the grants. The start dates were later than in the original proposals due to Pourmahdian’s commitments in Iran. Pourmahdian spent much of the second year based in Oxford, where Macintyre was visiting on sabbatical leave from Edinburgh. A. Description of Reseach Undertaken The objectives were to study open problems in model theory by investigating and extending Hrushovski’s constructions of generic structures. The work done focused around the following themes: (1) Hrushovski’s unstable, non uniformly locally finite generic. (2) Stable forking and Lascar strong types in generics. (3) Construction of nonCMtrivial structures.