Matches in SemOpenAlex for { <https://semopenalex.org/work/W3127052585> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W3127052585 endingPage "770" @default.
- W3127052585 startingPage "749" @default.
- W3127052585 abstract "Abstract We present a construction of a truth class (an interpretation of a compositional truth predicate) in an arbitrary countable recursively saturated model of first-order arithmetic. The construction is fully classical in that it employs nothing more than the classical techniques of formal proof theory." @default.
- W3127052585 created "2021-02-15" @default.
- W3127052585 creator A5055661598 @default.
- W3127052585 date "2021-02-03" @default.
- W3127052585 modified "2023-09-25" @default.
- W3127052585 title "Interpreting the compositional truth predicate in models of arithmetic" @default.
- W3127052585 cites W144045069 @default.
- W3127052585 cites W1566741929 @default.
- W3127052585 cites W1572451808 @default.
- W3127052585 cites W1581341800 @default.
- W3127052585 cites W1583680296 @default.
- W3127052585 cites W1966651244 @default.
- W3127052585 cites W1980789512 @default.
- W3127052585 cites W2002502277 @default.
- W3127052585 cites W2008326575 @default.
- W3127052585 cites W2034362265 @default.
- W3127052585 cites W2073281009 @default.
- W3127052585 cites W2117388826 @default.
- W3127052585 cites W2159836218 @default.
- W3127052585 cites W2912000131 @default.
- W3127052585 cites W2963331508 @default.
- W3127052585 cites W4239779295 @default.
- W3127052585 doi "https://doi.org/10.1007/s00153-020-00758-z" @default.
- W3127052585 hasPublicationYear "2021" @default.
- W3127052585 type Work @default.
- W3127052585 sameAs 3127052585 @default.
- W3127052585 citedByCount "0" @default.
- W3127052585 crossrefType "journal-article" @default.
- W3127052585 hasAuthorship W3127052585A5055661598 @default.
- W3127052585 hasBestOaLocation W31270525851 @default.
- W3127052585 hasConcept C100481476 @default.
- W3127052585 hasConcept C102993220 @default.
- W3127052585 hasConcept C110039528 @default.
- W3127052585 hasConcept C110729354 @default.
- W3127052585 hasConcept C111472728 @default.
- W3127052585 hasConcept C118615104 @default.
- W3127052585 hasConcept C136119220 @default.
- W3127052585 hasConcept C136815107 @default.
- W3127052585 hasConcept C138885662 @default.
- W3127052585 hasConcept C140146324 @default.
- W3127052585 hasConcept C154945302 @default.
- W3127052585 hasConcept C19689857 @default.
- W3127052585 hasConcept C199360897 @default.
- W3127052585 hasConcept C202444582 @default.
- W3127052585 hasConcept C203659156 @default.
- W3127052585 hasConcept C2777212361 @default.
- W3127052585 hasConcept C33923547 @default.
- W3127052585 hasConcept C41008148 @default.
- W3127052585 hasConcept C73314972 @default.
- W3127052585 hasConcept C80444323 @default.
- W3127052585 hasConcept C94375191 @default.
- W3127052585 hasConceptScore W3127052585C100481476 @default.
- W3127052585 hasConceptScore W3127052585C102993220 @default.
- W3127052585 hasConceptScore W3127052585C110039528 @default.
- W3127052585 hasConceptScore W3127052585C110729354 @default.
- W3127052585 hasConceptScore W3127052585C111472728 @default.
- W3127052585 hasConceptScore W3127052585C118615104 @default.
- W3127052585 hasConceptScore W3127052585C136119220 @default.
- W3127052585 hasConceptScore W3127052585C136815107 @default.
- W3127052585 hasConceptScore W3127052585C138885662 @default.
- W3127052585 hasConceptScore W3127052585C140146324 @default.
- W3127052585 hasConceptScore W3127052585C154945302 @default.
- W3127052585 hasConceptScore W3127052585C19689857 @default.
- W3127052585 hasConceptScore W3127052585C199360897 @default.
- W3127052585 hasConceptScore W3127052585C202444582 @default.
- W3127052585 hasConceptScore W3127052585C203659156 @default.
- W3127052585 hasConceptScore W3127052585C2777212361 @default.
- W3127052585 hasConceptScore W3127052585C33923547 @default.
- W3127052585 hasConceptScore W3127052585C41008148 @default.
- W3127052585 hasConceptScore W3127052585C73314972 @default.
- W3127052585 hasConceptScore W3127052585C80444323 @default.
- W3127052585 hasConceptScore W3127052585C94375191 @default.
- W3127052585 hasFunder F4320322511 @default.
- W3127052585 hasIssue "6" @default.
- W3127052585 hasLocation W31270525851 @default.
- W3127052585 hasOpenAccess W3127052585 @default.
- W3127052585 hasPrimaryLocation W31270525851 @default.
- W3127052585 hasRelatedWork W1506905040 @default.
- W3127052585 hasRelatedWork W2018616641 @default.
- W3127052585 hasRelatedWork W2223120106 @default.
- W3127052585 hasRelatedWork W2296002977 @default.
- W3127052585 hasRelatedWork W24511637 @default.
- W3127052585 hasRelatedWork W3007835832 @default.
- W3127052585 hasRelatedWork W340657901 @default.
- W3127052585 hasRelatedWork W4205394171 @default.
- W3127052585 hasRelatedWork W4233353741 @default.
- W3127052585 hasRelatedWork W4297774878 @default.
- W3127052585 hasVolume "60" @default.
- W3127052585 isParatext "false" @default.
- W3127052585 isRetracted "false" @default.
- W3127052585 magId "3127052585" @default.
- W3127052585 workType "article" @default.