Matches in SemOpenAlex for { <https://semopenalex.org/work/W3206911194> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W3206911194 endingPage "69" @default.
- W3206911194 startingPage "51" @default.
- W3206911194 abstract "We investigate two notions of independence—(usual) independence and complete independence—applied to the Peano axioms for the sequence of natural numbers. We review the results that, although they are independent, the Peano axioms are not completely independent. The standard proof that the Peano axioms are not completely independent is algebraic, in the sense that it makes essential reference to the relationship between several mathematical structures that satisfy, or do not satisfy, these axioms. We then present an alternative logical proof, which makes no essential references to the relationship between mathematical structures. There is a completely independent set of axioms for the sequence of natural numbers, but it is based on primitives different from those originally adopted by Peano. Therefore, we present a new completely independent set of axioms based on the same set of primitives as the one originally adopted by Peano." @default.
- W3206911194 created "2021-10-25" @default.
- W3206911194 creator A5030064651 @default.
- W3206911194 creator A5035781389 @default.
- W3206911194 creator A5060106141 @default.
- W3206911194 creator A5063540077 @default.
- W3206911194 date "2021-10-07" @default.
- W3206911194 modified "2023-09-23" @default.
- W3206911194 title "On the (In)Dependence of the Peano Axioms for Natural Numbers" @default.
- W3206911194 cites W1518556312 @default.
- W3206911194 cites W2024406605 @default.
- W3206911194 cites W2024427973 @default.
- W3206911194 cites W2040535785 @default.
- W3206911194 cites W2054062406 @default.
- W3206911194 cites W2055629181 @default.
- W3206911194 cites W2323705700 @default.
- W3206911194 cites W2334235921 @default.
- W3206911194 cites W2404202848 @default.
- W3206911194 cites W4233853827 @default.
- W3206911194 cites W4247964669 @default.
- W3206911194 cites W4253335148 @default.
- W3206911194 doi "https://doi.org/10.1080/01445340.2021.1971005" @default.
- W3206911194 hasPublicationYear "2021" @default.
- W3206911194 type Work @default.
- W3206911194 sameAs 3206911194 @default.
- W3206911194 citedByCount "1" @default.
- W3206911194 countsByYear W32069111942022 @default.
- W3206911194 crossrefType "journal-article" @default.
- W3206911194 hasAuthorship W3206911194A5030064651 @default.
- W3206911194 hasAuthorship W3206911194A5035781389 @default.
- W3206911194 hasAuthorship W3206911194A5060106141 @default.
- W3206911194 hasAuthorship W3206911194A5063540077 @default.
- W3206911194 hasConcept C105795698 @default.
- W3206911194 hasConcept C118615104 @default.
- W3206911194 hasConcept C125773388 @default.
- W3206911194 hasConcept C153046414 @default.
- W3206911194 hasConcept C167729594 @default.
- W3206911194 hasConcept C177264268 @default.
- W3206911194 hasConcept C184264201 @default.
- W3206911194 hasConcept C199360897 @default.
- W3206911194 hasConcept C2524010 @default.
- W3206911194 hasConcept C2778112365 @default.
- W3206911194 hasConcept C33923547 @default.
- W3206911194 hasConcept C35651441 @default.
- W3206911194 hasConcept C41008148 @default.
- W3206911194 hasConcept C54355233 @default.
- W3206911194 hasConcept C86803240 @default.
- W3206911194 hasConcept C97489613 @default.
- W3206911194 hasConceptScore W3206911194C105795698 @default.
- W3206911194 hasConceptScore W3206911194C118615104 @default.
- W3206911194 hasConceptScore W3206911194C125773388 @default.
- W3206911194 hasConceptScore W3206911194C153046414 @default.
- W3206911194 hasConceptScore W3206911194C167729594 @default.
- W3206911194 hasConceptScore W3206911194C177264268 @default.
- W3206911194 hasConceptScore W3206911194C184264201 @default.
- W3206911194 hasConceptScore W3206911194C199360897 @default.
- W3206911194 hasConceptScore W3206911194C2524010 @default.
- W3206911194 hasConceptScore W3206911194C2778112365 @default.
- W3206911194 hasConceptScore W3206911194C33923547 @default.
- W3206911194 hasConceptScore W3206911194C35651441 @default.
- W3206911194 hasConceptScore W3206911194C41008148 @default.
- W3206911194 hasConceptScore W3206911194C54355233 @default.
- W3206911194 hasConceptScore W3206911194C86803240 @default.
- W3206911194 hasConceptScore W3206911194C97489613 @default.
- W3206911194 hasFunder F4320322025 @default.
- W3206911194 hasFunder F4320322749 @default.
- W3206911194 hasIssue "1" @default.
- W3206911194 hasLocation W32069111941 @default.
- W3206911194 hasOpenAccess W3206911194 @default.
- W3206911194 hasPrimaryLocation W32069111941 @default.
- W3206911194 hasRelatedWork W1707309362 @default.
- W3206911194 hasRelatedWork W2124290987 @default.
- W3206911194 hasRelatedWork W2351995375 @default.
- W3206911194 hasRelatedWork W2465836531 @default.
- W3206911194 hasRelatedWork W2505434214 @default.
- W3206911194 hasRelatedWork W2607053310 @default.
- W3206911194 hasRelatedWork W2971927321 @default.
- W3206911194 hasRelatedWork W2993442435 @default.
- W3206911194 hasRelatedWork W4286851433 @default.
- W3206911194 hasRelatedWork W2105084963 @default.
- W3206911194 hasVolume "43" @default.
- W3206911194 isParatext "false" @default.
- W3206911194 isRetracted "false" @default.
- W3206911194 magId "3206911194" @default.
- W3206911194 workType "article" @default.