Matches in SemOpenAlex for { <https://semopenalex.org/work/W6616102> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W6616102 endingPage "117" @default.
- W6616102 startingPage "87" @default.
- W6616102 abstract "In this paper we exposit some as yet unpublished results of Harvey Friedman. These results provide the most dramatic examples so far known of mathematically meaningful theorems of finite combinatorics which are unprovable in certain logical systems. The relevant logical systems, ATR0 and Π11-CA0, are well known as relatively strong fragments of second order arithmetic. The unprovable combinatorial theorems are concerned with embeddability properties of finite trees. Friedman's methods are based in part on the existence of a close relationship between finite trees on the one hand, and systems of ordinal notations which occur in Gentzen-style proof theory on the other." @default.
- W6616102 created "2016-06-24" @default.
- W6616102 creator A5026802191 @default.
- W6616102 date "1985-01-01" @default.
- W6616102 modified "2023-10-16" @default.
- W6616102 title "Nonprovability of Certain Combinatorial Properties of Finite Trees" @default.
- W6616102 cites W1522998756 @default.
- W6616102 cites W1579817075 @default.
- W6616102 cites W2011178105 @default.
- W6616102 cites W2031830176 @default.
- W6616102 cites W2045403474 @default.
- W6616102 cites W2050939025 @default.
- W6616102 cites W2066878363 @default.
- W6616102 cites W2076508310 @default.
- W6616102 cites W2081002360 @default.
- W6616102 cites W2081739832 @default.
- W6616102 cites W2095689360 @default.
- W6616102 cites W2106260240 @default.
- W6616102 cites W2163841074 @default.
- W6616102 cites W4238411937 @default.
- W6616102 cites W78146983 @default.
- W6616102 doi "https://doi.org/10.1016/s0049-237x(09)70156-9" @default.
- W6616102 hasPublicationYear "1985" @default.
- W6616102 type Work @default.
- W6616102 sameAs 6616102 @default.
- W6616102 citedByCount "78" @default.
- W6616102 countsByYear W66161022013 @default.
- W6616102 countsByYear W66161022014 @default.
- W6616102 countsByYear W66161022015 @default.
- W6616102 countsByYear W66161022016 @default.
- W6616102 countsByYear W66161022017 @default.
- W6616102 countsByYear W66161022018 @default.
- W6616102 countsByYear W66161022019 @default.
- W6616102 countsByYear W66161022020 @default.
- W6616102 countsByYear W66161022021 @default.
- W6616102 countsByYear W66161022022 @default.
- W6616102 countsByYear W66161022023 @default.
- W6616102 crossrefType "book-chapter" @default.
- W6616102 hasAuthorship W6616102A5026802191 @default.
- W6616102 hasConcept C10138342 @default.
- W6616102 hasConcept C118539577 @default.
- W6616102 hasConcept C118615104 @default.
- W6616102 hasConcept C136119220 @default.
- W6616102 hasConcept C162324750 @default.
- W6616102 hasConcept C182306322 @default.
- W6616102 hasConcept C202444582 @default.
- W6616102 hasConcept C33923547 @default.
- W6616102 hasConcept C45357846 @default.
- W6616102 hasConcept C65148605 @default.
- W6616102 hasConcept C94375191 @default.
- W6616102 hasConcept C97489613 @default.
- W6616102 hasConceptScore W6616102C10138342 @default.
- W6616102 hasConceptScore W6616102C118539577 @default.
- W6616102 hasConceptScore W6616102C118615104 @default.
- W6616102 hasConceptScore W6616102C136119220 @default.
- W6616102 hasConceptScore W6616102C162324750 @default.
- W6616102 hasConceptScore W6616102C182306322 @default.
- W6616102 hasConceptScore W6616102C202444582 @default.
- W6616102 hasConceptScore W6616102C33923547 @default.
- W6616102 hasConceptScore W6616102C45357846 @default.
- W6616102 hasConceptScore W6616102C65148605 @default.
- W6616102 hasConceptScore W6616102C94375191 @default.
- W6616102 hasConceptScore W6616102C97489613 @default.
- W6616102 hasLocation W66161021 @default.
- W6616102 hasOpenAccess W6616102 @default.
- W6616102 hasPrimaryLocation W66161021 @default.
- W6616102 hasRelatedWork W2024638892 @default.
- W6616102 hasRelatedWork W2272769716 @default.
- W6616102 hasRelatedWork W2511934226 @default.
- W6616102 hasRelatedWork W2945500475 @default.
- W6616102 hasRelatedWork W2963177394 @default.
- W6616102 hasRelatedWork W2963236881 @default.
- W6616102 hasRelatedWork W2966650324 @default.
- W6616102 hasRelatedWork W4300430582 @default.
- W6616102 hasRelatedWork W4301376359 @default.
- W6616102 hasRelatedWork W763418848 @default.
- W6616102 isParatext "false" @default.
- W6616102 isRetracted "false" @default.
- W6616102 magId "6616102" @default.
- W6616102 workType "book-chapter" @default.