Matches in SemOpenAlex for { <https://semopenalex.org/work/W3021721920> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W3021721920 abstract "The basic theorems of Provability Logic arethree in number. First is the Arithmetical CompletenessTheorem. The second place is shared by the theorems affirming the Uniqueness of Fixed Points andthe Explicit Definability of Fixed Points. In this paper we consider the problem of Uniqueness and:Explicit Definability of Fixed Points for Interpretability Logic. It turns out that Uniqueness is animmediate corollary of a theorem of Smoryriski, so. most of the paper, is devoted to proving ExplicitDefinability." @default.
- W3021721920 created "2020-05-13" @default.
- W3021721920 creator A5056284600 @default.
- W3021721920 creator A5087593654 @default.
- W3021721920 date "1989-03-01" @default.
- W3021721920 modified "2023-09-26" @default.
- W3021721920 title "Explicit fixed points in interpretability logic" @default.
- W3021721920 hasPublicationYear "1989" @default.
- W3021721920 type Work @default.
- W3021721920 sameAs 3021721920 @default.
- W3021721920 citedByCount "2" @default.
- W3021721920 crossrefType "journal-article" @default.
- W3021721920 hasAuthorship W3021721920A5056284600 @default.
- W3021721920 hasAuthorship W3021721920A5087593654 @default.
- W3021721920 hasConcept C112343008 @default.
- W3021721920 hasConcept C118615104 @default.
- W3021721920 hasConcept C119857082 @default.
- W3021721920 hasConcept C134306372 @default.
- W3021721920 hasConcept C17231256 @default.
- W3021721920 hasConcept C200116569 @default.
- W3021721920 hasConcept C202444582 @default.
- W3021721920 hasConcept C2777021972 @default.
- W3021721920 hasConcept C2780012671 @default.
- W3021721920 hasConcept C2781067378 @default.
- W3021721920 hasConcept C33923547 @default.
- W3021721920 hasConcept C41008148 @default.
- W3021721920 hasConcept C45962547 @default.
- W3021721920 hasConcept C61445026 @default.
- W3021721920 hasConceptScore W3021721920C112343008 @default.
- W3021721920 hasConceptScore W3021721920C118615104 @default.
- W3021721920 hasConceptScore W3021721920C119857082 @default.
- W3021721920 hasConceptScore W3021721920C134306372 @default.
- W3021721920 hasConceptScore W3021721920C17231256 @default.
- W3021721920 hasConceptScore W3021721920C200116569 @default.
- W3021721920 hasConceptScore W3021721920C202444582 @default.
- W3021721920 hasConceptScore W3021721920C2777021972 @default.
- W3021721920 hasConceptScore W3021721920C2780012671 @default.
- W3021721920 hasConceptScore W3021721920C2781067378 @default.
- W3021721920 hasConceptScore W3021721920C33923547 @default.
- W3021721920 hasConceptScore W3021721920C41008148 @default.
- W3021721920 hasConceptScore W3021721920C45962547 @default.
- W3021721920 hasConceptScore W3021721920C61445026 @default.
- W3021721920 hasLocation W30217219201 @default.
- W3021721920 hasOpenAccess W3021721920 @default.
- W3021721920 hasPrimaryLocation W30217219201 @default.
- W3021721920 hasRelatedWork W11362446 @default.
- W3021721920 hasRelatedWork W1497630311 @default.
- W3021721920 hasRelatedWork W1886850165 @default.
- W3021721920 hasRelatedWork W1969438823 @default.
- W3021721920 hasRelatedWork W1974400185 @default.
- W3021721920 hasRelatedWork W2002495770 @default.
- W3021721920 hasRelatedWork W2015220564 @default.
- W3021721920 hasRelatedWork W2121715826 @default.
- W3021721920 hasRelatedWork W2122759166 @default.
- W3021721920 hasRelatedWork W2127246914 @default.
- W3021721920 hasRelatedWork W2132561235 @default.
- W3021721920 hasRelatedWork W2189427865 @default.
- W3021721920 hasRelatedWork W2611361880 @default.
- W3021721920 hasRelatedWork W2768826633 @default.
- W3021721920 hasRelatedWork W2902567190 @default.
- W3021721920 hasRelatedWork W2952799563 @default.
- W3021721920 hasRelatedWork W3048596112 @default.
- W3021721920 hasRelatedWork W3105905549 @default.
- W3021721920 hasRelatedWork W3174248365 @default.
- W3021721920 hasRelatedWork W2429136598 @default.
- W3021721920 hasVolume "44" @default.
- W3021721920 isParatext "false" @default.
- W3021721920 isRetracted "false" @default.
- W3021721920 magId "3021721920" @default.
- W3021721920 workType "article" @default.