Matches in SemOpenAlex for { <https://semopenalex.org/work/W2031218960> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2031218960 abstract "A set A is Dedekind infinite if there is a one-to-one function from ω into A. A set A is weakly Dedekind infinite if there is a function from A onto ω; otherwise A is weakly Dedekind finite. For a set M, let dfin∗(M) denote the set of all weakly Dedekind finite subsets of M. In this paper, we prove, in Zermelo–Fraenkel (ZF) set theory, that |dfin∗(M)|<|P(M)| if dfin∗(M) is Dedekind infinite, whereas |dfin∗(M)|<|P(M)| cannot be proved from ZF for an arbitrary M." @default.
- W2031218960 created "2016-06-24" @default.
- W2031218960 creator A5025027890 @default.
- W2031218960 creator A5028101911 @default.
- W2031218960 date "2014-01-01" @default.
- W2031218960 modified "2023-09-25" @default.
- W2031218960 title "A Note on Weakly Dedekind Finite Sets" @default.
- W2031218960 cites W1549237291 @default.
- W2031218960 cites W1589207578 @default.
- W2031218960 cites W1608084331 @default.
- W2031218960 cites W2053778953 @default.
- W2031218960 cites W2126219331 @default.
- W2031218960 cites W2134141694 @default.
- W2031218960 doi "https://doi.org/10.1215/00294527-2688096" @default.
- W2031218960 hasPublicationYear "2014" @default.
- W2031218960 type Work @default.
- W2031218960 sameAs 2031218960 @default.
- W2031218960 citedByCount "3" @default.
- W2031218960 countsByYear W20312189602016 @default.
- W2031218960 countsByYear W20312189602017 @default.
- W2031218960 countsByYear W20312189602019 @default.
- W2031218960 crossrefType "journal-article" @default.
- W2031218960 hasAuthorship W2031218960A5025027890 @default.
- W2031218960 hasAuthorship W2031218960A5028101911 @default.
- W2031218960 hasBestOaLocation W20312189602 @default.
- W2031218960 hasConcept C114614502 @default.
- W2031218960 hasConcept C118615104 @default.
- W2031218960 hasConcept C133835828 @default.
- W2031218960 hasConcept C134306372 @default.
- W2031218960 hasConcept C14036430 @default.
- W2031218960 hasConcept C153046414 @default.
- W2031218960 hasConcept C162392398 @default.
- W2031218960 hasConcept C177264268 @default.
- W2031218960 hasConcept C183606055 @default.
- W2031218960 hasConcept C199360897 @default.
- W2031218960 hasConcept C199879729 @default.
- W2031218960 hasConcept C202444582 @default.
- W2031218960 hasConcept C33923547 @default.
- W2031218960 hasConcept C41008148 @default.
- W2031218960 hasConcept C56357843 @default.
- W2031218960 hasConcept C75764964 @default.
- W2031218960 hasConcept C76449584 @default.
- W2031218960 hasConcept C78458016 @default.
- W2031218960 hasConcept C86803240 @default.
- W2031218960 hasConceptScore W2031218960C114614502 @default.
- W2031218960 hasConceptScore W2031218960C118615104 @default.
- W2031218960 hasConceptScore W2031218960C133835828 @default.
- W2031218960 hasConceptScore W2031218960C134306372 @default.
- W2031218960 hasConceptScore W2031218960C14036430 @default.
- W2031218960 hasConceptScore W2031218960C153046414 @default.
- W2031218960 hasConceptScore W2031218960C162392398 @default.
- W2031218960 hasConceptScore W2031218960C177264268 @default.
- W2031218960 hasConceptScore W2031218960C183606055 @default.
- W2031218960 hasConceptScore W2031218960C199360897 @default.
- W2031218960 hasConceptScore W2031218960C199879729 @default.
- W2031218960 hasConceptScore W2031218960C202444582 @default.
- W2031218960 hasConceptScore W2031218960C33923547 @default.
- W2031218960 hasConceptScore W2031218960C41008148 @default.
- W2031218960 hasConceptScore W2031218960C56357843 @default.
- W2031218960 hasConceptScore W2031218960C75764964 @default.
- W2031218960 hasConceptScore W2031218960C76449584 @default.
- W2031218960 hasConceptScore W2031218960C78458016 @default.
- W2031218960 hasConceptScore W2031218960C86803240 @default.
- W2031218960 hasLocation W20312189601 @default.
- W2031218960 hasLocation W20312189602 @default.
- W2031218960 hasOpenAccess W2031218960 @default.
- W2031218960 hasPrimaryLocation W20312189601 @default.
- W2031218960 hasRelatedWork W1967624576 @default.
- W2031218960 hasRelatedWork W2020685671 @default.
- W2031218960 hasRelatedWork W2033179474 @default.
- W2031218960 hasRelatedWork W2041765299 @default.
- W2031218960 hasRelatedWork W2061592862 @default.
- W2031218960 hasRelatedWork W2061763108 @default.
- W2031218960 hasRelatedWork W2068599971 @default.
- W2031218960 hasRelatedWork W2084349196 @default.
- W2031218960 hasRelatedWork W2134649945 @default.
- W2031218960 hasRelatedWork W283338538 @default.
- W2031218960 hasRelatedWork W2887321563 @default.
- W2031218960 hasRelatedWork W2951287755 @default.
- W2031218960 hasRelatedWork W2952903014 @default.
- W2031218960 hasRelatedWork W2959876053 @default.
- W2031218960 hasRelatedWork W2962790512 @default.
- W2031218960 hasRelatedWork W3012346982 @default.
- W2031218960 hasRelatedWork W3027543442 @default.
- W2031218960 hasRelatedWork W3042004131 @default.
- W2031218960 hasRelatedWork W3097982116 @default.
- W2031218960 hasRelatedWork W820138322 @default.
- W2031218960 isParatext "false" @default.
- W2031218960 isRetracted "false" @default.
- W2031218960 magId "2031218960" @default.
- W2031218960 workType "article" @default.