SET THEORY AND A MODEL OF THE MIND IN PSYCHOLOGY

DOI10.1017/S1755020322000107arXiv2109.06739OpenAlexW4220919164MaRDI QIDQ6148474FDOQ6148474

Authors: Asger Törnquist 

Publication date: 11 January 2024

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

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.

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)

Cites Work

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

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)