Matches in SemOpenAlex for { <https://semopenalex.org/work/W2964144838> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2964144838 endingPage "102" @default.
- W2964144838 startingPage "89" @default.
- W2964144838 abstract "Abstract We characterize the effective content and the proof-theoretic strength of a Ramsey-type theorem for bi-colorings of so-called exactly large sets. An exactly large set is a set $X subset {bf{N}}$ such that ${rm{card}}left( X right) = {rm{min}}left( X right) + 1$ . The theorem we analyze is as follows. For every infinite subset M of N, for every coloring C of the exactly large subsets of M in two colors, there exists and infinite subset L of M such that C is constant on all exactly large subsets of L . This theorem is essentially due to Pudlák and Rödl and independently to Farmaki. We prove that—over RCA 0 —this theorem is equivalent to closure under the ω th Turing jump (i.e., under arithmetical truth). Natural combinatorial theorems at this level of complexity are rare. In terms of Reverse Mathematics we give the first Ramsey-theoretic characterization of ${rm{ACA}}_0^ +$ . Our results give a complete characterization of the theorem from the point of view of Computability Theory and of the Proof Theory of Arithmetic. This nicely extends the current knowledge about the strength of Ramsey’s Theorem. We also show that analogous results hold for a related principle based on the Regressive Ramsey’s Theorem. We conjecture that analogous results hold for larger ordinals." @default.
- W2964144838 created "2019-07-30" @default.
- W2964144838 creator A5011769838 @default.
- W2964144838 creator A5038321878 @default.
- W2964144838 date "2014-03-01" @default.
- W2964144838 modified "2023-09-27" @default.
- W2964144838 title "THE STRENGTH OF RAMSEY’S THEOREM FOR COLORING RELATIVELY LARGE SETS" @default.
- W2964144838 cites W1980508304 @default.
- W2964144838 cites W1988940169 @default.
- W2964144838 cites W2016125425 @default.
- W2964144838 cites W2036673058 @default.
- W2964144838 cites W2057392475 @default.
- W2964144838 cites W2108178829 @default.
- W2964144838 doi "https://doi.org/10.1017/jsl.2013.27" @default.
- W2964144838 hasPublicationYear "2014" @default.
- W2964144838 type Work @default.
- W2964144838 sameAs 2964144838 @default.
- W2964144838 citedByCount "3" @default.
- W2964144838 countsByYear W29641448382017 @default.
- W2964144838 countsByYear W29641448382020 @default.
- W2964144838 countsByYear W29641448382021 @default.
- W2964144838 crossrefType "journal-article" @default.
- W2964144838 hasAuthorship W2964144838A5011769838 @default.
- W2964144838 hasAuthorship W2964144838A5038321878 @default.
- W2964144838 hasConcept C112291201 @default.
- W2964144838 hasConcept C114614502 @default.
- W2964144838 hasConcept C118615104 @default.
- W2964144838 hasConcept C127753061 @default.
- W2964144838 hasConcept C132525143 @default.
- W2964144838 hasConcept C146834321 @default.
- W2964144838 hasConcept C162324750 @default.
- W2964144838 hasConcept C167729594 @default.
- W2964144838 hasConcept C171250308 @default.
- W2964144838 hasConcept C192562407 @default.
- W2964144838 hasConcept C199360897 @default.
- W2964144838 hasConcept C2524010 @default.
- W2964144838 hasConcept C2778029271 @default.
- W2964144838 hasConcept C2780841128 @default.
- W2964144838 hasConcept C2780990831 @default.
- W2964144838 hasConcept C33923547 @default.
- W2964144838 hasConcept C34447519 @default.
- W2964144838 hasConcept C41008148 @default.
- W2964144838 hasConcept C44115641 @default.
- W2964144838 hasConceptScore W2964144838C112291201 @default.
- W2964144838 hasConceptScore W2964144838C114614502 @default.
- W2964144838 hasConceptScore W2964144838C118615104 @default.
- W2964144838 hasConceptScore W2964144838C127753061 @default.
- W2964144838 hasConceptScore W2964144838C132525143 @default.
- W2964144838 hasConceptScore W2964144838C146834321 @default.
- W2964144838 hasConceptScore W2964144838C162324750 @default.
- W2964144838 hasConceptScore W2964144838C167729594 @default.
- W2964144838 hasConceptScore W2964144838C171250308 @default.
- W2964144838 hasConceptScore W2964144838C192562407 @default.
- W2964144838 hasConceptScore W2964144838C199360897 @default.
- W2964144838 hasConceptScore W2964144838C2524010 @default.
- W2964144838 hasConceptScore W2964144838C2778029271 @default.
- W2964144838 hasConceptScore W2964144838C2780841128 @default.
- W2964144838 hasConceptScore W2964144838C2780990831 @default.
- W2964144838 hasConceptScore W2964144838C33923547 @default.
- W2964144838 hasConceptScore W2964144838C34447519 @default.
- W2964144838 hasConceptScore W2964144838C41008148 @default.
- W2964144838 hasConceptScore W2964144838C44115641 @default.
- W2964144838 hasIssue "01" @default.
- W2964144838 hasLocation W29641448381 @default.
- W2964144838 hasOpenAccess W2964144838 @default.
- W2964144838 hasPrimaryLocation W29641448381 @default.
- W2964144838 hasRelatedWork W153926374 @default.
- W2964144838 hasRelatedWork W1579874394 @default.
- W2964144838 hasRelatedWork W2005510206 @default.
- W2964144838 hasRelatedWork W2092296749 @default.
- W2964144838 hasRelatedWork W2143075371 @default.
- W2964144838 hasRelatedWork W2144268026 @default.
- W2964144838 hasRelatedWork W2160990703 @default.
- W2964144838 hasRelatedWork W2914945148 @default.
- W2964144838 hasRelatedWork W4213440678 @default.
- W2964144838 hasRelatedWork W4298041365 @default.
- W2964144838 hasVolume "79" @default.
- W2964144838 isParatext "false" @default.
- W2964144838 isRetracted "false" @default.
- W2964144838 magId "2964144838" @default.
- W2964144838 workType "article" @default.