Some applications of a generalized Martin's axiom
type: Item
instance of: scholarly article
title: Some applications of a generalized Martin's axiom
zbMATH Open document ID: 0806.54004
DOI: 10.1016/0166-8641(94)90051-5
author: Franklin D. Tall
published in: Topology and its Applications
publication date: 1995-02-14T00:00:00Z
review text: This paper is dedicated to the memory of B. Shapirovskij. The first half of this paper is mainly concerned with proposition \(P_ 1\) which is implied by Baumgartner axiom plus CH. By \(P_ 1\) we mean the following statement: Suppose \(\{A_ \alpha\}_{\alpha < k}\), \(k < 2^{\aleph_ 1}\), are subsets of \(\omega_ 1\) with each countable intersection uncountable. Then there is an uncountable \(A \subset \omega_ 1\) such that for every \(\alpha\), \(A - A_ \alpha\) is countable. A Lusin set style formulation of \(P_ 1\) is given as useful. Under \(P_ 1\) plus CH plus for each \(k < 2^{\aleph_ k}\), \(k^{\aleph_ 0} < 2^{\aleph_ 1}\), the generalized Martin's axiom holds for countably compact \(\aleph_ 1\)-centred partial orders. Under \(P_ 1\) and CH, there exists a hereditarily Lindelöf regular nonseparable space of weight \(k\) for which \(\aleph_ 2 \leq k^{\aleph_ 0} < 2^{\aleph_ 1}\). Under \(P_ 1\) plus CH plus \(2^{\aleph_ 1} > k \geq \aleph_ 1\), we have \(2^ K = 2^{\aleph_ 1}\). The second half is concerned with the strong Baumgartner axiom. Some results under the strong Baumgartner axiom plus CH are also proved. The author gives a model for CH and the generalized Martin's axiom for \(\aleph_ 1\)-centred countably compact partial orders plus \(2^{\aleph_ 1} > \aleph_ 2\) in which any normal space of character \(< 2^{\aleph_ 1}\) is collectionwise normal with respect to a discrete collection of \(\aleph_ 1\) Lindelöf sets, each of cardinality \(< 2^{\aleph_ 1}\). To state exactly the obtained results, we need several concepts, so the details are not mentioned here. On a Kurepa tree, there are two interesting results. Under the Baumgartner axiom, CH and \(2^{\aleph_ 1} > \aleph_ 2\) implies there is a Kurepa tree. On the other hand, \(P_ 1\) and CH implies that there is a Kurepa tree. This paper is written in the form of an expository/survey article style.
Mathematics Subject Classification ID: 54A35
Mathematics Subject Classification ID: 03E50
Mathematics Subject Classification ID: 54B10
Mathematics Subject Classification ID: 54D20
Mathematics Subject Classification ID: 03E05
Mathematics Subject Classification ID: 03E35
Mathematics Subject Classification ID: 03E65
Mathematics Subject Classification ID: 54A25
Mathematics Subject Classification ID: 54D15
zbMATH DE Number: 600039
zbMATH Keywords: Baumgartner axiom
zbMATH Keywords: CH
zbMATH Keywords: generalized Martin's axiom
zbMATH Keywords: Kurepa tree
reviewed by: Kiyoshi Iseki
MaRDI profile type: Publication
full work available at URL: 0166-8641(94)90051-5
OpenAlex ID: W1995345109
Wikidata QID: Q114016509
cites work: Normality and Martin's axiom
cites work: Q3037420
cites work: On splitting stationary subsets of large cardinals
cites work: On the combinatorial principle P(c)
cites work: A Boolean view of sequential compactness
cites work: Topologies Determined by -Ideals on ω1
cites work: Retractions and Other Continuous Maps from βX onto β\X
cites work: A Short Proof of Marczewski's Separability Theorem
cites work: Q4052073
cites work: Variations on ◊
cites work: Q5602648
cites work: Normal Moore Spaces in the Constructible Universe
cites work: Discrete Sets of Singular Cardinality
cites work: Martin's maximum, saturated ideals, and nonregular ultrafilters. I
cites work: Q3270120
cites work: A Topological Version of &#8900
cites work: Q5639727
cites work: A consistency result concerning hereditarily α-Lindelöf spaces
cites work: Generalizations of almost disjointness, c-sets, and the baire number of βN-N
cites work: Q5185667
cites work: On ideals of sets and the power set operation
cites work: Q5630317
cites work: Martin's axiom and normality
cites work: Q3721379
cites work: Q4171268
cites work: Set theory. An introduction to independence proofs
cites work: Between Martin's Axiom and Souslin's Hypothesis
cites work: The ℵ 2 \1-Souslin Hypothesis
cites work: Q4046742
cites work: Internal cohen extensions
cites work: On diamond sequences
cites work: Adding a random or a Cohen real: topological consequences and the effect on Martin's axiom
cites work: Q4080379
cites work: Q5665890
cites work: Q5182819
cites work: Q3213844
cites work: Q4064169
cites work: Spaces with a Souslin and a Shanin condition
cites work: Q4089499
cites work: A weak generalization of MA to higher cardinals
cites work: Generalized Martin's axiom and Souslin's hypothesis for higher cardinals
cites work: Q5668480
cites work: Iterated Cohen extensions and Souslin's problem
cites work: Strongs-Sequences and Variations on Martin's Axiom
cites work: Q4130647
cites work: The countable chain condition versus separability - applications of Martin's Axiom
cites work: How Separable is a Space? that Depends on Your Set Theory
cites work: Q4160058
cites work: Covering the separation properties in the Easton model
cites work: Nonmetrizable Hereditarily Lindelof Spaces with Point-Countable Bases From CH
cites work: Q4043738
cites work: The Blumberg Problem

Some applications of a generalized Martin's axiom (cites work)
cites work: The equivalence of a generalized Martin's axiom to a combinatorial principle

Some applications of a generalized Martin's axiom (cites work)
cites work: Q3687310