Matches in SemOpenAlex for { <https://semopenalex.org/work/W1841737296> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1841737296 abstract "We describe a theory of finite sets, and investigate the analogue of Dedekind's theory of natural number systems (simply infinite systems) in this theory. Unlike the infinitary case, in our theory, natural number systems come in differing lengths and with different closure properties. We give examples of natural number systems incomparable in length; we define hierarchies of natural number systems closed under increasingly powerful functions; and we describe a method by which to construct natural number systems with given closure properties. These natural number systems form natural models for various systems of weak arithmetic." @default.
- W1841737296 created "2016-06-24" @default.
- W1841737296 creator A5019300135 @default.
- W1841737296 creator A5083218573 @default.
- W1841737296 date "2007-11-19" @default.
- W1841737296 modified "2023-09-27" @default.
- W1841737296 title "Natural Number Arithmetic in the Theory of Finite Sets" @default.
- W1841737296 cites W1562318894 @default.
- W1841737296 cites W1607926272 @default.
- W1841737296 cites W1971643033 @default.
- W1841737296 cites W2007983321 @default.
- W1841737296 cites W2011612028 @default.
- W1841737296 cites W2040404640 @default.
- W1841737296 cites W2055747657 @default.
- W1841737296 cites W2799147727 @default.
- W1841737296 hasPublicationYear "2007" @default.
- W1841737296 type Work @default.
- W1841737296 sameAs 1841737296 @default.
- W1841737296 citedByCount "0" @default.
- W1841737296 crossrefType "posted-content" @default.
- W1841737296 hasAuthorship W1841737296A5019300135 @default.
- W1841737296 hasAuthorship W1841737296A5083218573 @default.
- W1841737296 hasConcept C118615104 @default.
- W1841737296 hasConcept C134306372 @default.
- W1841737296 hasConcept C136119220 @default.
- W1841737296 hasConcept C146834321 @default.
- W1841737296 hasConcept C162324750 @default.
- W1841737296 hasConcept C162392398 @default.
- W1841737296 hasConcept C166957645 @default.
- W1841737296 hasConcept C169654258 @default.
- W1841737296 hasConcept C184264201 @default.
- W1841737296 hasConcept C202444582 @default.
- W1841737296 hasConcept C2776608160 @default.
- W1841737296 hasConcept C33923547 @default.
- W1841737296 hasConcept C34447519 @default.
- W1841737296 hasConcept C76449584 @default.
- W1841737296 hasConcept C94375191 @default.
- W1841737296 hasConcept C95457728 @default.
- W1841737296 hasConceptScore W1841737296C118615104 @default.
- W1841737296 hasConceptScore W1841737296C134306372 @default.
- W1841737296 hasConceptScore W1841737296C136119220 @default.
- W1841737296 hasConceptScore W1841737296C146834321 @default.
- W1841737296 hasConceptScore W1841737296C162324750 @default.
- W1841737296 hasConceptScore W1841737296C162392398 @default.
- W1841737296 hasConceptScore W1841737296C166957645 @default.
- W1841737296 hasConceptScore W1841737296C169654258 @default.
- W1841737296 hasConceptScore W1841737296C184264201 @default.
- W1841737296 hasConceptScore W1841737296C202444582 @default.
- W1841737296 hasConceptScore W1841737296C2776608160 @default.
- W1841737296 hasConceptScore W1841737296C33923547 @default.
- W1841737296 hasConceptScore W1841737296C34447519 @default.
- W1841737296 hasConceptScore W1841737296C76449584 @default.
- W1841737296 hasConceptScore W1841737296C94375191 @default.
- W1841737296 hasConceptScore W1841737296C95457728 @default.
- W1841737296 hasLocation W18417372961 @default.
- W1841737296 hasOpenAccess W1841737296 @default.
- W1841737296 hasPrimaryLocation W18417372961 @default.
- W1841737296 hasRelatedWork W1416320646 @default.
- W1841737296 hasRelatedWork W1562988890 @default.
- W1841737296 hasRelatedWork W1597097264 @default.
- W1841737296 hasRelatedWork W2068594583 @default.
- W1841737296 hasRelatedWork W2074251444 @default.
- W1841737296 hasRelatedWork W2075490047 @default.
- W1841737296 hasRelatedWork W2084041069 @default.
- W1841737296 hasRelatedWork W2124573906 @default.
- W1841737296 hasRelatedWork W2149011158 @default.
- W1841737296 hasRelatedWork W2158012017 @default.
- W1841737296 hasRelatedWork W2299488973 @default.
- W1841737296 hasRelatedWork W2614862045 @default.
- W1841737296 hasRelatedWork W2914322538 @default.
- W1841737296 hasRelatedWork W2944064113 @default.
- W1841737296 hasRelatedWork W2955279730 @default.
- W1841737296 hasRelatedWork W2971306721 @default.
- W1841737296 hasRelatedWork W3090514929 @default.
- W1841737296 hasRelatedWork W4696618 @default.
- W1841737296 hasRelatedWork W56322521 @default.
- W1841737296 hasRelatedWork W75248982 @default.
- W1841737296 isParatext "false" @default.
- W1841737296 isRetracted "false" @default.
- W1841737296 magId "1841737296" @default.
- W1841737296 workType "article" @default.