Oxford University

or Find Staff here

Results for University of Oxford

Results 1 - 10 of 23 for acfa .

Sort by date, Sort by relevance.

Results

1. Past Logic Seminar | Mathematical Institute

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

2. Past Logic Seminar | Mathematical Institute

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

3. Past Forthcoming Seminars | Mathematical Institute

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

4. Past Forthcoming Seminars | Mathematical Institute

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

5. https://www.cs.ox.ac.uk/msctheses/1249/1/SRoy.pdf

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

6. Past Forthcoming Seminars | Mathematical Institute

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

7. Past Logic Seminar | Mathematical Institute

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

8. Past Logic Seminar | Mathematical Institute

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

9. https://www.cs.ox.ac.uk/people/bob.coecke/Shibdas.pdf

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

10. Past Forthcoming Seminars | Mathematical Institute

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

Result Page

1 , 2 , 3 , Next .




Enquiries to Webmaster | Powered by Funnelback Search