{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,2]],"date-time":"2026-03-02T11:42:37Z","timestamp":1772451757566,"version":"3.50.1"},"reference-count":8,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":4029,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[2003,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In [6] Messmer and Wood proved quantifier elimination for separably closed fields of finite Ershov invariant <jats:italic>e<\/jats:italic> equipped with a (certain) Hasse derivation. We propose a variant of their theory, using a sequence of <jats:italic>e<\/jats:italic> commuting Hasse derivations. In contrast to [6] our Hasse derivations are iterative.<\/jats:p>","DOI":"10.2178\/jsl\/1045861515","type":"journal-article","created":{"date-parts":[[2005,3,2]],"date-time":"2005-03-02T20:56:11Z","timestamp":1109796971000},"page":"311-318","source":"Crossref","is-referenced-by-count":18,"title":["Separably closed fields with Hasse derivations"],"prefix":"10.1017","volume":"68","author":[{"given":"Martin","family":"Ziegler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200009014_ref008","first-page":"412","volume":"44","author":"Wood","year":"1979","journal-title":"Notes on the stability of separably closed fields"},{"key":"S0022481200009014_ref006","first-page":"898","volume":"60","author":"Messmer","year":"1995","journal-title":"Separably closed fields with higher derivations. I"},{"key":"S0022481200009014_ref003","volume-title":"Commutative ring theory","author":"Matsumara","year":"1986"},{"key":"S0022481200009014_ref001","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68521-0_9"},{"key":"S0022481200009014_ref007","first-page":"294","article-title":"Basic properties of differential fields of an arbitrary characteristic and the Picard-Vessiot theory","volume":"2","author":"Okugawa","year":"1963","journal-title":"Journal of Mathematics of Kyoto University"},{"key":"S0022481200009014_ref005","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-22174-7_4"},{"key":"S0022481200009014_ref002","first-page":"215","article-title":"Noch eine Begr\u00fcndung der Theorie der h\u00f6heren Differentialquotienten in einem algebraischen Funktionenk\u00f6rper mit einer Unbestimmten","volume":"177","author":"Hasse","year":"1937","journal-title":"Journal f\u00fcr die Reine und Angewandte Mathematik"},{"key":"S0022481200009014_ref004","volume-title":"Differential galois theory in positive characteristic","author":"Matzat","year":"2001"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200009014","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,6]],"date-time":"2019-05-06T23:29:12Z","timestamp":1557185352000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200009014\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,3]]},"references-count":8,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2003,3]]}},"alternative-id":["S0022481200009014"],"URL":"https:\/\/doi.org\/10.2178\/jsl\/1045861515","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,3]]}}}