{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T16:33:06Z","timestamp":1649089986501},"reference-count":13,"publisher":"Elsevier BV","issue":"1-3","license":[{"start":{"date-parts":[[1992,10,1]],"date-time":"1992-10-01T00:00:00Z","timestamp":717897600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":7594,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Mathematics"],"published-print":{"date-parts":[[1992,10]]},"DOI":"10.1016\/0012-365x(92)90686-a","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T23:43:34Z","timestamp":1027640614000},"page":"333-342","source":"Crossref","is-referenced-by-count":1,"title":["Unprovable combinatorial statements"],"prefix":"10.1016","volume":"108","author":[{"given":"M.","family":"Loebl","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"4","key":"10.1016\/0012-365X(92)90686-A_BIB1","doi-asserted-by":"crossref","first-page":"704","DOI":"10.1090\/S0002-9939-1983-0687646-0","article-title":"A short proof of two recently discovered independence results using recursion theoretic methods","volume":"87","author":"Cichon","year":"1983","journal-title":"Proc. Amer. Math. Soc."},{"key":"10.1016\/0012-365X(92)90686-A_BIB2","series-title":"Beyond Kruskal's theorem I-III","author":"Friedman","year":"1982"},{"key":"10.1016\/0012-365X(92)90686-A_BIB3","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BF01700692","article-title":"\u00dcber formal unentscheidbare S\u00e4tze der Principia Mathematica und verwandter Systeme. I","volume":"38","author":"G\u00f6del","year":"1931","journal-title":"Monatsh. Math. Phys."},{"key":"10.1016\/0012-365X(92)90686-A_BIB4","doi-asserted-by":"crossref","first-page":"33","DOI":"10.2307\/2268019","article-title":"On the restricted ordinal theorem","volume":"9","author":"Goodstein","year":"1944","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0012-365X(92)90686-A_BIB5","series-title":"Handbook of Mathematical Logic","first-page":"1133","article-title":"A mathematical incompleteness in Peano arithmetic","author":"Harrington","year":"1977"},{"key":"10.1016\/0012-365X(92)90686-A_BIB6","doi-asserted-by":"crossref","first-page":"267","DOI":"10.2307\/2006985","article-title":"Rapidly growing Ramsey functions","volume":"113","author":"Ketonen","year":"1981","journal-title":"Ann. Math."},{"key":"10.1016\/0012-365X(92)90686-A_BIB7","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1112\/blms\/14.4.285","article-title":"Accessible independence results for Peano arithmetic","volume":"14","author":"Kirby","year":"1982","journal-title":"Bull. London Math. Soc."},{"key":"10.1016\/0012-365X(92)90686-A_BIB8","first-page":"210","article-title":"Well-quasi ordering, the tree theorem, and V\u00e1zsonyi's conjecture","volume":"95","author":"Kruskal","year":"1960","journal-title":"Trans. Amer. Math. Soc."},{"issue":"2","key":"10.1016\/0012-365X(92)90686-A_BIB9","first-page":"259","article-title":"Hercules versus Hydra, The game on rooted trees","volume":"26","author":"Loebl","year":"1985","journal-title":"Comm. Math. Univ. Carolinae"},{"key":"10.1016\/0012-365X(92)90686-A_BIB10","first-page":"275","article-title":"On undecidability of the weakened Kruskal theorem","author":"Loebl","year":"1985","journal-title":"Logic and Combinatorics"},{"key":"10.1016\/0012-365X(92)90686-A_BIB11","series-title":"Proc. Amer. Math. Soc.","article-title":"Unprovable Ramsey-type Theorem","author":"Loebl","year":"1989"},{"key":"10.1016\/0012-365X(92)90686-A_BIB12","article-title":"Le plus long combat d'Hercule","author":"Misercque","year":"1990","journal-title":"Manuscript"},{"key":"10.1016\/0012-365X(92)90686-A_BIB13","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1007\/BF01973619","article-title":"A classification of the ordinal recursive functions","volume":"13","author":"Wainer","year":"1970","journal-title":"Archiv f\u00fcr Math. Logik"}],"container-title":["Discrete Mathematics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0012365X9290686A?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0012365X9290686A?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,13]],"date-time":"2019-04-13T01:50:31Z","timestamp":1555120231000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0012365X9290686A"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,10]]},"references-count":13,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[1992,10]]}},"alternative-id":["0012365X9290686A"],"URL":"https:\/\/doi.org\/10.1016\/0012-365x(92)90686-a","relation":{},"ISSN":["0012-365X"],"issn-type":[{"value":"0012-365X","type":"print"}],"subject":[],"published":{"date-parts":[[1992,10]]}}}