Results 1 - 10 of 23 for acfa .
Sort by date, Sort by relevance.
It could however be the case that over certain difference fields prime models (of the theory ACFA) exist and are unique. ... I will then consider the class of aleph-epsilon saturated models of ACFA, or of kappa-saturated models of ACFA.
www.maths.ox.ac.uk/events/past/658?page=5- 102k - 15 Jan 2021 - Cached
ACFA is the theory of existentially closed difference fields. I will discuss results on groups definable in models of ACFA, in particular when they are one-based and what are the
www.maths.ox.ac.uk/events/past/658?page=18- 97k - 15 Jan 2021 - Cached
It could however be the case that over certain difference fields prime models (of the theory ACFA) exist and are unique. ... I will then consider the class of aleph-epsilon saturated models of ACFA, or of kappa-saturated models of ACFA.
www.maths.ox.ac.uk/events/past/all?page=238- 105k - 15 Jan 2021 - Cached
ACFA is the theory of existentially closed difference fields. I will discuss results on groups definable in models of ACFA, in particular when they are one-based and what are the
www.maths.ox.ac.uk/events/past/all?page=668- 102k - 15 Jan 2021 - Cached
study the behaviour of a SCFA morphism or an ACFA morphism alongwith ticks, i.e. ... 27. (ACFA) If Eq (3.7) has no loops, then it is a spider.
www.cs.ox.ac.uk/msctheses/1249/1/SRoy.pdf- 483k - 26 Aug 2010 - Cached
ACFA, the model-companion of the theory of difference fields, is a supersimple theory whose minimal (i.e. ... Every minimal type $p$ in ACFA contains a (weakly) minimal quantifier-free formula $phi_p$, and often the difference variety defined by $phi_p$
www.maths.ox.ac.uk/events/past/all?page=967- 98k - 15 Jan 2021 - Cached
ACFA, the model-companion of the theory of difference fields, is a supersimple theory whose minimal (i.e. ... Every minimal type $p$ in ACFA contains a (weakly) minimal quantifier-free formula $phi_p$, and often the difference variety defined by $phi_p$
www.maths.ox.ac.uk/events/past/658?page=30- 101k - 15 Jan 2021 - Cached
The theory of difference fields with one distinguished automorphism has a model companion known as ACFA, which Zoe Chatzidakis and Ehud Hrushovski have studied in depth. ... class. We introduce a non-elementary framework for studying them. We then
www.maths.ox.ac.uk/events/past/658?page=1- 103k - 15 Jan 2021 - Cached
study the behaviour of a SCFA morphism or an ACFA morphism alongwith ticks, i.e. ... 27. (ACFA) If Eq (3.7) has no loops, then it is a spider.
www.cs.ox.ac.uk/people/bob.coecke/Shibdas.pdf- 482k - 23 Aug 2010 - Cached
The theory of difference fields with one distinguished automorphism has a model companion known as ACFA, which Zoe Chatzidakis and Ehud Hrushovski have studied in depth. ... class. We introduce a non-elementary framework for studying them. We then
www.maths.ox.ac.uk/events/past/all?page=66- 104k - 15 Jan 2021 - Cached
Enquiries to Webmaster | Powered by Funnelback Search