Matches in SemOpenAlex for { <https://semopenalex.org/work/W2054162015> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2054162015 abstract "After a summary of earlier work it is shown that elementary or Kalmar arithmetic can be interpreted within the system of Russell's Principia Mathematica with the axiom of infinity but without the axiom of reducibility." @default.
- W2054162015 created "2016-06-24" @default.
- W2054162015 creator A5079370028 @default.
- W2054162015 creator A5081572957 @default.
- W2054162015 date "1998-01-01" @default.
- W2054162015 modified "2023-10-14" @default.
- W2054162015 title "Predicative Logic and Formal Arithmetic" @default.
- W2054162015 cites W1433659699 @default.
- W2054162015 cites W2003673536 @default.
- W2054162015 cites W2023610826 @default.
- W2054162015 cites W2034083013 @default.
- W2054162015 cites W2051027116 @default.
- W2054162015 cites W2077162222 @default.
- W2054162015 cites W2081002360 @default.
- W2054162015 cites W2093750847 @default.
- W2054162015 cites W2140635086 @default.
- W2054162015 cites W2170622107 @default.
- W2054162015 cites W3203988904 @default.
- W2054162015 doi "https://doi.org/10.1305/ndjfl/1039293018" @default.
- W2054162015 hasPublicationYear "1998" @default.
- W2054162015 type Work @default.
- W2054162015 sameAs 2054162015 @default.
- W2054162015 citedByCount "9" @default.
- W2054162015 countsByYear W20541620152012 @default.
- W2054162015 countsByYear W20541620152013 @default.
- W2054162015 crossrefType "journal-article" @default.
- W2054162015 hasAuthorship W2054162015A5079370028 @default.
- W2054162015 hasAuthorship W2054162015A5081572957 @default.
- W2054162015 hasBestOaLocation W20541620151 @default.
- W2054162015 hasConcept C118615104 @default.
- W2054162015 hasConcept C129131279 @default.
- W2054162015 hasConcept C136119220 @default.
- W2054162015 hasConcept C138885662 @default.
- W2054162015 hasConcept C167729594 @default.
- W2054162015 hasConcept C199343813 @default.
- W2054162015 hasConcept C202444582 @default.
- W2054162015 hasConcept C2524010 @default.
- W2054162015 hasConcept C2777686260 @default.
- W2054162015 hasConcept C33923547 @default.
- W2054162015 hasConcept C41895202 @default.
- W2054162015 hasConcept C71924100 @default.
- W2054162015 hasConcept C94375191 @default.
- W2054162015 hasConceptScore W2054162015C118615104 @default.
- W2054162015 hasConceptScore W2054162015C129131279 @default.
- W2054162015 hasConceptScore W2054162015C136119220 @default.
- W2054162015 hasConceptScore W2054162015C138885662 @default.
- W2054162015 hasConceptScore W2054162015C167729594 @default.
- W2054162015 hasConceptScore W2054162015C199343813 @default.
- W2054162015 hasConceptScore W2054162015C202444582 @default.
- W2054162015 hasConceptScore W2054162015C2524010 @default.
- W2054162015 hasConceptScore W2054162015C2777686260 @default.
- W2054162015 hasConceptScore W2054162015C33923547 @default.
- W2054162015 hasConceptScore W2054162015C41895202 @default.
- W2054162015 hasConceptScore W2054162015C71924100 @default.
- W2054162015 hasConceptScore W2054162015C94375191 @default.
- W2054162015 hasIssue "1" @default.
- W2054162015 hasLocation W20541620151 @default.
- W2054162015 hasOpenAccess W2054162015 @default.
- W2054162015 hasPrimaryLocation W20541620151 @default.
- W2054162015 hasRelatedWork W1536783227 @default.
- W2054162015 hasRelatedWork W1983194356 @default.
- W2054162015 hasRelatedWork W2054162015 @default.
- W2054162015 hasRelatedWork W2097441263 @default.
- W2054162015 hasRelatedWork W2492590561 @default.
- W2054162015 hasRelatedWork W2547685566 @default.
- W2054162015 hasRelatedWork W2590752118 @default.
- W2054162015 hasRelatedWork W3123593688 @default.
- W2054162015 hasRelatedWork W4231796430 @default.
- W2054162015 hasRelatedWork W4253088238 @default.
- W2054162015 hasVolume "39" @default.
- W2054162015 isParatext "false" @default.
- W2054162015 isRetracted "false" @default.
- W2054162015 magId "2054162015" @default.
- W2054162015 workType "article" @default.