Matches in SemOpenAlex for { <https://semopenalex.org/work/W3176473721> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W3176473721 abstract "This paper presents the (second-order) theory of hereditarily finite sets according to the usual pattern adopted in the presentation of the (second-order) theory of natural numbers. To this purpose, we consider three primitive concepts, together with four axioms, which are analogous to the usual Peano axioms. From them, we prove a homomorphism theorem, its converse, categoricity, and a kind of (semantical) completeness." @default.
- W3176473721 created "2021-07-05" @default.
- W3176473721 creator A5035781389 @default.
- W3176473721 creator A5057148816 @default.
- W3176473721 creator A5060106141 @default.
- W3176473721 date "2021-07-18" @default.
- W3176473721 modified "2023-10-14" @default.
- W3176473721 title "An Arithmetical-like Theory of Hereditarily Finite Sets" @default.
- W3176473721 doi "https://doi.org/10.5753/wbl.2021.15774" @default.
- W3176473721 hasPublicationYear "2021" @default.
- W3176473721 type Work @default.
- W3176473721 sameAs 3176473721 @default.
- W3176473721 citedByCount "0" @default.
- W3176473721 crossrefType "proceedings-article" @default.
- W3176473721 hasAuthorship W3176473721A5035781389 @default.
- W3176473721 hasAuthorship W3176473721A5057148816 @default.
- W3176473721 hasAuthorship W3176473721A5060106141 @default.
- W3176473721 hasBestOaLocation W31764737211 @default.
- W3176473721 hasConcept C10138342 @default.
- W3176473721 hasConcept C112343008 @default.
- W3176473721 hasConcept C118615104 @default.
- W3176473721 hasConcept C127753061 @default.
- W3176473721 hasConcept C134306372 @default.
- W3176473721 hasConcept C136119220 @default.
- W3176473721 hasConcept C162324750 @default.
- W3176473721 hasConcept C167729594 @default.
- W3176473721 hasConcept C17231256 @default.
- W3176473721 hasConcept C182306322 @default.
- W3176473721 hasConcept C184264201 @default.
- W3176473721 hasConcept C202444582 @default.
- W3176473721 hasConcept C2524010 @default.
- W3176473721 hasConcept C2776809875 @default.
- W3176473721 hasConcept C33923547 @default.
- W3176473721 hasConcept C4042151 @default.
- W3176473721 hasConcept C65148605 @default.
- W3176473721 hasConcept C97489613 @default.
- W3176473721 hasConceptScore W3176473721C10138342 @default.
- W3176473721 hasConceptScore W3176473721C112343008 @default.
- W3176473721 hasConceptScore W3176473721C118615104 @default.
- W3176473721 hasConceptScore W3176473721C127753061 @default.
- W3176473721 hasConceptScore W3176473721C134306372 @default.
- W3176473721 hasConceptScore W3176473721C136119220 @default.
- W3176473721 hasConceptScore W3176473721C162324750 @default.
- W3176473721 hasConceptScore W3176473721C167729594 @default.
- W3176473721 hasConceptScore W3176473721C17231256 @default.
- W3176473721 hasConceptScore W3176473721C182306322 @default.
- W3176473721 hasConceptScore W3176473721C184264201 @default.
- W3176473721 hasConceptScore W3176473721C202444582 @default.
- W3176473721 hasConceptScore W3176473721C2524010 @default.
- W3176473721 hasConceptScore W3176473721C2776809875 @default.
- W3176473721 hasConceptScore W3176473721C33923547 @default.
- W3176473721 hasConceptScore W3176473721C4042151 @default.
- W3176473721 hasConceptScore W3176473721C65148605 @default.
- W3176473721 hasConceptScore W3176473721C97489613 @default.
- W3176473721 hasLocation W31764737211 @default.
- W3176473721 hasOpenAccess W3176473721 @default.
- W3176473721 hasPrimaryLocation W31764737211 @default.
- W3176473721 hasRelatedWork W10271179 @default.
- W3176473721 hasRelatedWork W13955020 @default.
- W3176473721 hasRelatedWork W23865434 @default.
- W3176473721 hasRelatedWork W33103620 @default.
- W3176473721 hasRelatedWork W34903386 @default.
- W3176473721 hasRelatedWork W35535735 @default.
- W3176473721 hasRelatedWork W42296282 @default.
- W3176473721 hasRelatedWork W57840110 @default.
- W3176473721 hasRelatedWork W58397866 @default.
- W3176473721 hasRelatedWork W61101133 @default.
- W3176473721 isParatext "false" @default.
- W3176473721 isRetracted "false" @default.
- W3176473721 magId "3176473721" @default.
- W3176473721 workType "article" @default.