{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T17:21:42Z","timestamp":1709832102832},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1992,5,1]],"date-time":"1992-05-01T00:00:00Z","timestamp":704678400000},"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":[[1992,5]]},"DOI":"10.1007\/bf01269946","type":"journal-article","created":{"date-parts":[[2005,3,24]],"date-time":"2005-03-24T00:01:19Z","timestamp":1111622479000},"page":"183-192","source":"Crossref","is-referenced-by-count":5,"title":["Connected components of graphs and reverse mathematics"],"prefix":"10.1007","volume":"31","author":[{"given":"Jeffry L.","family":"Hirst","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","first-page":"235","volume-title":"Proceedings of the International Congress of Mathematicians","author":"H. Friedman","year":"1975","unstructured":"Friedman, H.: Some systems of second order arithmetic and their use. In: James, R. (ed.) Proceedings of the International Congress of Mathematicians. (vol. 1, pp. 235?242) Vancouver: Canadian Mathematical Congress 1975"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/S0049-237X(08)71365-X","volume-title":"Patras logic symposium","author":"H. Friedman","year":"1982","unstructured":"Friedman, H., McAloon, K., Simpson, S.: A finite combinatorial principle which is equivalent to the 1-consistency of predicative analysis. In: Metakides, G. (ed.) Patras logic symposium. Amsterdam New York: North-Holland 1982, pp. 197?230"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/0168-0072(83)90012-X","volume":"25","author":"H. Friedman","year":"1983","unstructured":"Friedman, H., Simpson, S., Smith, R.: Countable algebra and set existence axioms. Ann. Pure Appl. Logic25, 141?181 (1983)","journal-title":"Ann. Pure Appl. Logic"},{"key":"CR4","unstructured":"Hirst, J.: Combinatorics in subsystems of second order arithmetic. Ph.D. Thesis. The Pennsylvania State University 1987"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"1291","DOI":"10.4153\/CJM-1981-097-8","volume":"33","author":"H. Kierstead","year":"1981","unstructured":"Kierstead, H.: Recursive colorings of highly recursive graphs. Can. J. Math.33, 1291?1308 (1981)","journal-title":"Can. J. Math."},{"key":"CR6","series-title":"Lect. Notes Math.","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/BFb0067653","volume-title":"Set theory and hierarchy theory V","author":"L. Kirby","year":"1977","unstructured":"Kirby, L., Paris, J.: Initial segments of models of Peano's axioms. In: Lachlan, A., Srebrny, M., Zarach, A. (eds.) Set theory and hierarchy theory V. (Lect. Notes Math., vol. 619, pp. 211?226) Berlin Heidelberg New York: Springer 1977"},{"key":"CR7","first-page":"199","volume-title":"Logic Colloquium '77","author":"L. Kirby","year":"1978","unstructured":"Kirby, L., Paris, J.:? n -collection schemas in arithmetic. In: MacIntyre, A., Pacholski, L., Pacholski, L., Paris, J. (eds.) Logic Colloquium '77. Amsterdam New York: North-Holland 1978, pp. 199?209"},{"key":"CR8","first-page":"371","volume":"39","author":"A. Manaster","year":"1973","unstructured":"Manaster, A., Rosenstein, J.: Effective matchmaking andk-chromatic graphs. Proc. Am. Math. Soc.39, 371?378 (1973)","journal-title":"Proc. Am. Math. Soc."},{"key":"CR9","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1090\/S0002-9947-1978-0487048-9","volume":"239","author":"K. McAloon","year":"1978","unstructured":"McAloon, K.: Completeness Theorems, incompleteness theorems, and models of arithmetic. Trans. Am. Math. Soc.239, 253?277 (1978)","journal-title":"Trans. Am. Math. Soc."},{"key":"CR10","first-page":"171","volume-title":"Logic Colloquium '77","author":"K. McAloon","year":"1978","unstructured":"McAloon, K.: Diagonal methods and strong cuts in models of arithmetic. In: MacIntyre, A., Pacholski, L., Paris, J. (eds.) Logic Colloquium '77. Amsterdam New York: North-Holland 1978, pp 171?181"},{"key":"CR11","series-title":"Lect. Notes Math.","doi-asserted-by":"crossref","first-page":"312","DOI":"10.1007\/BFb0090171","volume-title":"Models theory of algebra and arithmetic","author":"J. Paris","year":"1980","unstructured":"Paris, J.: A hierarchy of cuts in models of arithmetic. In: Pacholski, L., Wierzejewski, J., Wilkie, A. (eds.) Models theory of algebra and arithmetic. (Lect. Notes Math., vol. 834, pp. 312?337) Berlin Heidelberg New York: Springer 1980"},{"key":"CR12","doi-asserted-by":"crossref","first-page":"821","DOI":"10.4153\/CJM-1980-062-7","volume":"32","author":"J. Schmerl","year":"1980","unstructured":"Schmerl, J.: Recursive colorings of graphs. Can. J. Math.32, 821?830 (1980)","journal-title":"Can. J. Math."},{"key":"CR13","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1090\/pspum\/005\/0141595","volume":"5","author":"D. Scott","year":"1962","unstructured":"Scott, D.: Algebras of sets binumerable in complete extensions of arithmetic. Proc. Symp. Pure Math.5, 117?121 (1962)","journal-title":"Proc. Symp. Pure Math."},{"key":"CR14","doi-asserted-by":"crossref","first-page":"233","DOI":"10.2307\/2964680","volume":"25","author":"J. Shoenfield","year":"1960","unstructured":"Shoenfield, J.: Degrees of models. J. Symb. Logic25, 233?237 (1960)","journal-title":"J. Symb. Logic"},{"key":"CR15","doi-asserted-by":"crossref","first-page":"783","DOI":"10.2307\/2274131","volume":"49","author":"S. Simpson","year":"1984","unstructured":"Simpson, S.: Which set existence axioms are needed to prove the Cauchy\/Peano theorem for ordinary differential equations? J. Symb. Logic49, 783?802 (1984)","journal-title":"J. Symb. Logic"},{"key":"CR16","volume-title":"Proof theory","author":"S. Simpson","year":"1985","unstructured":"Simpson, S.: Subsystems ofZ 2 and reverse mathematics. In: Takeuti, G. (ed.) Proof theory. Amsterdam New York: North-Holland 1985"},{"key":"CR17","doi-asserted-by":"crossref","first-page":"961","DOI":"10.2307\/2274585","volume":"53","author":"S. Simpson","year":"1988","unstructured":"Simpson, S.: Ordinal numbers and the Hilbert basis theorem. J. Symb. Logic53, 961?974 (1988)","journal-title":"J. Symb. Logic"},{"key":"CR18","unstructured":"Simpson, S.: Subsystems of second order arithmetic (in preparation)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01269946.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01269946\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01269946","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T14:13:58Z","timestamp":1556633638000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01269946"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,5]]},"references-count":18,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1992,5]]}},"alternative-id":["BF01269946"],"URL":"https:\/\/doi.org\/10.1007\/bf01269946","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,5]]}}}