Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300918972> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W4300918972 abstract "Although the categorical arithmetic is not effectively axiomatizable, the belief that the incompleteness Theorems can be apply to it is fairly common. Furthermore, the so-called essential (or inherent) semantic incompleteness of the second-order Logic that can be deduced by these same Theorems does not imply the standard semantic incompleteness that can be derived using the Loewenheim-Skolem or the compactness Theorem. This state of affairs has its origins in an incorrect and misinterpreted Goedel's comment at the Koenigsberg congress of 1930 and has consolidated due to different circumstances. This paper aims to clear up these questions and proposes an alternative interpretation for the Goedel's statement." @default.
- W4300918972 created "2022-10-04" @default.
- W4300918972 creator A5064645167 @default.
- W4300918972 date "2016-01-13" @default.
- W4300918972 modified "2023-09-28" @default.
- W4300918972 title "A common Misconception about the Categorical Arithmetic" @default.
- W4300918972 doi "https://doi.org/10.48550/arxiv.1602.03389" @default.
- W4300918972 hasPublicationYear "2016" @default.
- W4300918972 type Work @default.
- W4300918972 citedByCount "0" @default.
- W4300918972 crossrefType "posted-content" @default.
- W4300918972 hasAuthorship W4300918972A5064645167 @default.
- W4300918972 hasBestOaLocation W43009189721 @default.
- W4300918972 hasConcept C105795698 @default.
- W4300918972 hasConcept C111472728 @default.
- W4300918972 hasConcept C138885662 @default.
- W4300918972 hasConcept C144237770 @default.
- W4300918972 hasConcept C154945302 @default.
- W4300918972 hasConcept C180937797 @default.
- W4300918972 hasConcept C193125573 @default.
- W4300918972 hasConcept C199360897 @default.
- W4300918972 hasConcept C204321447 @default.
- W4300918972 hasConcept C2777026412 @default.
- W4300918972 hasConcept C2781302003 @default.
- W4300918972 hasConcept C33923547 @default.
- W4300918972 hasConcept C41008148 @default.
- W4300918972 hasConcept C5274069 @default.
- W4300918972 hasConcept C527412718 @default.
- W4300918972 hasConcept C94375191 @default.
- W4300918972 hasConceptScore W4300918972C105795698 @default.
- W4300918972 hasConceptScore W4300918972C111472728 @default.
- W4300918972 hasConceptScore W4300918972C138885662 @default.
- W4300918972 hasConceptScore W4300918972C144237770 @default.
- W4300918972 hasConceptScore W4300918972C154945302 @default.
- W4300918972 hasConceptScore W4300918972C180937797 @default.
- W4300918972 hasConceptScore W4300918972C193125573 @default.
- W4300918972 hasConceptScore W4300918972C199360897 @default.
- W4300918972 hasConceptScore W4300918972C204321447 @default.
- W4300918972 hasConceptScore W4300918972C2777026412 @default.
- W4300918972 hasConceptScore W4300918972C2781302003 @default.
- W4300918972 hasConceptScore W4300918972C33923547 @default.
- W4300918972 hasConceptScore W4300918972C41008148 @default.
- W4300918972 hasConceptScore W4300918972C5274069 @default.
- W4300918972 hasConceptScore W4300918972C527412718 @default.
- W4300918972 hasConceptScore W4300918972C94375191 @default.
- W4300918972 hasLocation W43009189721 @default.
- W4300918972 hasOpenAccess W4300918972 @default.
- W4300918972 hasPrimaryLocation W43009189721 @default.
- W4300918972 hasRelatedWork W1493324536 @default.
- W4300918972 hasRelatedWork W2140426422 @default.
- W4300918972 hasRelatedWork W2182184486 @default.
- W4300918972 hasRelatedWork W2259948339 @default.
- W4300918972 hasRelatedWork W2361361573 @default.
- W4300918972 hasRelatedWork W2392955380 @default.
- W4300918972 hasRelatedWork W248883086 @default.
- W4300918972 hasRelatedWork W2734730831 @default.
- W4300918972 hasRelatedWork W3094110862 @default.
- W4300918972 hasRelatedWork W4300918972 @default.
- W4300918972 isParatext "false" @default.
- W4300918972 isRetracted "false" @default.
- W4300918972 workType "article" @default.