A note on adding isomorphisms and the pseudointersection number

Basic Information

• Paper ID: 2510.11155
• Title: A note on adding isomorphisms and the pseudointersection number
• Author: Corey Bacal Switzer (Kurt Gödel Research Center, University of Vienna)
• Classification: math.LO (Mathematical Logic), math.GN (General Topology)
• Publication Date: October 13, 2024
• Paper Link: https://arxiv.org/abs/2510.11155v1

Abstract

This paper proves that for every tower $\mathcal{T}$, there exist $\aleph_1$-dense sets $A$ and $B$ such that any "reasonable" forcing notion $\mathbb{P}$ (an adjective that encompasses all known cases) used to make $A$ and $B$ isomorphic adds a pseudointersection to the tower. This particularly shows that $\mathsf{MA}_{\aleph_1}(\sigma\text{-centered})$ holds in all known models of $\mathsf{BA}$, providing new insights into the celebrated questions of Todorčević and Steprāns-Watson.

Research Background and Motivation

Core Problem

The core problem investigated in this paper concerns the relationship between the Baumgartner axiom (BA) and cardinal characteristics, particularly the pseudointersection number $p$. The Baumgartner axiom asserts that all $\aleph_1$-dense sets of reals are isomorphic.

Significance

1. Theoretical Importance: BA is an important axiom in set theory, connecting topology, order theory, and cardinal characteristic theory
2. Open Problem: Todorčević proved that BA implies $b > \aleph_1$, but whether BA implies $p > \aleph_1$ remains an open question
3. Applied Value: Results are significant for understanding isomorphism problems on different topological spaces

Limitations of Existing Methods

• Existing consistency proofs for BA cannot directly answer whether BA implies $p > \aleph_1$
• Lack of a unified framework to analyze the impact of different forcing methods on cardinal characteristics

Research Motivation

The author's primary motivation is to analyze all known forcing methods for constructing BA models and prove that they necessarily force $p > \aleph_1$, thereby providing new perspectives on related conjectures.

Core Contributions

1. Main Theorem: Proves that any "reasonable" forcing method for BA necessarily forces $p > \aleph_1$
2. Technical Innovation: Introduces the concept of "reasonable forcing," encompassing all known methods in the literature for constructing BA models
3. Theoretical Insight: Establishes deep connections between forcing BA and the pseudointersection number
4. Generalization of Applications: Extends results to BA variants on other topological spaces
5. Open Problems: Provides new research directions for Todorčević's problem and the Steprāns-Watson conjecture

Methodology

Task Definition

Given a tower $\mathcal{T}$ of size $\aleph_1$, construct $\aleph_1$-dense sets $A$ and $B$ such that any reasonable forcing used to make $A$ and $B$ isomorphic adds a pseudointersection to the tower.

Core Concepts

Definition of Reasonable Forcing

Let $A$ and $B$ be $\aleph_1$-dense sets of reals. A poset $P$ is called reasonable for $A$ and $B$ if it satisfies:

1. Finite Isomorphism Property: Each condition $p \in P$ is a finite partial isomorphism from $A$ to $B$
2. Restriction Property: If $p \in P$ and $q = p \restriction Z$ for some finite set $Z \subseteq \dom(p)$, then $q \in P$
3. Dense Mapping Property: For $p \in P$ and $x \in A \setminus \dom(p)$, if $x_0 < x < x_1$ with $x_0, x_1 \in \dom(p)$, then for any open interval $U$ contained in $(p(x_0), p(x_1))$, there exists $q \leq p$ such that $x \in \dom(q)$ and $q(x) \in U$

Key Technical Tools

Cantor-Lebesgue Map: $\lambda : 2^\omega \to [0,1]$, defined as $\lambda(x) = \sum_{i \in \omega} \frac{x(n)}{2^{n+1}}$

This map connects combinatorics on $2^\omega$ with topology on $\mathbb{R}$.

Main Theorem Proof Strategy

Proof Strategy for Theorem 2.1

For each tower $T$ of size $\aleph_1$, construct special $\aleph_1$-dense sets $A_T$ and $B_T$:

1. Tower Construction: Let $T = \{X_\alpha | \alpha < \omega_1\}$, where $\alpha < \beta$ implies $X_\beta \subseteq^* X_\alpha$
2. Set Construction: Let $A = \{\omega \setminus X_\alpha | \alpha < \omega_1\}$, and $B$ be an $\aleph_1$-dense set almost disjoint from $X$
3. Key Lemma: Prove that any reasonable forcing produces isomorphism mappings satisfying specific properties

