{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T07:42:49Z","timestamp":1772523769864,"version":"3.50.1"},"reference-count":20,"publisher":"Wiley","issue":"4","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"tdm","delay-in-days":3714,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["MLQ - Math. Log. Quart."],"published-print":{"date-parts":[[2005,7]]},"DOI":"10.1002\/malq.200410043","type":"journal-article","created":{"date-parts":[[2005,6,8]],"date-time":"2005-06-08T11:17:06Z","timestamp":1118229426000},"page":"417-434","source":"Crossref","is-referenced-by-count":1,"title":["Some variations of the Hardy hierarchy"],"prefix":"10.1002","volume":"51","author":[{"given":"Henryk","family":"Kotlarski","sequence":"first","affiliation":[]},{"given":"Bo\u017cena","family":"Piekart","sequence":"additional","affiliation":[]}],"member":"311","reference":[{"key":"10.1002\/malq.200410043-BIB1","doi-asserted-by":"crossref","first-page":"17","DOI":"10.2307\/421195","volume":"3","author":"Avigad","year":"1997","journal-title":"Bulletin of Symbolic Logic"},{"key":"10.1002\/malq.200410043-BIB2","doi-asserted-by":"crossref","first-page":"27","DOI":"10.4064\/fm-160-1-27-37","volume":"160","author":"Bigorajska","year":"1999","journal-title":"Fund. Math."},{"key":"10.1002\/malq.200410043-BIB3","author":"Bigorajska","unstructured":"and Partitioning \u03b1-large sets: some lower bounds. Trans. Amer. Math. Soc. (to appear)."},{"key":"10.1002\/malq.200410043-BIB4","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1002\/malq.19940400212","volume":"40","author":"Buchholz","year":"1994","journal-title":"Math. Log. Quart."},{"key":"10.1002\/malq.200410043-BIB5","doi-asserted-by":"crossref","first-page":"119","DOI":"10.4064\/fm175-2-2","volume":"175","author":"Bigorajska","year":"2002","journal-title":"Fund. Math."},{"key":"10.1002\/malq.200410043-BIB6","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0890-5401(92)90027-D","volume":"99","author":"Fairtlough","year":"1992","journal-title":"Information and Computation"},{"key":"10.1002\/malq.200410043-BIB7","author":"Fairtlough","unstructured":"and Hierarchies of provably recursive functions. In: Handbook of Proof Theory, Studies in Logic 137 (S. Buss, ed.), pp. 149-208 (North Holland Publishing Company, Amsterdam 1998)."},{"key":"10.1002\/malq.200410043-BIB8","author":"Graham","unstructured":"and Ramsey Theory, 2nd ed. (Wiley, New York et al. 1990)."},{"key":"10.1002\/malq.200410043-BIB9","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1007\/BF02017489","volume":"26","author":"H\u00e1jek","year":"1986","journal-title":"Arch. Math. Log."},{"key":"10.1002\/malq.200410043-BIB10","author":"H\u00e1jek","unstructured":"and Metamathematics of First-Order Arithmetic (Springer-Verlag, Berlin et al. 1993)."},{"key":"10.1002\/malq.200410043-BIB11","doi-asserted-by":"crossref","first-page":"267","DOI":"10.2307\/2006985","volume":"113","author":"Ketonen","year":"1981","journal-title":"Annals of Mathematics"},{"key":"10.1002\/malq.200410043-BIB12","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/0168-0072(90)90035-Z","volume":"47","author":"Kotlarski","year":"1990","journal-title":"Annals Pure Appl. Log."},{"key":"10.1002\/malq.200410043-BIB13","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1002\/malq.19900360509","volume":"36","author":"Kotlarski","year":"1990","journal-title":"Z. Math. Log. Grundlagen Math."},{"key":"10.1002\/malq.200410043-BIB14","author":"Kuratowski","unstructured":"and Set Theory (North Holland Publishing Company, Amsterdam 1976)."},{"key":"10.1002\/malq.200410043-BIB15","author":"Paris","unstructured":"and A mathematical incompleteness in Peano arithmetic. In: Handbook of Mathematical Logic (J. Barwise, ed.), pp. 1133-1142 (North Holland Publishing Company, Amsterdam 1977)."},{"key":"10.1002\/malq.200410043-BIB16","author":"Pudl\u00e1k","unstructured":"Another combinatorial statement independent from PA. Manuscript 1979, unpublished."},{"key":"10.1002\/malq.200410043-BIB17","doi-asserted-by":"crossref","first-page":"191","DOI":"10.4064\/fm-130-3-191-213","volume":"130","author":"Ratajczyk","year":"1988","journal-title":"Fund. Math."},{"key":"10.1002\/malq.200410043-BIB18","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0168-0072(93)90031-8","volume":"64","author":"Ratajczyk","year":"1993","journal-title":"Annals Pure Appl. Log."},{"key":"10.1002\/malq.200410043-BIB19","author":"Sommer","unstructured":"Transfinite induction and hierarchies of functions generated by transfinite recursion within Peano arithmetic. Ph. D. thesis, University of California, Berkeley, 1990."},{"key":"10.1002\/malq.200410043-BIB20","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0168-0072(95)00029-G","volume":"76","author":"Sommer","year":"1995","journal-title":"Annals Pure Appl. Log."}],"container-title":["MLQ"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.200410043","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full\/10.1002\/malq.200410043","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,11]],"date-time":"2021-07-11T13:50:57Z","timestamp":1626011457000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.200410043"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,7]]},"references-count":20,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2005,7]]}},"URL":"https:\/\/doi.org\/10.1002\/malq.200410043","relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,7]]}}}