Matches in SemOpenAlex for { <https://semopenalex.org/work/W3046689053> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W3046689053 abstract "Hirschfeldt and Jockusch (2016) introduced a two-player game in which winning strategies for one or the other player precisely correspond to implications and non-implications between [Formula: see text] principles over [Formula: see text]-models of [Formula: see text]. They also introduced a version of this game that similarly captures provability over [Formula: see text]. We generalize and extend this game-theoretic framework to other formal systems, and establish a certain compactness result that shows that if an implication [Formula: see text] between two principles holds, then there exists a winning strategy that achieves victory in a number of moves bounded by a number independent of the specific run of the game. This compactness result generalizes an old proof-theoretic fact noted by H. Wang (1981), and has applications to the reverse mathematics of combinatorial principles. We also demonstrate how this framework leads to a new kind of analysis of the logical strength of mathematical problems that refines both that of reverse mathematics and that of computability-theoretic notions such as Weihrauch reducibility, allowing for a kind of fine-structural comparison between [Formula: see text] principles that has both computability-theoretic and proof-theoretic aspects, and can help us distinguish between these, for example by showing that a certain use of a principle in a proof is “purely proof-theoretic”, as opposed to relying on its computability-theoretic strength. We give examples of this analysis to a number of principles at the level of [Formula: see text], uncovering new differences between their logical strengths." @default.
- W3046689053 created "2020-08-07" @default.
- W3046689053 creator A5015485533 @default.
- W3046689053 creator A5027589956 @default.
- W3046689053 creator A5084317489 @default.
- W3046689053 date "2022-06-22" @default.
- W3046689053 modified "2023-09-23" @default.
- W3046689053 title "Reduction games, provability and compactness" @default.
- W3046689053 cites W1556453281 @default.
- W3046689053 cites W1572451808 @default.
- W3046689053 cites W1966303569 @default.
- W3046689053 cites W2023021577 @default.
- W3046689053 cites W2027774232 @default.
- W3046689053 cites W2032211530 @default.
- W3046689053 cites W2044009111 @default.
- W3046689053 cites W2078087148 @default.
- W3046689053 cites W2102358420 @default.
- W3046689053 cites W2131443763 @default.
- W3046689053 cites W2148962283 @default.
- W3046689053 cites W2407347945 @default.
- W3046689053 cites W2474654837 @default.
- W3046689053 cites W2559546918 @default.
- W3046689053 cites W2736063278 @default.
- W3046689053 cites W2887699351 @default.
- W3046689053 cites W2962720709 @default.
- W3046689053 cites W2963034860 @default.
- W3046689053 cites W2963469697 @default.
- W3046689053 cites W2963693343 @default.
- W3046689053 cites W3013216722 @default.
- W3046689053 cites W3100726716 @default.
- W3046689053 cites W3105030062 @default.
- W3046689053 cites W3186877027 @default.
- W3046689053 cites W4229690001 @default.
- W3046689053 cites W4238214510 @default.
- W3046689053 cites W4238689220 @default.
- W3046689053 doi "https://doi.org/10.1142/s021906132250009x" @default.
- W3046689053 hasPublicationYear "2022" @default.
- W3046689053 type Work @default.
- W3046689053 sameAs 3046689053 @default.
- W3046689053 citedByCount "1" @default.
- W3046689053 countsByYear W30466890532020 @default.
- W3046689053 crossrefType "journal-article" @default.
- W3046689053 hasAuthorship W3046689053A5015485533 @default.
- W3046689053 hasAuthorship W3046689053A5027589956 @default.
- W3046689053 hasAuthorship W3046689053A5084317489 @default.
- W3046689053 hasBestOaLocation W30466890532 @default.
- W3046689053 hasConcept C111142201 @default.
- W3046689053 hasConcept C111335779 @default.
- W3046689053 hasConcept C118615104 @default.
- W3046689053 hasConcept C127753061 @default.
- W3046689053 hasConcept C134306372 @default.
- W3046689053 hasConcept C152062344 @default.
- W3046689053 hasConcept C167729594 @default.
- W3046689053 hasConcept C18648836 @default.
- W3046689053 hasConcept C202444582 @default.
- W3046689053 hasConcept C2524010 @default.
- W3046689053 hasConcept C33923547 @default.
- W3046689053 hasConcept C34388435 @default.
- W3046689053 hasConceptScore W3046689053C111142201 @default.
- W3046689053 hasConceptScore W3046689053C111335779 @default.
- W3046689053 hasConceptScore W3046689053C118615104 @default.
- W3046689053 hasConceptScore W3046689053C127753061 @default.
- W3046689053 hasConceptScore W3046689053C134306372 @default.
- W3046689053 hasConceptScore W3046689053C152062344 @default.
- W3046689053 hasConceptScore W3046689053C167729594 @default.
- W3046689053 hasConceptScore W3046689053C18648836 @default.
- W3046689053 hasConceptScore W3046689053C202444582 @default.
- W3046689053 hasConceptScore W3046689053C2524010 @default.
- W3046689053 hasConceptScore W3046689053C33923547 @default.
- W3046689053 hasConceptScore W3046689053C34388435 @default.
- W3046689053 hasIssue "03" @default.
- W3046689053 hasLocation W30466890531 @default.
- W3046689053 hasLocation W30466890532 @default.
- W3046689053 hasOpenAccess W3046689053 @default.
- W3046689053 hasPrimaryLocation W30466890531 @default.
- W3046689053 hasRelatedWork W2098052203 @default.
- W3046689053 hasRelatedWork W2519278145 @default.
- W3046689053 hasRelatedWork W2582449216 @default.
- W3046689053 hasRelatedWork W2938315078 @default.
- W3046689053 hasRelatedWork W3006582179 @default.
- W3046689053 hasRelatedWork W3046689053 @default.
- W3046689053 hasRelatedWork W3098669794 @default.
- W3046689053 hasRelatedWork W3102702461 @default.
- W3046689053 hasRelatedWork W4287692978 @default.
- W3046689053 hasRelatedWork W618137504 @default.
- W3046689053 hasVolume "22" @default.
- W3046689053 isParatext "false" @default.
- W3046689053 isRetracted "false" @default.
- W3046689053 magId "3046689053" @default.
- W3046689053 workType "article" @default.