Journal of Symbolic Logic 68 (1):311-318 (2003)
| Abstract |
In [6] Messmer and Wood proved quantifier elimination for separably closed fields of finite Ershov invariant e equipped with a (certain) Hasse derivation. We propose a variant of their theory, using a sequence of e commuting Hasse derivations. In contrast to [6] our Hasse derivations are iterative
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.2178/jsl/1045861515 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 70,192
External links
- From the Publisher via CrossRef (no proxy)
- pdf.aminer.org
(no proxy) - projecteuclid.org (no proxy)
- projecteuclid.org [2] (no proxy)
- projecteuclid.org [3] (no proxy)
- journals.cambridge.org (no proxy)
- jstor.org (no proxy)
- jstor.org [2] (no proxy)
- jstor.org [3] (no proxy)
- cambridge.org (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
No references found.
Citations of this work BETA
Model Theory of Fields with Free Operators in Characteristic Zero.Rahim Moosa & Thomas Scanlon - 2014 - Journal of Mathematical Logic 14 (2):1450009.
Existentially Closed Fields with Finite Group Actions.Daniel M. Hoffmann & Piotr Kowalski - 2018 - Journal of Mathematical Logic 18 (1):1850003.
Geometric Axioms for Existentially Closed Hasse Fields.Piotr Kowalski - 2005 - Annals of Pure and Applied Logic 135 (1-3):286-302.
Similar books and articles
Minimal Types in Separably Closed Fields.Zoé Chatzidakis & Carol Wood - 2000 - Journal of Symbolic Logic 65 (3):1443-1450.
Notes on the Stability of Separably Closed Fields.Carol Wood - 1979 - Journal of Symbolic Logic 44 (3):412-416.
Differential Forms in the Model Theory of Differential Fields.David Pierce - 2003 - Journal of Symbolic Logic 68 (3):923-945.
The Model Theory of Differential Fields with Finitely Many Commuting Derivations.Tracey McGrail - 2000 - Journal of Symbolic Logic 65 (2):885-913.
The Independence Relation in Separably Closed Fields.G. Srour - 1986 - Journal of Symbolic Logic 51 (3):715-725.
Asymptotic Theory of Modules of Separably Closed Fields.Françoise Point - 2005 - Journal of Symbolic Logic 70 (2):573-592.
Minimal Groups in Separably Closed Fields.E. Bouscaren & F. Delon - 2002 - Journal of Symbolic Logic 67 (1):239-259.
Quantifier Elimination in Separably Closed Fields of Finite Imperfectness Degree.Dan Haran - 1988 - Journal of Symbolic Logic 53 (2):463-469.
Analytics
Added to PP index
2009-01-28
Total views
35 ( #325,344 of 2,507,427 )
Recent downloads (6 months)
1 ( #416,983 of 2,507,427 )
2009-01-28
Total views
35 ( #325,344 of 2,507,427 )
Recent downloads (6 months)
1 ( #416,983 of 2,507,427 )
How can I increase my downloads?
Downloads
