Matches in SemOpenAlex for { <https://semopenalex.org/work/W3034452530> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W3034452530 endingPage "88" @default.
- W3034452530 startingPage "80" @default.
- W3034452530 abstract "Abstract A cornerstone of modern mathematical logic is the diagonal lemma of Gödel and Carnap. It is used in, for example, the classical proofs of the theorems of Gödel, Rosser, and Tarski. From its first explication in 1934, just essentially one proof has appeared for the diagonal lemma in the literature; a proof that is so tricky and hard to relate that many authors have tried to avoid the lemma altogether. As a result, some so-called diagonal-free proofs have been given for the above-mentioned fundamental theorems of logic. In this paper, we provide new proofs for the semantic formulation of the diagonal lemma, and for a weak version of the syntactic formulation of it." @default.
- W3034452530 created "2020-06-19" @default.
- W3034452530 creator A5028651659 @default.
- W3034452530 date "2020-03-01" @default.
- W3034452530 modified "2023-09-25" @default.
- W3034452530 title "ON THE DIAGONAL LEMMA OF GÖDEL AND CARNAP" @default.
- W3034452530 cites W1992712548 @default.
- W3034452530 cites W2008951566 @default.
- W3034452530 cites W2018618761 @default.
- W3034452530 cites W2023778211 @default.
- W3034452530 cites W2044495841 @default.
- W3034452530 cites W2078113475 @default.
- W3034452530 cites W2113306826 @default.
- W3034452530 cites W2118589925 @default.
- W3034452530 cites W2494094483 @default.
- W3034452530 cites W2787237760 @default.
- W3034452530 cites W2964933744 @default.
- W3034452530 cites W4239071601 @default.
- W3034452530 cites W4245597824 @default.
- W3034452530 cites W4249355983 @default.
- W3034452530 cites W4256369010 @default.
- W3034452530 cites W9698083 @default.
- W3034452530 doi "https://doi.org/10.1017/bsl.2019.58" @default.
- W3034452530 hasPublicationYear "2020" @default.
- W3034452530 type Work @default.
- W3034452530 sameAs 3034452530 @default.
- W3034452530 citedByCount "5" @default.
- W3034452530 countsByYear W30344525302021 @default.
- W3034452530 countsByYear W30344525302022 @default.
- W3034452530 countsByYear W30344525302023 @default.
- W3034452530 crossrefType "journal-article" @default.
- W3034452530 hasAuthorship W3034452530A5028651659 @default.
- W3034452530 hasConcept C108710211 @default.
- W3034452530 hasConcept C111472728 @default.
- W3034452530 hasConcept C118615104 @default.
- W3034452530 hasConcept C130367717 @default.
- W3034452530 hasConcept C136119220 @default.
- W3034452530 hasConcept C138885662 @default.
- W3034452530 hasConcept C18903297 @default.
- W3034452530 hasConcept C199343813 @default.
- W3034452530 hasConcept C202444582 @default.
- W3034452530 hasConcept C2524010 @default.
- W3034452530 hasConcept C2777686260 @default.
- W3034452530 hasConcept C2777759810 @default.
- W3034452530 hasConcept C2781374135 @default.
- W3034452530 hasConcept C33923547 @default.
- W3034452530 hasConcept C46757340 @default.
- W3034452530 hasConcept C71924100 @default.
- W3034452530 hasConcept C86803240 @default.
- W3034452530 hasConceptScore W3034452530C108710211 @default.
- W3034452530 hasConceptScore W3034452530C111472728 @default.
- W3034452530 hasConceptScore W3034452530C118615104 @default.
- W3034452530 hasConceptScore W3034452530C130367717 @default.
- W3034452530 hasConceptScore W3034452530C136119220 @default.
- W3034452530 hasConceptScore W3034452530C138885662 @default.
- W3034452530 hasConceptScore W3034452530C18903297 @default.
- W3034452530 hasConceptScore W3034452530C199343813 @default.
- W3034452530 hasConceptScore W3034452530C202444582 @default.
- W3034452530 hasConceptScore W3034452530C2524010 @default.
- W3034452530 hasConceptScore W3034452530C2777686260 @default.
- W3034452530 hasConceptScore W3034452530C2777759810 @default.
- W3034452530 hasConceptScore W3034452530C2781374135 @default.
- W3034452530 hasConceptScore W3034452530C33923547 @default.
- W3034452530 hasConceptScore W3034452530C46757340 @default.
- W3034452530 hasConceptScore W3034452530C71924100 @default.
- W3034452530 hasConceptScore W3034452530C86803240 @default.
- W3034452530 hasIssue "1" @default.
- W3034452530 hasLocation W30344525301 @default.
- W3034452530 hasOpenAccess W3034452530 @default.
- W3034452530 hasPrimaryLocation W30344525301 @default.
- W3034452530 hasRelatedWork W2077665925 @default.
- W3034452530 hasRelatedWork W2112445562 @default.
- W3034452530 hasRelatedWork W2153710291 @default.
- W3034452530 hasRelatedWork W2540775465 @default.
- W3034452530 hasRelatedWork W2604285372 @default.
- W3034452530 hasRelatedWork W2735923117 @default.
- W3034452530 hasRelatedWork W2950477865 @default.
- W3034452530 hasRelatedWork W3034452530 @default.
- W3034452530 hasRelatedWork W4287734682 @default.
- W3034452530 hasRelatedWork W4313389715 @default.
- W3034452530 hasVolume "26" @default.
- W3034452530 isParatext "false" @default.
- W3034452530 isRetracted "false" @default.
- W3034452530 magId "3034452530" @default.
- W3034452530 workType "article" @default.