Matches in SemOpenAlex for { <https://semopenalex.org/work/W2955572746> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2955572746 abstract "Abstract Good m-tuples, m-tuples of r.e. sets without Schmerl decompositions, were introduced by Schmerl, who used them to investigate the reverse mathematics of Grundy colorings of graphs. Schmerl considered only standard m, for which our definitions of weakly good, good, and strongly good coincide. The existence of good tuples for nonstandard m depends on how much induction is available in the model. We show that in models of first-order arithmetic, over a base theory of I Δ 1 0 + B Σ 1 0 + E X P , the existence of arbitrarily long weakly good tuples is equivalent to I Σ 1 0 and the existence of arbitrarily long good or strongly good tuples is equivalent to B Σ 3 0 . Consequences for second-order arithmetic include that, over R C A 0 ⁎ , the existence of arbitrarily long good tuples is equivalent to B Σ 3 0 + ¬ A C A ." @default.
- W2955572746 created "2019-07-12" @default.
- W2955572746 creator A5009182260 @default.
- W2955572746 creator A5013806029 @default.
- W2955572746 creator A5014153184 @default.
- W2955572746 creator A5024264947 @default.
- W2955572746 creator A5056375116 @default.
- W2955572746 date "2019-12-01" @default.
- W2955572746 modified "2023-10-15" @default.
- W2955572746 title "Schmerl decompositions in first order arithmetic" @default.
- W2955572746 cites W1491244198 @default.
- W2955572746 cites W1556453281 @default.
- W2955572746 cites W1966303569 @default.
- W2955572746 cites W2150668265 @default.
- W2955572746 doi "https://doi.org/10.1016/j.apal.2019.102717" @default.
- W2955572746 hasPublicationYear "2019" @default.
- W2955572746 type Work @default.
- W2955572746 sameAs 2955572746 @default.
- W2955572746 citedByCount "0" @default.
- W2955572746 crossrefType "journal-article" @default.
- W2955572746 hasAuthorship W2955572746A5009182260 @default.
- W2955572746 hasAuthorship W2955572746A5013806029 @default.
- W2955572746 hasAuthorship W2955572746A5014153184 @default.
- W2955572746 hasAuthorship W2955572746A5024264947 @default.
- W2955572746 hasAuthorship W2955572746A5056375116 @default.
- W2955572746 hasBestOaLocation W29555727461 @default.
- W2955572746 hasConcept C10138342 @default.
- W2955572746 hasConcept C114614502 @default.
- W2955572746 hasConcept C118615104 @default.
- W2955572746 hasConcept C118930307 @default.
- W2955572746 hasConcept C134306372 @default.
- W2955572746 hasConcept C162324750 @default.
- W2955572746 hasConcept C182306322 @default.
- W2955572746 hasConcept C33923547 @default.
- W2955572746 hasConcept C42058472 @default.
- W2955572746 hasConcept C65148605 @default.
- W2955572746 hasConcept C94375191 @default.
- W2955572746 hasConcept C97489613 @default.
- W2955572746 hasConceptScore W2955572746C10138342 @default.
- W2955572746 hasConceptScore W2955572746C114614502 @default.
- W2955572746 hasConceptScore W2955572746C118615104 @default.
- W2955572746 hasConceptScore W2955572746C118930307 @default.
- W2955572746 hasConceptScore W2955572746C134306372 @default.
- W2955572746 hasConceptScore W2955572746C162324750 @default.
- W2955572746 hasConceptScore W2955572746C182306322 @default.
- W2955572746 hasConceptScore W2955572746C33923547 @default.
- W2955572746 hasConceptScore W2955572746C42058472 @default.
- W2955572746 hasConceptScore W2955572746C65148605 @default.
- W2955572746 hasConceptScore W2955572746C94375191 @default.
- W2955572746 hasConceptScore W2955572746C97489613 @default.
- W2955572746 hasFunder F4320306076 @default.
- W2955572746 hasLocation W29555727461 @default.
- W2955572746 hasOpenAccess W2955572746 @default.
- W2955572746 hasPrimaryLocation W29555727461 @default.
- W2955572746 hasRelatedWork W13327089 @default.
- W2955572746 hasRelatedWork W2136906 @default.
- W2955572746 hasRelatedWork W27177283 @default.
- W2955572746 hasRelatedWork W40823199 @default.
- W2955572746 hasRelatedWork W40864523 @default.
- W2955572746 hasRelatedWork W45058941 @default.
- W2955572746 hasRelatedWork W47350520 @default.
- W2955572746 hasRelatedWork W55887084 @default.
- W2955572746 hasRelatedWork W56550333 @default.
- W2955572746 hasRelatedWork W7252107 @default.
- W2955572746 isParatext "false" @default.
- W2955572746 isRetracted "false" @default.
- W2955572746 magId "2955572746" @default.
- W2955572746 workType "article" @default.