Matches in SemOpenAlex for { <https://semopenalex.org/work/W976209844> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W976209844 endingPage "190" @default.
- W976209844 startingPage "173" @default.
- W976209844 abstract "This chapter discussesa theory of calculable numbers. It extends classical arithmetic by adding the unary predicate K, which means “is calculable.” The logic of the extended theory is more restricted than classical, but the restrictions do not affect the K-free fragment of the theory. The quantifiers restricted to calculable numbers have meaning close to that of intuitionistic quantifiers. Formulas of intuitionistic arithmetic can be translated into the extended language by restricting all quantifiers to K and, in turn, the extended system also contains intuitionistic arithmetic. The chapter also provides comparison of the proposed theory with other theories of Shapiro and Myhill in which classical and intuitionistic systems coexist. Further, the chapter explores the development of a proposed theory of calculable numbers on the basis of an informal axiomatization." @default.
- W976209844 created "2016-06-24" @default.
- W976209844 creator A5076917986 @default.
- W976209844 date "1985-01-01" @default.
- W976209844 modified "2023-10-16" @default.
- W976209844 title "Calculable Natural Numbers" @default.
- W976209844 cites W1479316927 @default.
- W976209844 cites W1822309835 @default.
- W976209844 cites W1978256094 @default.
- W976209844 cites W1983705661 @default.
- W976209844 cites W2012568831 @default.
- W976209844 cites W2051685387 @default.
- W976209844 cites W2060215258 @default.
- W976209844 cites W992186155 @default.
- W976209844 doi "https://doi.org/10.1016/s0049-237x(08)70143-5" @default.
- W976209844 hasPublicationYear "1985" @default.
- W976209844 type Work @default.
- W976209844 sameAs 976209844 @default.
- W976209844 citedByCount "7" @default.
- W976209844 countsByYear W9762098442017 @default.
- W976209844 countsByYear W9762098442020 @default.
- W976209844 countsByYear W9762098442021 @default.
- W976209844 crossrefType "book-chapter" @default.
- W976209844 hasAuthorship W976209844A5076917986 @default.
- W976209844 hasConcept C118615104 @default.
- W976209844 hasConcept C136119220 @default.
- W976209844 hasConcept C140146324 @default.
- W976209844 hasConcept C184264201 @default.
- W976209844 hasConcept C199360897 @default.
- W976209844 hasConcept C202444582 @default.
- W976209844 hasConcept C33923547 @default.
- W976209844 hasConcept C41008148 @default.
- W976209844 hasConcept C78023250 @default.
- W976209844 hasConcept C94375191 @default.
- W976209844 hasConceptScore W976209844C118615104 @default.
- W976209844 hasConceptScore W976209844C136119220 @default.
- W976209844 hasConceptScore W976209844C140146324 @default.
- W976209844 hasConceptScore W976209844C184264201 @default.
- W976209844 hasConceptScore W976209844C199360897 @default.
- W976209844 hasConceptScore W976209844C202444582 @default.
- W976209844 hasConceptScore W976209844C33923547 @default.
- W976209844 hasConceptScore W976209844C41008148 @default.
- W976209844 hasConceptScore W976209844C78023250 @default.
- W976209844 hasConceptScore W976209844C94375191 @default.
- W976209844 hasLocation W9762098441 @default.
- W976209844 hasOpenAccess W976209844 @default.
- W976209844 hasPrimaryLocation W9762098441 @default.
- W976209844 hasRelatedWork W1493727773 @default.
- W976209844 hasRelatedWork W1678894354 @default.
- W976209844 hasRelatedWork W1707309362 @default.
- W976209844 hasRelatedWork W1822309835 @default.
- W976209844 hasRelatedWork W1965424234 @default.
- W976209844 hasRelatedWork W1977940437 @default.
- W976209844 hasRelatedWork W1994999396 @default.
- W976209844 hasRelatedWork W2010999747 @default.
- W976209844 hasRelatedWork W2039830772 @default.
- W976209844 hasRelatedWork W2062030772 @default.
- W976209844 hasRelatedWork W2065894311 @default.
- W976209844 hasRelatedWork W2122235601 @default.
- W976209844 hasRelatedWork W2131109250 @default.
- W976209844 hasRelatedWork W2152941748 @default.
- W976209844 hasRelatedWork W2208743443 @default.
- W976209844 hasRelatedWork W3125454179 @default.
- W976209844 hasRelatedWork W3172049250 @default.
- W976209844 hasRelatedWork W3195388786 @default.
- W976209844 hasRelatedWork W997000086 @default.
- W976209844 hasRelatedWork W2104312161 @default.
- W976209844 isParatext "false" @default.
- W976209844 isRetracted "false" @default.
- W976209844 magId "976209844" @default.
- W976209844 workType "book-chapter" @default.