Matches in SemOpenAlex for { <https://semopenalex.org/work/W1416318798> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W1416318798 endingPage "15" @default.
- W1416318798 startingPage "1" @default.
- W1416318798 abstract "Bimodal provability logic GLB, introduced by G. Japaridze, currently plays an important role in the applications of provability logic to proof-theoretic analysis. Its topological semantics interprets diamond modalities as derived set operators on a bi-scattered bitopological space. We study the question of completeness of this logic w.r.t. the most natural space of this kind, that is, w.r.t. an ordinal α equipped with the interval topology and with the so-called club topology. We show that, assuming the axiom of constructibility, GLB is complete for any $alpha geqaleph_omega $ . On the other hand, from the results of A. Blass it follows that, assuming the consistency of “there is a Mahlo cardinal,” it is consistent with ZFC that GLB is incomplete w.r.t. any such space. Thus, the question of completeness of GLB w.r.t. natural ordinal spaces turns out to be independent of ZFC." @default.
- W1416318798 created "2016-06-24" @default.
- W1416318798 creator A5000566596 @default.
- W1416318798 date "2011-01-01" @default.
- W1416318798 modified "2023-09-23" @default.
- W1416318798 title "Ordinal Completeness of Bimodal Provability Logic GLB" @default.
- W1416318798 cites W1963725929 @default.
- W1416318798 cites W1981473843 @default.
- W1416318798 cites W1994332324 @default.
- W1416318798 cites W2010855309 @default.
- W1416318798 cites W2024020693 @default.
- W1416318798 cites W2050527500 @default.
- W1416318798 cites W2052836860 @default.
- W1416318798 cites W2065285281 @default.
- W1416318798 cites W2078421228 @default.
- W1416318798 cites W2122092051 @default.
- W1416318798 cites W2145828499 @default.
- W1416318798 cites W2155188310 @default.
- W1416318798 cites W2329416133 @default.
- W1416318798 cites W4254004595 @default.
- W1416318798 cites W4213238479 @default.
- W1416318798 doi "https://doi.org/10.1007/978-3-642-22303-7_1" @default.
- W1416318798 hasPublicationYear "2011" @default.
- W1416318798 type Work @default.
- W1416318798 sameAs 1416318798 @default.
- W1416318798 citedByCount "4" @default.
- W1416318798 countsByYear W14163187982014 @default.
- W1416318798 countsByYear W14163187982018 @default.
- W1416318798 countsByYear W14163187982023 @default.
- W1416318798 crossrefType "book-chapter" @default.
- W1416318798 hasAuthorship W1416318798A5000566596 @default.
- W1416318798 hasBestOaLocation W14163187982 @default.
- W1416318798 hasConcept C118615104 @default.
- W1416318798 hasConcept C134306372 @default.
- W1416318798 hasConcept C167729594 @default.
- W1416318798 hasConcept C17231256 @default.
- W1416318798 hasConcept C2524010 @default.
- W1416318798 hasConcept C33923547 @default.
- W1416318798 hasConcept C81332173 @default.
- W1416318798 hasConceptScore W1416318798C118615104 @default.
- W1416318798 hasConceptScore W1416318798C134306372 @default.
- W1416318798 hasConceptScore W1416318798C167729594 @default.
- W1416318798 hasConceptScore W1416318798C17231256 @default.
- W1416318798 hasConceptScore W1416318798C2524010 @default.
- W1416318798 hasConceptScore W1416318798C33923547 @default.
- W1416318798 hasConceptScore W1416318798C81332173 @default.
- W1416318798 hasLocation W14163187981 @default.
- W1416318798 hasLocation W14163187982 @default.
- W1416318798 hasOpenAccess W1416318798 @default.
- W1416318798 hasPrimaryLocation W14163187981 @default.
- W1416318798 hasRelatedWork W1581869334 @default.
- W1416318798 hasRelatedWork W2026688822 @default.
- W1416318798 hasRelatedWork W2033883636 @default.
- W1416318798 hasRelatedWork W2134384958 @default.
- W1416318798 hasRelatedWork W2137410044 @default.
- W1416318798 hasRelatedWork W2161446626 @default.
- W1416318798 hasRelatedWork W2782880808 @default.
- W1416318798 hasRelatedWork W4247031350 @default.
- W1416318798 hasRelatedWork W4318426970 @default.
- W1416318798 hasRelatedWork W86033485 @default.
- W1416318798 isParatext "false" @default.
- W1416318798 isRetracted "false" @default.
- W1416318798 magId "1416318798" @default.
- W1416318798 workType "book-chapter" @default.