Matches in SemOpenAlex for { <https://semopenalex.org/work/W2536088897> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2536088897 endingPage "277" @default.
- W2536088897 startingPage "254" @default.
- W2536088897 abstract "We build a realizability model for Peano arithmetic based on winning conditions for HON games. Our winning conditions are sets of desequentialized interactions which we call positions. We define a notion of winning strategies on arenas equipped with winning conditions. We prove that the interpretation of a classical proof of a formula is a winning strategy on the arena with winning condition corresponding to the formula. Finally we apply this to Peano arithmetic with relativized quantifications and give the example of witness extraction for Π20-formulas." @default.
- W2536088897 created "2016-10-28" @default.
- W2536088897 creator A5016484034 @default.
- W2536088897 date "2017-02-01" @default.
- W2536088897 modified "2023-09-26" @default.
- W2536088897 title "Realizability for Peano arithmetic with winning conditions in HON games" @default.
- W2536088897 cites W1261060912 @default.
- W2536088897 cites W1517661647 @default.
- W2536088897 cites W1526446965 @default.
- W2536088897 cites W1534339430 @default.
- W2536088897 cites W1552101395 @default.
- W2536088897 cites W1555305123 @default.
- W2536088897 cites W1566715239 @default.
- W2536088897 cites W1847465957 @default.
- W2536088897 cites W1877442346 @default.
- W2536088897 cites W1971613396 @default.
- W2536088897 cites W1981700077 @default.
- W2536088897 cites W1995251574 @default.
- W2536088897 cites W2005437395 @default.
- W2536088897 cites W2024189573 @default.
- W2536088897 cites W2056300881 @default.
- W2536088897 cites W2071289523 @default.
- W2536088897 cites W2107359728 @default.
- W2536088897 cites W2135287414 @default.
- W2536088897 cites W2152013675 @default.
- W2536088897 cites W3098320955 @default.
- W2536088897 doi "https://doi.org/10.1016/j.apal.2016.10.006" @default.
- W2536088897 hasPublicationYear "2017" @default.
- W2536088897 type Work @default.
- W2536088897 sameAs 2536088897 @default.
- W2536088897 citedByCount "3" @default.
- W2536088897 countsByYear W25360888972018 @default.
- W2536088897 countsByYear W25360888972019 @default.
- W2536088897 countsByYear W25360888972020 @default.
- W2536088897 crossrefType "journal-article" @default.
- W2536088897 hasAuthorship W2536088897A5016484034 @default.
- W2536088897 hasBestOaLocation W25360888971 @default.
- W2536088897 hasConcept C11413529 @default.
- W2536088897 hasConcept C118615104 @default.
- W2536088897 hasConcept C136119220 @default.
- W2536088897 hasConcept C144237770 @default.
- W2536088897 hasConcept C199360897 @default.
- W2536088897 hasConcept C202444582 @default.
- W2536088897 hasConcept C2776378722 @default.
- W2536088897 hasConcept C33923547 @default.
- W2536088897 hasConcept C41008148 @default.
- W2536088897 hasConcept C527412718 @default.
- W2536088897 hasConcept C65148605 @default.
- W2536088897 hasConcept C94375191 @default.
- W2536088897 hasConcept C97489613 @default.
- W2536088897 hasConceptScore W2536088897C11413529 @default.
- W2536088897 hasConceptScore W2536088897C118615104 @default.
- W2536088897 hasConceptScore W2536088897C136119220 @default.
- W2536088897 hasConceptScore W2536088897C144237770 @default.
- W2536088897 hasConceptScore W2536088897C199360897 @default.
- W2536088897 hasConceptScore W2536088897C202444582 @default.
- W2536088897 hasConceptScore W2536088897C2776378722 @default.
- W2536088897 hasConceptScore W2536088897C33923547 @default.
- W2536088897 hasConceptScore W2536088897C41008148 @default.
- W2536088897 hasConceptScore W2536088897C527412718 @default.
- W2536088897 hasConceptScore W2536088897C65148605 @default.
- W2536088897 hasConceptScore W2536088897C94375191 @default.
- W2536088897 hasConceptScore W2536088897C97489613 @default.
- W2536088897 hasFunder F4320334627 @default.
- W2536088897 hasIssue "2" @default.
- W2536088897 hasLocation W25360888971 @default.
- W2536088897 hasLocation W25360888972 @default.
- W2536088897 hasLocation W25360888973 @default.
- W2536088897 hasLocation W25360888974 @default.
- W2536088897 hasLocation W25360888975 @default.
- W2536088897 hasLocation W25360888976 @default.
- W2536088897 hasLocation W25360888977 @default.
- W2536088897 hasLocation W25360888978 @default.
- W2536088897 hasOpenAccess W2536088897 @default.
- W2536088897 hasPrimaryLocation W25360888971 @default.
- W2536088897 hasRelatedWork W1173820004 @default.
- W2536088897 hasRelatedWork W1261060912 @default.
- W2536088897 hasRelatedWork W1825162208 @default.
- W2536088897 hasRelatedWork W2017398442 @default.
- W2536088897 hasRelatedWork W2065703620 @default.
- W2536088897 hasRelatedWork W2131691859 @default.
- W2536088897 hasRelatedWork W2536088897 @default.
- W2536088897 hasRelatedWork W3168548195 @default.
- W2536088897 hasRelatedWork W4206411991 @default.
- W2536088897 hasRelatedWork W8278010 @default.
- W2536088897 hasVolume "168" @default.
- W2536088897 isParatext "false" @default.
- W2536088897 isRetracted "false" @default.
- W2536088897 magId "2536088897" @default.
- W2536088897 workType "article" @default.