Matches in SemOpenAlex for { <https://semopenalex.org/work/W3200720010> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W3200720010 abstract "We investigate the mathematics of a model of the human mind which has been proposed by the psychologist Jens Mammen. Mathematical realizations of this model consist of so-called emph{Mammen spaces}, where a Mammen space is a triple $(U,mathcal S,mathcal C)$, where $U$ is a non-empty set (the universe), $mathcal S$ is a perfect Hausdorff topology on $U$, and $mathcal Csubseteqmathcal P(U)$ together with $mathcal S$ satisfy certain axioms. We refute a conjecture put forward by J. Hoffmann-Jorgensen, who conjectured that the existence of a Mammen space implies the Axiom of Choice, by showing that in the first Cohen model, in which ZF holds but AC fails, there is a complete Mammen space. We obtain this by proving that in the first Cohen model, every perfect topology can be extended to a maximal perfect topology. On the other hand, we also show that if all sets are Lebesgue measurable, or all sets are Baire measurable, then there are no complete Mammen spaces with a countable universe. Finally, we investigate two new cardinal invariants $mathfrak u_M$ and $mathfrak u_T$ associated with complete Mammen spaces and maximal perfect topologies, and establish some basic inequalities that are provable in ZFC. We show $mathfrak u_M=mathfrak u_T=2^{aleph_0}$ follows from Martin's Axiom, and, contrastingly, we show that $aleph_1=mathfrak u_M=mathfrak u_T<2^{aleph_0}=aleph_2$ in the Baumgartner-Laver model." @default.
- W3200720010 created "2021-09-27" @default.
- W3200720010 creator A5012889206 @default.
- W3200720010 creator A5080649506 @default.
- W3200720010 date "2021-09-14" @default.
- W3200720010 modified "2023-09-27" @default.
- W3200720010 title "Set theory and a model of the mind in psychology" @default.
- W3200720010 cites W1541012876 @default.
- W3200720010 cites W1933657216 @default.
- W3200720010 cites W2047704456 @default.
- W3200720010 cites W2105820468 @default.
- W3200720010 cites W2159227336 @default.
- W3200720010 cites W2198573622 @default.
- W3200720010 cites W2575691085 @default.
- W3200720010 cites W2754756998 @default.
- W3200720010 hasPublicationYear "2021" @default.
- W3200720010 type Work @default.
- W3200720010 sameAs 3200720010 @default.
- W3200720010 citedByCount "0" @default.
- W3200720010 crossrefType "posted-content" @default.
- W3200720010 hasAuthorship W3200720010A5012889206 @default.
- W3200720010 hasAuthorship W3200720010A5080649506 @default.
- W3200720010 hasConcept C105433845 @default.
- W3200720010 hasConcept C110729354 @default.
- W3200720010 hasConcept C111919701 @default.
- W3200720010 hasConcept C114614502 @default.
- W3200720010 hasConcept C118615104 @default.
- W3200720010 hasConcept C121332964 @default.
- W3200720010 hasConcept C134306372 @default.
- W3200720010 hasConcept C151797676 @default.
- W3200720010 hasConcept C153046414 @default.
- W3200720010 hasConcept C167729594 @default.
- W3200720010 hasConcept C177264268 @default.
- W3200720010 hasConcept C191399826 @default.
- W3200720010 hasConcept C199360897 @default.
- W3200720010 hasConcept C2524010 @default.
- W3200720010 hasConcept C2778572836 @default.
- W3200720010 hasConcept C2780990831 @default.
- W3200720010 hasConcept C33923547 @default.
- W3200720010 hasConcept C41008148 @default.
- W3200720010 hasConcept C44870925 @default.
- W3200720010 hasConcept C47030870 @default.
- W3200720010 hasConcept C70710897 @default.
- W3200720010 hasConcept C81332173 @default.
- W3200720010 hasConcept C84999194 @default.
- W3200720010 hasConceptScore W3200720010C105433845 @default.
- W3200720010 hasConceptScore W3200720010C110729354 @default.
- W3200720010 hasConceptScore W3200720010C111919701 @default.
- W3200720010 hasConceptScore W3200720010C114614502 @default.
- W3200720010 hasConceptScore W3200720010C118615104 @default.
- W3200720010 hasConceptScore W3200720010C121332964 @default.
- W3200720010 hasConceptScore W3200720010C134306372 @default.
- W3200720010 hasConceptScore W3200720010C151797676 @default.
- W3200720010 hasConceptScore W3200720010C153046414 @default.
- W3200720010 hasConceptScore W3200720010C167729594 @default.
- W3200720010 hasConceptScore W3200720010C177264268 @default.
- W3200720010 hasConceptScore W3200720010C191399826 @default.
- W3200720010 hasConceptScore W3200720010C199360897 @default.
- W3200720010 hasConceptScore W3200720010C2524010 @default.
- W3200720010 hasConceptScore W3200720010C2778572836 @default.
- W3200720010 hasConceptScore W3200720010C2780990831 @default.
- W3200720010 hasConceptScore W3200720010C33923547 @default.
- W3200720010 hasConceptScore W3200720010C41008148 @default.
- W3200720010 hasConceptScore W3200720010C44870925 @default.
- W3200720010 hasConceptScore W3200720010C47030870 @default.
- W3200720010 hasConceptScore W3200720010C70710897 @default.
- W3200720010 hasConceptScore W3200720010C81332173 @default.
- W3200720010 hasConceptScore W3200720010C84999194 @default.
- W3200720010 hasLocation W32007200101 @default.
- W3200720010 hasOpenAccess W3200720010 @default.
- W3200720010 hasPrimaryLocation W32007200101 @default.
- W3200720010 hasRelatedWork W1501002175 @default.
- W3200720010 hasRelatedWork W1965116174 @default.
- W3200720010 hasRelatedWork W1979649929 @default.
- W3200720010 hasRelatedWork W1989586176 @default.
- W3200720010 hasRelatedWork W1995323496 @default.
- W3200720010 hasRelatedWork W1997895280 @default.
- W3200720010 hasRelatedWork W2001752461 @default.
- W3200720010 hasRelatedWork W2006497810 @default.
- W3200720010 hasRelatedWork W2007577694 @default.
- W3200720010 hasRelatedWork W2019237208 @default.
- W3200720010 hasRelatedWork W2019937194 @default.
- W3200720010 hasRelatedWork W2020563202 @default.
- W3200720010 hasRelatedWork W2052595117 @default.
- W3200720010 hasRelatedWork W2084384075 @default.
- W3200720010 hasRelatedWork W2140765651 @default.
- W3200720010 hasRelatedWork W2491631245 @default.
- W3200720010 hasRelatedWork W2761942604 @default.
- W3200720010 hasRelatedWork W2766275162 @default.
- W3200720010 hasRelatedWork W2883406053 @default.
- W3200720010 hasRelatedWork W177522066 @default.
- W3200720010 isParatext "false" @default.
- W3200720010 isRetracted "false" @default.
- W3200720010 magId "3200720010" @default.
- W3200720010 workType "article" @default.