{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T19:26:51Z","timestamp":1648841211294},"reference-count":27,"publisher":"Wiley","issue":"1","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"tdm","delay-in-days":3530,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["MLQ - Math. Log. Quart."],"published-print":{"date-parts":[[2006,1]]},"DOI":"10.1002\/malq.200510010","type":"journal-article","created":{"date-parts":[[2005,12,27]],"date-time":"2005-12-27T15:50:08Z","timestamp":1135698608000},"page":"4-13","source":"Crossref","is-referenced-by-count":2,"title":["The ultra-weak Ash conjecture and some particular cases"],"prefix":"10.1002","volume":"52","author":[{"given":"Annie","family":"Chateau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Malika","family":"More","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","reference":[{"key":"10.1002\/malq.200510010-BIB1","author":"Ajta","unstructured":"and , A theorem on probabilistic constant depth computations. Proceedings 16th ACM STOC, pp. 471-474, 1984."},{"key":"10.1002\/malq.200510010-BIB2","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1002\/malq.19940400308","volume":"40","author":"Ash","year":"1994","journal-title":"Math. Logic Quarterly"},{"key":"10.1002\/malq.200510010-BIB3","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1002\/malq.19550010403","volume":"1","author":"Asser","year":"1955","journal-title":"Z. Math. Logik Grundlagen Mathematik"},{"key":"10.1002\/malq.200510010-BIB4","author":"Chateau","unstructured":"Utilisation des destin\u00e9es pour la d\u00e9cision et sa complexit\u00e9 dans le cas de formules \u00e0 profondeur de quantification born\u00e9e sur des structures logiques finies et infinies. Ph. D. thesis, Universit\u00e9 d'Auvergne, 2003."},{"key":"10.1002\/malq.200510010-BIB5","author":"Chateau","unstructured":"and , Characterization of Ehrenfeucht-Fra\u00efss\u00e9 equivalence in two classes of finite graphs and application to Ash's counting functions. Technical report, LLAIC, Universit\u00e9 d'Auvergne, 2005."},{"key":"10.1002\/malq.200510010-BIB6","author":"Durand","unstructured":", and , Spectra with only unary function symbols. In: Lecture Notes in Computer Science 1414, pp. 189-202 (Springer, London 1998)."},{"key":"10.1002\/malq.200510010-BIB7","doi-asserted-by":"crossref","first-page":"216","DOI":"10.1016\/S0019-9958(86)80006-7","volume":"70","author":"Denenberg","year":"1986","journal-title":"Information and Control"},{"key":"10.1002\/malq.200510010-BIB8","author":"Ebbinghaus","unstructured":"and , Finite Model Theory (Springer, Berlin 1999)."},{"key":"10.1002\/malq.200510010-BIB9","doi-asserted-by":"crossref","first-page":"129","DOI":"10.4064\/fm-49-2-129-141","volume":"49","author":"Ehrenfeucht","year":"1961","journal-title":"Fundamenta Mathematicae"},{"key":"10.1002\/malq.200510010-BIB10","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1070\/RM1965v020n04ABEH001188","volume":"20","author":"Ershov","year":"1965","journal-title":"Russian Math. Surveys"},{"key":"10.1002\/malq.200510010-BIB11","author":"Enderton","unstructured":"A Mathematical Introduction to Logic (Academic Press, New York 1972)."},{"key":"10.1002\/malq.200510010-BIB12","author":"Fagin","unstructured":"Generalized first-order spectra and polynomial-time recognizable sets. In: Complexity of Computation (R. Karp, ed.), SIAM-AMS Proceedings 7, pp. 43-73, 1974."},{"key":"10.1002\/malq.200510010-BIB13","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1002\/malq.19750210117","volume":"21","author":"Fagin","year":"1975","journal-title":"Z. Math. Logik Grundlagen Mathematik"},{"key":"10.1002\/malq.200510010-BIB14","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/0304-3975(85)90045-3","volume":"36","author":"Fagin","year":"1985","journal-title":"Theoretical Computer Science"},{"key":"10.1002\/malq.200510010-BIB15","first-page":"35","volume":"1","author":"Fra\u00efss\u00e9","year":"1954","journal-title":"Publ. Sci. Univ. Alger, S\u00e9r. A"},{"key":"10.1002\/malq.200510010-BIB16","doi-asserted-by":"crossref","first-page":"1237","DOI":"10.2307\/2274274","volume":"49","author":"Goldfarb","year":"1984","journal-title":"J. Symbolic Logic"},{"key":"10.1002\/malq.200510010-BIB17","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1016\/0022-0000(90)90009-A","volume":"40","author":"Grandjean","year":"1990","journal-title":"J. Computer and System Sciences"},{"key":"10.1002\/malq.200510010-BIB18","author":"Hodges","unstructured":"Model Theory. Encyclopedia of Mathematics and its Applications 42 (Cambridge University Press, Cambridge 1993)."},{"key":"10.1002\/malq.200510010-BIB19","author":"Immerman","unstructured":"Descriptive Complexity (Springer, New York 1999)."},{"key":"10.1002\/malq.200510010-BIB20","doi-asserted-by":"crossref","first-page":"139","DOI":"10.2307\/2272354","volume":"39","author":"Jones","year":"1974","journal-title":"J. Symbolic Logic"},{"key":"10.1002\/malq.200510010-BIB21","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1002\/malq.19750210118","volume":"21","author":"Mortimer","year":"1975","journal-title":"Z. Math. Logik Grundlagen Mathematik"},{"key":"10.1002\/malq.200510010-BIB22","author":"Papadimitriou","unstructured":"Computational Complexity (Addison-Wesley, Reading 1994)."},{"key":"10.1002\/malq.200510010-BIB23","doi-asserted-by":"crossref","first-page":"160","DOI":"10.2307\/2266243","volume":"17","author":"Scholz","year":"1952","journal-title":"J. Symbolic Logic"},{"key":"10.1002\/malq.200510010-BIB24","author":"Toda","unstructured":"On the computational power of pp and \u2295p . In: IEEE Symposium on Foundations of Computer Science, pp. 514-519, 1989."},{"key":"10.1002\/malq.200510010-BIB25","doi-asserted-by":"crossref","first-page":"753","DOI":"10.1145\/116825.116858","volume":"38","author":"Tor\u00e1n","year":"1991","journal-title":"J. Association Computing Machinery"},{"key":"10.1002\/malq.200510010-BIB26","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1137\/0208032","volume":"8","author":"Valiant","year":"1979","journal-title":"SIAM Journal of Computing"},{"key":"10.1002\/malq.200510010-BIB27","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/BF00289117","volume":"23","author":"Wagner","year":"1986","journal-title":"Acta Informatica"}],"container-title":["MLQ"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full\/10.1002\/malq.200510010","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,3]],"date-time":"2021-07-03T14:12:52Z","timestamp":1625321572000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.200510010"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,1]]},"references-count":27,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2006,1]]}},"URL":"https:\/\/doi.org\/10.1002\/malq.200510010","relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,1]]}}}