Core Lemma 2.5

If $P$ is a reasonable forcing for $A,B$, then $P$ forces the generic isomorphism $\dot{g}_{A,B}$ to satisfy: there exist infinitely many $n \in X$ such that $\dot{g}_{A,B}''(\lambda''[x(n) = 1]) \subseteq \bigcup_{m \in X \setminus n} \lambda''[x(m) = 1]$

Technical Innovations

1. Unified Framework: The concept of "reasonable forcing" encompasses all known BA construction methods
2. Combinatorial-Topological Conversion: Cleverly uses the Cantor-Lebesgue map to connect different mathematical structures
3. Dense Mapping Property: This is the key innovation in the definition of reasonable forcing, capturing the essential features of all known methods

Experimental Setup

This is a pure theoretical mathematics paper with no computational experiments. All results are derived through rigorous mathematical proof.

Main Results

Main Theorem 1.1

If $P$ is an iterated reasonable forcing notion that forces BA, then in any generic extension by $P$, necessarily $p > \aleph_1$.

Corollary 2.7

If $\{P_\alpha, \dot{Q}_\alpha | \alpha < \delta\}$ is a countable support proper forcing iteration or a finite support ccc forcing iteration such that for all $\aleph_1$-dense pairs $A,B \subseteq \mathbb{R}$ in the extension there exists a reasonable forcing, then it forces $p > \aleph_1$.

Theorem 3.2

Similar results hold for BA on $2^\omega$. In particular, Medini's forcing method also adds pseudointersections.

Related Work

Historical Background

• Baumgartner (1973): First proved consistency of BA
• Todorčević (1989): Proved BA implies $b > \aleph_1$
• Abraham-Shelah (1981): Proved MA + ¬CH does not imply BA

Related Research Directions

1. Cardinal Characteristic Theory: Study of relationships between cardinals $p, b, t$, etc.
2. Forcing Theory: Impact of various forcing methods on cardinal characteristics
3. Topological Isomorphism Problems: Study of BA variants on different spaces

Advantages of This Paper

• Provides a unified analytical framework
• Encompasses all known BA construction methods
• Establishes new theoretical connections

Conclusions and Discussion

Main Conclusions

1. All known methods for constructing BA models necessarily force $p > \aleph_1$
2. This provides strong evidence for Todorčević's problem and the Steprāns-Watson conjecture
3. Any attempt at a negative answer to these problems requires entirely new construction ideas

Limitations

1. "Reasonableness" Restriction: While encompassing all known methods, unknown unreasonable methods may exist
2. Absence of Direct Proof: Still lacks a direct proof that BA implies $p > \aleph_1$
3. Technical Complexity: Certain technical details could be improved

Future Directions

1. Direct Proof: Seek a direct proof that BA implies $p > \aleph_1$
2. Novel Construction Methods: Explore possible unreasonable forcing methods
3. Generalized Applications: Apply techniques to other cardinal characteristic problems

In-Depth Evaluation

Strengths

1. Theoretical Depth: Establishes deep connections between forcing theory and cardinal characteristics
2. Technical Innovation: Introduction of the "reasonable forcing" concept is significant
3. Result Importance: Provides new perspectives on important open problems
4. Proof Rigor: Mathematical arguments are rigorous and technically precise

Weaknesses

1. Coverage Limitations: While claiming to encompass "all known methods," such claims are difficult to fully verify
2. Lack of Directness: Remains an indirect result, not directly resolving the core problem
3. Limited Scope of Application: Primarily confined to theoretical research with limited practical applications

Impact

1. Academic Value: Significantly advances research in set theory and topology
2. Methodological Contribution: Provides new tools for analyzing forcing methods
3. Inspirational Significance: Points direction for research on related problems

Applicable Scenarios

• Research on cardinal characteristics in set theory
• Application analysis in forcing theory
• Study of isomorphism problems on topological spaces
• Consistency proofs in mathematical logic

References

The paper cites 17 important references, primarily including:

• Baumgartner's foundational work on BA
• Todorčević's research on cardinal characteristics
• Malliaris-Shelah's proof of $p = t$
• Technical literature on various forcing methods

Overall Assessment: This is a high-quality theoretical mathematics paper that achieves substantial progress on important problems in set theory. While it does not completely resolve the core open problems, it provides important theoretical insights and technical tools that significantly advance the development of this field.