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 C\subseteq\mathcal P(U)$ together with $\mathcal S$ satisfy certain axioms. We refute a conjecture put forward by J. Hoffmann-Jø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^{\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.

Countable Models of Complete Ordered Theories

On Finitely Generated Models of Theories with at Most Countably Many Nonisomorphic Finitely Generated Models

Measures Defined on Quantum Logics of Sets

Some simple theories from a Boolean algebra point of view

The Borel complexity of the class of models of first-order theories

Incompleteness of boundedly axiomatizable theories

An aleph-zero-categorical theory which is not G-compact and does not have AZ-enumerations

The Theory of Sets of Ordinals

On the categoricity of complete second order theories

An undecidable extension of Morley's theorem on the number of countable models

Measure Theory Aspects of Locally Countable Orderings

The Tarski–Lindenbaum algebra of the class of strongly constructivizable models with -stable theories

Model Theory for Real-valued Structures

Counting CTL

Some metalogical properties for infinitary predicate topological logic

Absoluteness for the theory of the inner model constructed from finitely many cofinality quantifiers

Every countable model of arithmetic or set theory has a pointwise-definable end extension

Constructing Fully Complete Models of Multiplicative Linear Logic

Set theory and a model of the mind in psychology

Zilber's notion of logically perfect structure: Universal Covers

Well-Ordered Model Universes