{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T06:48:18Z","timestamp":1648622898727},"reference-count":7,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1989,6,1]],"date-time":"1989-06-01T00:00:00Z","timestamp":612662400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch Math Logic"],"published-print":{"date-parts":[[1989,6]]},"DOI":"10.1007\/bf01620619","type":"journal-article","created":{"date-parts":[[2005,4,30]],"date-time":"2005-04-30T17:14:27Z","timestamp":1114881267000},"page":"85-109","source":"Crossref","is-referenced-by-count":2,"title":["Some uses of dilators in combinatorial problems"],"prefix":"10.1007","volume":"29","author":[{"given":"V. Michele","family":"Abrusci","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"Abrusci, V.M.: Dilators, generalized Goodstein sequences, independence results (A survey). In: Simpson, S.G. (ed.) Logic and combinatorics, pp. 1\u201323. Am. Math. Soc., 1987","DOI":"10.1090\/conm\/065\/891240"},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"Abrusci, V.M., Girard, J.Y., Van de Wiele, J.: Some uses of dilators in combinatorial problems. Part I. In: Simpson, S.G. (ed.) Logic and combinatorics.pp. 25\u201353. Am. Math. Soc., 1987","DOI":"10.1090\/conm\/065\/891241"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0003-4843(81)90016-4","volume":"21","author":"J.Y. Girard","year":"1981","unstructured":"Girard, J.Y.:\u03c0 2 1 -logic. Part I: Dilators. Ann. Math. Logic21, 75\u2013219 (1981)","journal-title":"Ann. Math. Logic"},{"key":"CR4","unstructured":"Girard, J.Y.: Proof theory and logical complexity, Vol. I, Bibliopolis 1987"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"713","DOI":"10.2307\/2274127","volume":"49","author":"J.Y. Girard","year":"1984","unstructured":"Girard, J.Y., Vauzeilles, J.: A functorial construction of the Veblen hierarchy. J. Symb. Logic49, 713\u2013729 (1984)","journal-title":"J. Symb. Logic"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1112\/blms\/14.4.285","volume":"14","author":"L. Kirby","year":"1982","unstructured":"Kirby, L., Paris, J.: Accessible independence results for Peano Arithmetic. Bull Lond. Math. Soc.14, 285\u2013293 (1982)","journal-title":"Bull Lond. Math. Soc."},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"Paris, J., Harrington, L.: A mathematical incompleteness in Peano Arithmetic. In: Barwise, J. (ed.) Handbook of Mathematical Logic, pp. 1133\u20131142. North-Holland 1977","DOI":"10.1016\/S0049-237X(08)71130-3"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01620619.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01620619\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01620619","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,7]],"date-time":"2019-05-07T18:30:37Z","timestamp":1557253837000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01620619"}},"subtitle":["Part III. Independence results by means of decreasingF-sequences (F Weakly Finite Dilator)"],"short-title":[],"issued":{"date-parts":[[1989,6]]},"references-count":7,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1989,6]]}},"alternative-id":["BF01620619"],"URL":"https:\/\/doi.org\/10.1007\/bf01620619","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989,6]]}}}