Matches in SemOpenAlex for { <https://semopenalex.org/work/W3098312506> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W3098312506 endingPage "564" @default.
- W3098312506 startingPage "543" @default.
- W3098312506 abstract "We show that the maximal linear extension theorem for well partial orders is equivalent over RCA_0 to ATR_0. Analogously, the maximal chain theorem for well partial orders is equivalent to ATR_0 over RCA_0." @default.
- W3098312506 created "2020-11-23" @default.
- W3098312506 creator A5041739806 @default.
- W3098312506 creator A5047796693 @default.
- W3098312506 date "2011-03-20" @default.
- W3098312506 modified "2023-09-23" @default.
- W3098312506 title "The maximal linear extension theorem in second order arithmetic" @default.
- W3098312506 cites W1531947624 @default.
- W3098312506 cites W1974315792 @default.
- W3098312506 cites W1978908128 @default.
- W3098312506 cites W1987660018 @default.
- W3098312506 cites W1994073383 @default.
- W3098312506 cites W2011907193 @default.
- W3098312506 cites W2067016370 @default.
- W3098312506 cites W2073113995 @default.
- W3098312506 cites W2075746519 @default.
- W3098312506 cites W2076508310 @default.
- W3098312506 cites W2085256946 @default.
- W3098312506 cites W2101320428 @default.
- W3098312506 cites W2104452294 @default.
- W3098312506 cites W2110917011 @default.
- W3098312506 cites W2116579313 @default.
- W3098312506 cites W2138899395 @default.
- W3098312506 cites W2144268026 @default.
- W3098312506 cites W2148962283 @default.
- W3098312506 cites W2316932045 @default.
- W3098312506 cites W2598651983 @default.
- W3098312506 cites W2598690095 @default.
- W3098312506 cites W4229690001 @default.
- W3098312506 cites W4245863089 @default.
- W3098312506 cites W6616102 @default.
- W3098312506 cites W751093601 @default.
- W3098312506 doi "https://doi.org/10.1007/s00153-011-0231-1" @default.
- W3098312506 hasPublicationYear "2011" @default.
- W3098312506 type Work @default.
- W3098312506 sameAs 3098312506 @default.
- W3098312506 citedByCount "7" @default.
- W3098312506 countsByYear W30983125062012 @default.
- W3098312506 countsByYear W30983125062014 @default.
- W3098312506 countsByYear W30983125062016 @default.
- W3098312506 countsByYear W30983125062020 @default.
- W3098312506 countsByYear W30983125062021 @default.
- W3098312506 countsByYear W30983125062022 @default.
- W3098312506 crossrefType "journal-article" @default.
- W3098312506 hasAuthorship W3098312506A5041739806 @default.
- W3098312506 hasAuthorship W3098312506A5047796693 @default.
- W3098312506 hasBestOaLocation W30983125062 @default.
- W3098312506 hasConcept C10138342 @default.
- W3098312506 hasConcept C118615104 @default.
- W3098312506 hasConcept C136119220 @default.
- W3098312506 hasConcept C162324750 @default.
- W3098312506 hasConcept C182306322 @default.
- W3098312506 hasConcept C199360897 @default.
- W3098312506 hasConcept C202444582 @default.
- W3098312506 hasConcept C2778029271 @default.
- W3098312506 hasConcept C33923547 @default.
- W3098312506 hasConcept C41008148 @default.
- W3098312506 hasConcept C65148605 @default.
- W3098312506 hasConcept C94375191 @default.
- W3098312506 hasConcept C97489613 @default.
- W3098312506 hasConceptScore W3098312506C10138342 @default.
- W3098312506 hasConceptScore W3098312506C118615104 @default.
- W3098312506 hasConceptScore W3098312506C136119220 @default.
- W3098312506 hasConceptScore W3098312506C162324750 @default.
- W3098312506 hasConceptScore W3098312506C182306322 @default.
- W3098312506 hasConceptScore W3098312506C199360897 @default.
- W3098312506 hasConceptScore W3098312506C202444582 @default.
- W3098312506 hasConceptScore W3098312506C2778029271 @default.
- W3098312506 hasConceptScore W3098312506C33923547 @default.
- W3098312506 hasConceptScore W3098312506C41008148 @default.
- W3098312506 hasConceptScore W3098312506C65148605 @default.
- W3098312506 hasConceptScore W3098312506C94375191 @default.
- W3098312506 hasConceptScore W3098312506C97489613 @default.
- W3098312506 hasIssue "5-6" @default.
- W3098312506 hasLocation W30983125061 @default.
- W3098312506 hasLocation W30983125062 @default.
- W3098312506 hasLocation W30983125063 @default.
- W3098312506 hasOpenAccess W3098312506 @default.
- W3098312506 hasPrimaryLocation W30983125061 @default.
- W3098312506 hasRelatedWork W1582375865 @default.
- W3098312506 hasRelatedWork W1841979199 @default.
- W3098312506 hasRelatedWork W2033571057 @default.
- W3098312506 hasRelatedWork W2320266418 @default.
- W3098312506 hasRelatedWork W2325022266 @default.
- W3098312506 hasRelatedWork W2325223994 @default.
- W3098312506 hasRelatedWork W3080875783 @default.
- W3098312506 hasRelatedWork W4235204565 @default.
- W3098312506 hasRelatedWork W4251067554 @default.
- W3098312506 hasRelatedWork W4312285938 @default.
- W3098312506 hasVolume "50" @default.
- W3098312506 isParatext "false" @default.
- W3098312506 isRetracted "false" @default.
- W3098312506 magId "3098312506" @default.
- W3098312506 workType "article" @default.