SET THEORY AND A MODEL OF THE MIND IN PSYCHOLOGY

DOI10.1017/S1755020322000107MaRDI QIDQ6148474zbMATH OpenOpenAlexFDO

Authors Asger Törnquist

Publication date 11 January 2024

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2109.06739

zbMATH Keywords

cardinal invariantsaxiom of choiceset theorymaximal perfect topologies

Mathematics Subject Classification ID

Psychophysics and psychophysiology; perception (91E30) Other combinatorial set theory (03E05) Descriptive set theory (03E15) Consistency and independence results (03E35) Several topologies on one set (change of topology, comparison of topologies, lattices of topologies) (54A10) Cardinal characteristics of the continuum (03E17) Inner models, including constructibility, ordinal definability, and core models (03E45) Continuum hypothesis and Martin's axiom (03E50)

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,mathcalS,mathcalC)$, where $U$ is a non-empty set ("the universe"), $mathcalS$ is a perfect Hausdorff topology on $U$, and $mathcalCsubseteqmathcalP(U)$ together with $mathcalS$ satisfy certain axioms. We refute a conjecture put forward by J. Hoffmann-J{o}rgensen, who conjectured that the existence of a "complete" 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^{alep{h}_0}$ follows from Martin's Axiom, and, contrastingly, we show that $alep{h}_1=mathfrak{u}_M=mathfrak{u}_T<2^{alep{h}_0}=alep{h}_2$ in the Baumgartner-Laver model.

Cites work

• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 3368622 (Why is no real title available?)
• scientific article; zbMATH DE number 3195368 (Why is no real title available?)
• A model of set-theory in which every set of reals is Lebesgue measurable
• A problem of set-theoretic topology
• A proof of the independence of the axiom of choice from the Boolean prime ideal theorem.
• Applications of maximal topologies
• Can you take Solovay's inaccessible away?
• Iterated perfect-set forcing
• On topologies for function spaces
• Set Theory
• Set theory. An introduction to independence proofs
• Solovay-type characterizations for forcing-algebras
• The axiom of choice

This page was built for publication: SET THEORY AND A MODEL OF THE MIND IN PSYCHOLOGY

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6148474)