{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T02:39:12Z","timestamp":1794364752866,"version":"4.9.0"},"reference-count":41,"publisher":"Elsevier","isbn-type":[{"value":"9780444878342","type":"print"}],"license":[{"start":{"date-parts":[[1985,1,1]],"date-time":"1985-01-01T00:00:00Z","timestamp":473385600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1985,1,1]],"date-time":"1985-01-01T00:00:00Z","timestamp":473385600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1016\/s0049-237x(09)70156-9","type":"book-chapter","created":{"date-parts":[[2009,7,7]],"date-time":"2009-07-07T07:12:25Z","timestamp":1246950745000},"page":"87-117","source":"Crossref","is-referenced-by-count":61,"title":["Nonprovability of Certain Combinatorial Properties of Finite Trees"],"prefix":"10.1016","member":"78","reference":[{"key":"10.1016\/S0049-237X(09)70156-9_bib1","unstructured":"W. Buchholz, A new system of proof-theoretic ordinal functions, in prepartion. (See also [1a].)"},{"key":"10.1016\/S0049-237X(09)70156-9_bib2","unstructured":"W. Buchholz, An independence result for (\u03a011-CA)+BI, Annals of Pure and Applied Logic, to appear."},{"key":"10.1016\/S0049-237X(09)70156-9_bib3","series-title":"Lecture Notes in Mathematics 897","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1007\/BFb0091894","article-title":"Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies","author":"Buchholz","year":"1981"},{"key":"10.1016\/S0049-237X(09)70156-9_bib4","series-title":"Sitzungsberichte der Bayerischen Akademie der Wiss.","first-page":"99","article-title":"Ein Ordinalzahlensystem f\u00fcr die beweistheoretische Abgrenzung der \u03a012-Separation und Bar-Induktion","author":"Buchholz","year":"1983"},{"key":"10.1016\/S0049-237X(09)70156-9_bib5","unstructured":"W. Buchholz and K. Sch\u00fctte, Proof Theoretic Ordinals of Impredicative Subsystems of Analysis, in preparation."},{"key":"10.1016\/S0049-237X(09)70156-9_bib6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2269764","article-title":"Systems of predicative analysis","volume":"29","author":"Feferman","year":"1964","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S0049-237X(09)70156-9_bib7","unstructured":"H. Friedman, Some systems of second order arithmetic and their use, Procedings of the International Congress of Mathematicians (Vancouver, 1974), vol. 1, Canadian Mathematical Congress, 1975, pp. 235-242."},{"key":"10.1016\/S0049-237X(09)70156-9_bib8","first-page":"557","article-title":"Systems of second order arithmetic with restricted induction (abstracts)","volume":"41","author":"Friedman","year":"1976","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S0049-237X(09)70156-9_bib9","series-title":"Independence results in finite graph theory I-VII","first-page":"76","author":"Friedman","year":"1981"},{"key":"10.1016\/S0049-237X(09)70156-9_bib10","series-title":"Beyond Kruskal's theorem I-III","first-page":"48","author":"Friedman","year":"1982"},{"key":"10.1016\/S0049-237X(09)70156-9_bib11","doi-asserted-by":"crossref","unstructured":"H. Friedman, K. McAloon and S. G. Simpson, A finite combinatorial principle which is equivalent to the 1-consistency of predicative analysis, Patras Logic Symposion (edited by G. Metakides), North-Holland, 1982, pp. 197-230.","DOI":"10.1016\/S0049-237X(08)71365-X"},{"key":"10.1016\/S0049-237X(09)70156-9_bib12","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/0168-0072(83)90012-X","article-title":"Countable algebra and set existence axioms","volume":"25","author":"Friedman","year":"1983","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S0049-237X(09)70156-9_bib13","doi-asserted-by":"crossref","first-page":"326","DOI":"10.1112\/plms\/s3-2.1.326","article-title":"Ordering by divisibility in abstract algebras","volume":"2","author":"Higman","year":"1952","journal-title":"Proc. Lond Math. Soc."},{"key":"10.1016\/S0049-237X(09)70156-9_bib14","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/BF02007140","article-title":"\u03c1-inaccessible ordinals, collapsing functions, and a recursive notation system","volume":"24","author":"J\u00e4ger","year":"1984","journal-title":"Archiv f. math. Logik u. Grundlagenf."},{"key":"10.1016\/S0049-237X(09)70156-9_bib15","doi-asserted-by":"crossref","first-page":"233","DOI":"10.2307\/2274140","article-title":"The strength of admissibility without foundation","volume":"49","author":"J\u00e4ger","year":"1984","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S0049-237X(09)70156-9_bib16","unstructured":"G. J\u00e4ger and W. Pohlers, Admissible Proof Theory, Springer-Verlag, in prepartion."},{"key":"10.1016\/S0049-237X(09)70156-9_bib17","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\/S0049-237X(09)70156-9_bib18","first-page":"121","article-title":"\u00dcber eine Schlussweise aus dem Endlichen ins Unendliche","volume":"3","author":"K\u00f6nig","year":"1927","journal-title":"Acta Litterarum ac Scientarum (Ser. Sci. Math.) Szeged"},{"key":"10.1016\/S0049-237X(09)70156-9_bib19","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."},{"key":"10.1016\/S0049-237X(09)70156-9_bib20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S030500410005204X","article-title":"Well-quasi-orderings and sets of finite sequences","volume":"79","author":"Laver","year":"1976","journal-title":"Math. Proc. Cambridge Phil. Soc."},{"key":"10.1016\/S0049-237X(09)70156-9_bib21","first-page":"31","article-title":"Better-quasi-orderings and a class of trees, Studies in Foundations and Combinatorics","volume":"1","author":"Laver","year":"1978","journal-title":"Adv. in Math. Supplementary Studies"},{"key":"10.1016\/S0049-237X(09)70156-9_bib22","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0095-8956(72)90015-9","article-title":"Wohlquasigeordnete Klassen endlicher Graphen","volume":"12","author":"Mader","year":"1972","journal-title":"Journal of Combinatorial Theory B"},{"key":"10.1016\/S0049-237X(09)70156-9_bib23","doi-asserted-by":"crossref","first-page":"833","DOI":"10.1017\/S0305004100003844","article-title":"On well-quasi-ordering finite trees","volume":"59","author":"Nash-Williams","year":"1963","journal-title":"Proc. Cambridge Phil. Soc."},{"key":"10.1016\/S0049-237X(09)70156-9_bib24","series-title":"A mathematical incompleteness in Peano arithmetic","first-page":"1133","author":"Paris","year":"1977"},{"key":"10.1016\/S0049-237X(09)70156-9_bib25","series-title":"An upper bound for the provablility of transfinite induction in systems with n-times iterated inductive definitions","first-page":"271","author":"Pohlers","year":"1975"},{"key":"10.1016\/S0049-237X(09)70156-9_bib26","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1112\/plms\/s2-30.1.264","article-title":"On a problem of formal logic","volume":"30","author":"Ramsey","year":"1930","journal-title":"Proc. London Math. Soc."},{"key":"10.1016\/S0049-237X(09)70156-9_bib27","doi-asserted-by":"crossref","first-page":"423","DOI":"10.2307\/2273152","article-title":"On the role of Ramsey quantifiers in first order arithmetic","volume":"47","author":"Schmerl","year":"1982","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S0049-237X(09)70156-9_bib28","series-title":"Well-partial orderings and their maximal order types","first-page":"77","author":"Schmidt","year":"1979"},{"key":"10.1016\/S0049-237X(09)70156-9_bib29","series-title":"Predicative well-orderings, Formal Systems and Recursive Functions","first-page":"280","author":"Sch\u00fctte","year":"1965"},{"key":"10.1016\/S0049-237X(09)70156-9_bib30","series-title":"Proof Theory","first-page":"299","author":"Sch\u00fctte","year":"1977"},{"key":"10.1016\/S0049-237X(09)70156-9_bib31","series-title":"On logical sentences in PA","first-page":"15","author":"Shelah","year":"1983"},{"key":"10.1016\/S0049-237X(09)70156-9_bib32","first-page":"127","article-title":"BQO theory and Fraisse's conjecture, Chapter 9 of: R. Mansfield and G. Weitkamp","author":"Simpson","year":"1985","journal-title":"Descriptive Set Theory, Oxford Logic Guides"},{"key":"10.1016\/S0049-237X(09)70156-9_bib33","series-title":"\u03a011 and \u03a011 transfinite induction, Logic Colloquim '80","first-page":"239","author":"Simpson","year":"1982"},{"key":"10.1016\/S0049-237X(09)70156-9_bib34","series-title":"Logic Colloquim '80","first-page":"254","article-title":"Set theoretic aspects of ATR0","author":"Simpson","year":"1982"},{"key":"10.1016\/S0049-237X(09)70156-9_bib35","doi-asserted-by":"crossref","first-page":"361","DOI":"10.2307\/2274131","article-title":"Which set existence axioms are needed to prove the Cauchy\/ Peano theorem for ordinary differential equations?","volume":"49","author":"Simpson","year":"1984","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S0049-237X(09)70156-9_bib36","unstructured":"S. G. Simpson, Reverse Mathematics, Proceedings of the AMS Summer Institute in Recursion Theory (edited by A. Nerode and R. Shore), in press."},{"key":"10.1016\/S0049-237X(09)70156-9_bib37","unstructured":"S. G. Simpson, Subsystems of Second Order Arithmetic, in preparation."},{"key":"10.1016\/S0049-237X(09)70156-9_bib38","series-title":"Determinateness and subsystems of analysis","first-page":"107","author":"Steel","year":"1976"},{"key":"10.1016\/S0049-237X(09)70156-9_bib39","doi-asserted-by":"crossref","first-page":"386","DOI":"10.2969\/jmsj\/00940386","article-title":"Ordinal diagrams","volume":"9","author":"Takeuti","year":"1957","journal-title":"J. Math. Soc. Japan"},{"key":"10.1016\/S0049-237X(09)70156-9_bib40","series-title":"Proof Theory","first-page":"372","author":"Takeuti","year":"1975"},{"key":"10.1016\/S0049-237X(09)70156-9_bib41","series-title":"Two Applications of Logic to Mathematics","first-page":"139","author":"Takeuti","year":"1978"}],"container-title":["Studies in Logic and the Foundations of Mathematics","Harvey Friedman's Research on the Foundations of Mathematics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0049237X09701569?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0049237X09701569?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,9,24]],"date-time":"2025-09-24T17:29:43Z","timestamp":1758734983000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0049237X09701569"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9780444878342"],"references-count":41,"URL":"https:\/\/doi.org\/10.1016\/s0049-237x(09)70156-9","relation":{},"ISSN":["0049-237X"],"issn-type":[{"value":"0049-237X","type":"print"}],"subject":[],"published":{"date-parts":[[1985]]}}}