Matches in SemOpenAlex for { <https://semopenalex.org/work/W2298889681> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2298889681 abstract "We study transfinite extensions of Japaridze's provability logic GLP and the well-founded relations that naturally occur within them. Every ordinal induces a partial order over the class of words, which are iterated consistency statements expressible within GLP. Well-ordered restrictions of these partial orders have been studied previously; in this paper we consider the unrestricted partial orders, which are no longer linear but remain well-founded. These unrestricted partial orders bear important repercussions on modal semantics for GLP and on Turing progressions." @default.
- W2298889681 created "2016-06-24" @default.
- W2298889681 creator A5080309379 @default.
- W2298889681 creator A5086500294 @default.
- W2298889681 date "2012-04-20" @default.
- W2298889681 modified "2023-09-27" @default.
- W2298889681 title "Well-orders in the transfinite Japaridze algebra II: Turing progressions and their well-orders" @default.
- W2298889681 cites W1517710889 @default.
- W2298889681 cites W1596661547 @default.
- W2298889681 cites W1994332324 @default.
- W2298889681 cites W2007823114 @default.
- W2298889681 cites W2034453867 @default.
- W2298889681 cites W2041395883 @default.
- W2298889681 cites W2058604356 @default.
- W2298889681 cites W2059933820 @default.
- W2298889681 cites W2065285281 @default.
- W2298889681 cites W2560908651 @default.
- W2298889681 cites W2953087966 @default.
- W2298889681 hasPublicationYear "2012" @default.
- W2298889681 type Work @default.
- W2298889681 sameAs 2298889681 @default.
- W2298889681 citedByCount "1" @default.
- W2298889681 countsByYear W22988896812012 @default.
- W2298889681 crossrefType "posted-content" @default.
- W2298889681 hasAuthorship W2298889681A5080309379 @default.
- W2298889681 hasAuthorship W2298889681A5086500294 @default.
- W2298889681 hasConcept C10138342 @default.
- W2298889681 hasConcept C118615104 @default.
- W2298889681 hasConcept C134306372 @default.
- W2298889681 hasConcept C136119220 @default.
- W2298889681 hasConcept C140479938 @default.
- W2298889681 hasConcept C147358099 @default.
- W2298889681 hasConcept C154945302 @default.
- W2298889681 hasConcept C162324750 @default.
- W2298889681 hasConcept C182306322 @default.
- W2298889681 hasConcept C202444582 @default.
- W2298889681 hasConcept C2776436953 @default.
- W2298889681 hasConcept C2777212361 @default.
- W2298889681 hasConcept C33923547 @default.
- W2298889681 hasConcept C41008148 @default.
- W2298889681 hasConceptScore W2298889681C10138342 @default.
- W2298889681 hasConceptScore W2298889681C118615104 @default.
- W2298889681 hasConceptScore W2298889681C134306372 @default.
- W2298889681 hasConceptScore W2298889681C136119220 @default.
- W2298889681 hasConceptScore W2298889681C140479938 @default.
- W2298889681 hasConceptScore W2298889681C147358099 @default.
- W2298889681 hasConceptScore W2298889681C154945302 @default.
- W2298889681 hasConceptScore W2298889681C162324750 @default.
- W2298889681 hasConceptScore W2298889681C182306322 @default.
- W2298889681 hasConceptScore W2298889681C202444582 @default.
- W2298889681 hasConceptScore W2298889681C2776436953 @default.
- W2298889681 hasConceptScore W2298889681C2777212361 @default.
- W2298889681 hasConceptScore W2298889681C33923547 @default.
- W2298889681 hasConceptScore W2298889681C41008148 @default.
- W2298889681 hasLocation W22988896811 @default.
- W2298889681 hasOpenAccess W2298889681 @default.
- W2298889681 hasPrimaryLocation W22988896811 @default.
- W2298889681 hasRelatedWork W1575268025 @default.
- W2298889681 hasRelatedWork W1889804861 @default.
- W2298889681 hasRelatedWork W1952976320 @default.
- W2298889681 hasRelatedWork W2003367401 @default.
- W2298889681 hasRelatedWork W2047674711 @default.
- W2298889681 hasRelatedWork W2091482716 @default.
- W2298889681 hasRelatedWork W2098800274 @default.
- W2298889681 hasRelatedWork W2127066753 @default.
- W2298889681 hasRelatedWork W2142069707 @default.
- W2298889681 hasRelatedWork W2149816638 @default.
- W2298889681 hasRelatedWork W2151452053 @default.
- W2298889681 hasRelatedWork W2154389574 @default.
- W2298889681 hasRelatedWork W2754530097 @default.
- W2298889681 hasRelatedWork W2952583353 @default.
- W2298889681 hasRelatedWork W2996054020 @default.
- W2298889681 hasRelatedWork W2997786277 @default.
- W2298889681 hasRelatedWork W3086629457 @default.
- W2298889681 hasRelatedWork W3105177756 @default.
- W2298889681 hasRelatedWork W3123793150 @default.
- W2298889681 hasRelatedWork W3198002352 @default.
- W2298889681 isParatext "false" @default.
- W2298889681 isRetracted "false" @default.
- W2298889681 magId "2298889681" @default.
- W2298889681 workType "article" @default.