Matches in SemOpenAlex for { <https://semopenalex.org/work/W1905923930> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W1905923930 endingPage "250" @default.
- W1905923930 startingPage "241" @default.
- W1905923930 abstract "In [6] Albert Visser shows that ILP completely axiomatizes all schemata about provability and relative interpretability that are provable in finitely axiomatized theories. In this paper we introduce a system called ILP ω that completely axiomatizes the arithmetically valid principles of provability in and interpretability over such theories. To prove the arithmetical completeness of ILP ω we use a suitable kind of tail models; as a byproduct we obtain a somewhat modified proof of Visser's completeness result." @default.
- W1905923930 created "2016-06-24" @default.
- W1905923930 creator A5031439294 @default.
- W1905923930 date "1991-06-01" @default.
- W1905923930 modified "2023-09-25" @default.
- W1905923930 title "A note on the interpretability logic of finitely axiomatized theories" @default.
- W1905923930 cites W1911166315 @default.
- W1905923930 cites W2011612028 @default.
- W1905923930 cites W2017621431 @default.
- W1905923930 cites W2143346393 @default.
- W1905923930 cites W2166930711 @default.
- W1905923930 cites W2169685450 @default.
- W1905923930 doi "https://doi.org/10.1007/bf00370185" @default.
- W1905923930 hasPublicationYear "1991" @default.
- W1905923930 type Work @default.
- W1905923930 sameAs 1905923930 @default.
- W1905923930 citedByCount "0" @default.
- W1905923930 crossrefType "journal-article" @default.
- W1905923930 hasAuthorship W1905923930A5031439294 @default.
- W1905923930 hasBestOaLocation W19059239302 @default.
- W1905923930 hasConcept C112343008 @default.
- W1905923930 hasConcept C118615104 @default.
- W1905923930 hasConcept C134306372 @default.
- W1905923930 hasConcept C136119220 @default.
- W1905923930 hasConcept C154945302 @default.
- W1905923930 hasConcept C17231256 @default.
- W1905923930 hasConcept C202444582 @default.
- W1905923930 hasConcept C2781067378 @default.
- W1905923930 hasConcept C33923547 @default.
- W1905923930 hasConcept C41008148 @default.
- W1905923930 hasConcept C94375191 @default.
- W1905923930 hasConceptScore W1905923930C112343008 @default.
- W1905923930 hasConceptScore W1905923930C118615104 @default.
- W1905923930 hasConceptScore W1905923930C134306372 @default.
- W1905923930 hasConceptScore W1905923930C136119220 @default.
- W1905923930 hasConceptScore W1905923930C154945302 @default.
- W1905923930 hasConceptScore W1905923930C17231256 @default.
- W1905923930 hasConceptScore W1905923930C202444582 @default.
- W1905923930 hasConceptScore W1905923930C2781067378 @default.
- W1905923930 hasConceptScore W1905923930C33923547 @default.
- W1905923930 hasConceptScore W1905923930C41008148 @default.
- W1905923930 hasConceptScore W1905923930C94375191 @default.
- W1905923930 hasIssue "2" @default.
- W1905923930 hasLocation W19059239301 @default.
- W1905923930 hasLocation W19059239302 @default.
- W1905923930 hasOpenAccess W1905923930 @default.
- W1905923930 hasPrimaryLocation W19059239301 @default.
- W1905923930 hasRelatedWork W1506269905 @default.
- W1905923930 hasRelatedWork W1763969474 @default.
- W1905923930 hasRelatedWork W184413736 @default.
- W1905923930 hasRelatedWork W2013110598 @default.
- W1905923930 hasRelatedWork W2104425666 @default.
- W1905923930 hasRelatedWork W2128776156 @default.
- W1905923930 hasRelatedWork W2130354981 @default.
- W1905923930 hasRelatedWork W2168995070 @default.
- W1905923930 hasRelatedWork W2188203153 @default.
- W1905923930 hasRelatedWork W244430048 @default.
- W1905923930 hasRelatedWork W2576868155 @default.
- W1905923930 hasRelatedWork W2611361880 @default.
- W1905923930 hasRelatedWork W2766762831 @default.
- W1905923930 hasRelatedWork W2782880808 @default.
- W1905923930 hasRelatedWork W2952799563 @default.
- W1905923930 hasRelatedWork W2963720101 @default.
- W1905923930 hasRelatedWork W2970468228 @default.
- W1905923930 hasRelatedWork W2996029277 @default.
- W1905923930 hasRelatedWork W3199511358 @default.
- W1905923930 hasRelatedWork W47328716 @default.
- W1905923930 hasVolume "50" @default.
- W1905923930 isParatext "false" @default.
- W1905923930 isRetracted "false" @default.
- W1905923930 magId "1905923930" @default.
- W1905923930 workType "article" @default.