FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2581492835> ?p ?o ?g. }

• W2581492835 endingPage "140" @default.
• W2581492835 startingPage "122" @default.
• W2581492835 abstract "In set theory without the Axiom of Choice (AC), we study the deductive strength of variants of the Principle of Consistent Choices (PCC) and their relationship with the minimal cover property, the 2-compactness of generalized Cantor cubes, and with certain weak choice principles. (Complete definitions are given in Section “Notation and terminology”.) Among other results, we establish the following: “For every infinite set X, the generalized Cantor cube 2X has the minimal cover property” (MCP) implies “PCC restricted to families of 2-element sets” (F2), which in turn implies “for every infinite set X, 2X is 2-compact” (Q(2)). Moreover, ‘MCP implies F2’ is not reversible in ZFA (i.e., ZF, the Zermelo–Fraenkel set theory minus AC, with the Axiom of Extensionality weakened in order to permit the existence of atoms). The above results strengthen related results in Howard–Tachtsis “On the minimal cover property in ZF” and “On the set-theoretic strength of the n-compactness of generalized Cantor cubes”. “Every Dedekind-finite set is finite” (DF=F) implies the Principle of Partial Consistent Choices (PPCC) – the latter principle being introduced here – which in turn implies ACfinℵ0 (i.e., the axiom of choice for denumerable families of non-empty finite sets). None of the previous implications is reversible in ZF. The Principle of Countable Consistent Choices (PCCℵ0), which is introduced here, is equivalent to ACfinℵ0. Rado's Lemma (RL) + “every infinite set has an infinite linearly orderable subset” implies PPCC. In addition, RL does not imply PPCC in ZFA, PPCC does not imply RL in ZF, and PPCC does not imply “every infinite set has an infinite linearly orderable subset” in ZFA. PPCC does not imply “there are no amorphous sets” in ZFA. F2 implies “there are no amorphous sets” and the implication is not reversible in ZF. This clarifies the relationship between the latter two statements, whose status is mentioned as unknown in Howard–Rubin “Consequences of the Axiom of Choice”. “Every infinite partially ordered set has either an infinite chain or an infinite antichain” (CAC) does not imply X, where X∈{PPCC,F2}, in ZF. In addition, F2 does not imply CAC in ZFA." @default.
• W2581492835 created "2017-02-03" @default.
• W2581492835 creator A5000502133 @default.
• W2581492835 date "2017-03-01" @default.
• W2581492835 modified "2023-10-16" @default.
• W2581492835 title "On variants of the principle of consistent choices, the minimal cover property and the 2-compactness of generalized Cantor cubes" @default.
• W2581492835 cites W1532413719 @default.
• W2581492835 cites W1980590548 @default.
• W2581492835 cites W1991515818 @default.
• W2581492835 cites W2008347684 @default.
• W2581492835 cites W2022674022 @default.
• W2581492835 cites W2037792067 @default.
• W2581492835 cites W2052267770 @default.
• W2581492835 cites W2060463607 @default.
• W2581492835 cites W2064114665 @default.
• W2581492835 cites W2085674347 @default.
• W2581492835 cites W2091400962 @default.
• W2581492835 cites W2092009650 @default.
• W2581492835 cites W2323053796 @default.
• W2581492835 cites W2467421883 @default.
• W2581492835 cites W2472559240 @default.
• W2581492835 cites W827220490 @default.
• W2581492835 cites W949064508 @default.
• W2581492835 cites W955266649 @default.
• W2581492835 doi "https://doi.org/10.1016/j.topol.2017.01.009" @default.
• W2581492835 hasPublicationYear "2017" @default.
• W2581492835 type Work @default.
• W2581492835 sameAs 2581492835 @default.
• W2581492835 citedByCount "2" @default.
• W2581492835 countsByYear W25814928352019 @default.
• W2581492835 countsByYear W25814928352021 @default.
• W2581492835 crossrefType "journal-article" @default.
• W2581492835 hasAuthorship W2581492835A5000502133 @default.
• W2581492835 hasConcept C110729354 @default.
• W2581492835 hasConcept C111472728 @default.
• W2581492835 hasConcept C114614502 @default.
• W2581492835 hasConcept C118615104 @default.
• W2581492835 hasConcept C127413603 @default.
• W2581492835 hasConcept C134306372 @default.
• W2581492835 hasConcept C138885662 @default.
• W2581492835 hasConcept C142399903 @default.
• W2581492835 hasConcept C151797676 @default.
• W2581492835 hasConcept C153046414 @default.
• W2581492835 hasConcept C162392398 @default.
• W2581492835 hasConcept C167729594 @default.
• W2581492835 hasConcept C177264268 @default.
• W2581492835 hasConcept C18648836 @default.
• W2581492835 hasConcept C18903297 @default.
• W2581492835 hasConcept C189950617 @default.
• W2581492835 hasConcept C199360897 @default.
• W2581492835 hasConcept C202444582 @default.
• W2581492835 hasConcept C2524010 @default.
• W2581492835 hasConcept C2777759810 @default.
• W2581492835 hasConcept C2780428219 @default.
• W2581492835 hasConcept C33923547 @default.
• W2581492835 hasConcept C41008148 @default.
• W2581492835 hasConcept C46757340 @default.
• W2581492835 hasConcept C78519656 @default.
• W2581492835 hasConcept C86803240 @default.
• W2581492835 hasConceptScore W2581492835C110729354 @default.
• W2581492835 hasConceptScore W2581492835C111472728 @default.
• W2581492835 hasConceptScore W2581492835C114614502 @default.
• W2581492835 hasConceptScore W2581492835C118615104 @default.
• W2581492835 hasConceptScore W2581492835C127413603 @default.
• W2581492835 hasConceptScore W2581492835C134306372 @default.
• W2581492835 hasConceptScore W2581492835C138885662 @default.
• W2581492835 hasConceptScore W2581492835C142399903 @default.
• W2581492835 hasConceptScore W2581492835C151797676 @default.
• W2581492835 hasConceptScore W2581492835C153046414 @default.
• W2581492835 hasConceptScore W2581492835C162392398 @default.
• W2581492835 hasConceptScore W2581492835C167729594 @default.
• W2581492835 hasConceptScore W2581492835C177264268 @default.
• W2581492835 hasConceptScore W2581492835C18648836 @default.
• W2581492835 hasConceptScore W2581492835C18903297 @default.
• W2581492835 hasConceptScore W2581492835C189950617 @default.
• W2581492835 hasConceptScore W2581492835C199360897 @default.
• W2581492835 hasConceptScore W2581492835C202444582 @default.
• W2581492835 hasConceptScore W2581492835C2524010 @default.
• W2581492835 hasConceptScore W2581492835C2777759810 @default.
• W2581492835 hasConceptScore W2581492835C2780428219 @default.
• W2581492835 hasConceptScore W2581492835C33923547 @default.
• W2581492835 hasConceptScore W2581492835C41008148 @default.
• W2581492835 hasConceptScore W2581492835C46757340 @default.
• W2581492835 hasConceptScore W2581492835C78519656 @default.
• W2581492835 hasConceptScore W2581492835C86803240 @default.
• W2581492835 hasLocation W25814928351 @default.
• W2581492835 hasOpenAccess W2581492835 @default.
• W2581492835 hasPrimaryLocation W25814928351 @default.
• W2581492835 hasRelatedWork W1658992829 @default.
• W2581492835 hasRelatedWork W1838906185 @default.
• W2581492835 hasRelatedWork W2088257207 @default.
• W2581492835 hasRelatedWork W2099566154 @default.
• W2581492835 hasRelatedWork W2099759621 @default.
• W2581492835 hasRelatedWork W2581492835 @default.
• W2581492835 hasRelatedWork W2938315078 @default.
• W2581492835 hasRelatedWork W2950398826 @default.
• W2581492835 hasRelatedWork W3006582179 @default.
• W2581492835 hasRelatedWork W3048792601 @default.

• next