Showing 1–37 of 37 results for author: Scheepers, M

Benford's Law in the ring $\mathbb{Z}(\sqrt{D})$

Authors: Christine Patterson, Marion Scheepers

Abstract: For $D$ a natural number that is not a perfect square and for $k$ a non-zero integer, consider the subset $\mathbb{Z}_k(\sqrt{D})$ of the quadratic integer ring $\mathbb{Z}(\sqrt{D})$ consisting of elements $x+y\sqrt{D}$ for which $x^2 - Dy^2 = k$ . For each $k$ such that the set $\mathbb{Z}_k(\sqrt{D})$ is nonempty, $\mathbb{Z}_k(\sqrt{D})$ has a natural arrangement into a sequence for which the… ▽ More For $D$ a natural number that is not a perfect square and for $k$ a non-zero integer, consider the subset $\mathbb{Z}_k(\sqrt{D})$ of the quadratic integer ring $\mathbb{Z}(\sqrt{D})$ consisting of elements $x+y\sqrt{D}$ for which $x^2 - Dy^2 = k$ . For each $k$ such that the set $\mathbb{Z}_k(\sqrt{D})$ is nonempty, $\mathbb{Z}_k(\sqrt{D})$ has a natural arrangement into a sequence for which the corresponding sequence of integers $x$, as well as the corresponding sequence of integers $y$, are strong Benford sequences. △ Less

Submitted 16 February, 2024; originally announced February 2024.

Comments: 8 pages

MSC Class: Primary 11D09; 11B05; 11B99; Secondary 62R01; 11A55

A Selection Principle and Products in Topological Groups

Authors: Marion Scheepers

Abstract: We consider the preservation under products, finite powers, and forcing, of a selection principle based covering property of $T_0$ topological groups. Though the paper is in part a survey, it contributes some new information, including: 1. The product of a strictly o-bounded group with an o-bounded group is an o-bounded group - Corollary 18 2. In the generic extension by a finite support itera… ▽ More We consider the preservation under products, finite powers, and forcing, of a selection principle based covering property of $T_0$ topological groups. Though the paper is in part a survey, it contributes some new information, including: 1. The product of a strictly o-bounded group with an o-bounded group is an o-bounded group - Corollary 18 2. In the generic extension by a finite support iteration of $\aleph_1$ Hechler reals the product of any o-bounded group with a ground model $\aleph_0$ bounded group is an o-bounded group - Theorem 19 3. In the generic extension by a countable support iteration of length $\aleph_2$ Mathias reals the product of any o-bounded group with a ground model $\aleph_0$ bounded group is an o-bounded group - Theorem 20. △ Less

Submitted 25 May, 2022; originally announced May 2022.

Comments: 14 pages

MSC Class: Primary: 22A05; Secondary: 54D20; 54H11

Classifying Permutations under Context-Directed Swaps and the \textbf{cds} game

Authors: G. Brown, A. Mitchell, R. Raghavan, J. Rogge, M. Scheepers

Abstract: A special sorting operation called Context Directed Swap, and denoted \textbf{cds}, performs certain types of block interchanges on permutations. When a permutation is sortable by \textbf{cds}, then \textbf{cds} sorts it using the fewest possible block interchanges of any kind. This work introduces a classification of permutations based on their number of \textbf{cds}-eligible contexts. In prior w… ▽ More A special sorting operation called Context Directed Swap, and denoted \textbf{cds}, performs certain types of block interchanges on permutations. When a permutation is sortable by \textbf{cds}, then \textbf{cds} sorts it using the fewest possible block interchanges of any kind. This work introduces a classification of permutations based on their number of \textbf{cds}-eligible contexts. In prior work an object called the strategic pile of a permutation was discovered and shown to provide an efficient measure of the non-\textbf{cds}-sortability of a permutation. Focusing on the classification of permutations with maximal strategic pile, a complete characterization is given when the number of \textbf{cds}-eligible contexts is close to maximal as well as when the number of eligible contexts is minimal. A group action that preserves the number of \textbf{cds}-eligible contexts of a permutation provides, via the orbit-stabilizer theorem, enumerative results regarding the number of permutations with maximal strategic pile and a given number of \textbf{cds}-eligible contexts. Prior work introduced a natural two-person game on permutations that are not \textbf{cds}-sortable. The decision problem of which player has a winning strategy in a particular instance of the game appears to be of high computational complexity. Extending prior results, this work presents new conditions for player ONE to have a winning strategy in this combinatorial game. △ Less

Submitted 1 November, 2020; originally announced November 2020.

Comments: 22 pages

MSC Class: 05A05; 05A05; 91A46; 68P10 ACM Class: F.2

Ramsey Theory and the Borel Conjecture

Authors: Marion Scheepers

Abstract: The Borel covering property, introduced a century ago by E. Borel, is intimately connected with Ramsey theory, initiated ninety years ago in an influential paper of F.P. Ramsey. The current state of knowledge about the connection between the Borel covering property and Ramsey theory is outlined in this paper. Initially the connection is established for the situation when the set with the Borel cov… ▽ More The Borel covering property, introduced a century ago by E. Borel, is intimately connected with Ramsey theory, initiated ninety years ago in an influential paper of F.P. Ramsey. The current state of knowledge about the connection between the Borel covering property and Ramsey theory is outlined in this paper. Initially the connection is established for the situation when the set with the Borel covering property is a proper subset of a $σ$-compact uniform space. Then the connection is explored for a stronger covering property introduced by Rothberger. After establishing the fact that in this case several landmark Ramseyan theorems are characteristic of this stronger covering property, the case when the space with this stronger covering property is in fact $σ$-compact is explored. △ Less

Submitted 8 December, 2019; originally announced December 2019.

MSC Class: 03E02; 03E05; 05D10; 22A05; 54D20; 54G10; 54H11

The Sortability of Graphs and Matrices under Context Directed Swaps

Authors: C. A. Brown, C. S. Carrillo Vazquez, R. Goswami, S. Heil, M. Scheepers

Abstract: The study of sorting permutations by block interchanges has recently been stimulated by a phenomenon observed in the genome maintenance of certain ciliate species. The result was the identification of a block interchange operation that applies only under certain constraints. Interestingly, this constrained block interchange operation can be generalized naturally to simple graphs and to an operatio… ▽ More The study of sorting permutations by block interchanges has recently been stimulated by a phenomenon observed in the genome maintenance of certain ciliate species. The result was the identification of a block interchange operation that applies only under certain constraints. Interestingly, this constrained block interchange operation can be generalized naturally to simple graphs and to an operation on square matrices. This more general context provides numerous techniques applicable to the original context. In this paper we consider the more general context, and obtain an enumeration, in closed form, of all simple graphs on n vertices that are ``sortable" by the graph analogue of the constrained version of block interchanges. We also obtain asymptotic results on the proportion of graphs on n vertices that are so sortable. △ Less

Submitted 5 April, 2019; originally announced April 2019.

MSC Class: 05A15; 05C45; 05C50; 68P10

Quantifying CDS Sortability of Permutations by Strategic Pile Size

Authors: Marisa Gaetz, Bethany Flanagan, Marion Scheepers, Meghan Shanks

Abstract: The special purpose sorting operation, context directed swap (CDS), is an example of the block interchange sorting operation studied in prior work on permutation sorting. CDS has been postulated to model certain molecular sorting events that occur in the genome maintenance program of some species of ciliates. We investigate the mathematical structure of permutations not sortable by the CDS sorting… ▽ More The special purpose sorting operation, context directed swap (CDS), is an example of the block interchange sorting operation studied in prior work on permutation sorting. CDS has been postulated to model certain molecular sorting events that occur in the genome maintenance program of some species of ciliates. We investigate the mathematical structure of permutations not sortable by the CDS sorting operation. In particular, we present substantial progress towards quantifying permutations with a given strategic pile size, which can be understood as a measure of CDS non-sortability. Our main results include formulas for the number of permutations in $\textsf{S}_n$ with maximum size strategic pile. More generally, we derive a formula for the number of permutations in $\textsf{S}_n$ with strategic pile size $k$, in addition to an algorithm for computing certain coefficients of this formula, which we call merge numbers. △ Less

Submitted 28 November, 2018; originally announced November 2018.

Comments: 19 pages

MSC Class: 05A05; 05A17

On a conjecture for $\aleph_0$-bounded groups

Authors: Marion Scheepers

Abstract: We show that it is consistent, relative to the consistency of a strongly inaccessible cardinal, that an instance of the generalized Borel Conjecture introduced in [8] holds while the classical Borel Conjecture fails. We show that it is consistent, relative to the consistency of a strongly inaccessible cardinal, that an instance of the generalized Borel Conjecture introduced in [8] holds while the classical Borel Conjecture fails. △ Less

Submitted 22 August, 2018; originally announced August 2018.

Comments: 11 pages

MSC Class: 03E05; 03E35; 03E55; 03E65; 22A99

Selective versions of $θ$-density

Authors: Liljana Babinkostova, Bruno A. Pansera, Marion Scheepers

Abstract: In [8] the authors initiate the study of selective versions of the notion of $θ$-separability in non-regular spaces. In this paper we continue this investigation by establishing connections between the familiar cardinal numbers arising in the set theory of the real line, and game-theoretic assertions regarding $θ$-separability. In [8] the authors initiate the study of selective versions of the notion of $θ$-separability in non-regular spaces. In this paper we continue this investigation by establishing connections between the familiar cardinal numbers arising in the set theory of the real line, and game-theoretic assertions regarding $θ$-separability. △ Less

Submitted 21 August, 2018; originally announced August 2018.

Comments: 15 pages

MSC Class: 03E17; 54D10; 54D20; 54D65; 54D90; 91A05; 91A44

Meager Sets, Games and Singular Cardinals

Authors: Liljana Babinkostova, Marion Scheepers

Abstract: We show that a statement concerning the existence of winning strategies of limited memory in an infinite two-person topological game is equivalent to a weak version of the Singular Cardinals Hypothesis. We show that a statement concerning the existence of winning strategies of limited memory in an infinite two-person topological game is equivalent to a weak version of the Singular Cardinals Hypothesis. △ Less

Submitted 21 August, 2018; originally announced August 2018.

Comments: 6 pages

MSC Class: 91A44; 03E05; 03E35; 03E55; 03E65; 54E52

Context Directed Reversals and the Ciliate Decryptome

Authors: C. L. Jansen, M. Scheepers, S. L. Simon, E. Tatum

Abstract: Prior studies of the efficiency of the block interchange (swap) and the reversal sorting operations on (signed) permutations identified specialized versions of the these operations. These specialized operations are here called context directed reversal, abbreviated cdr, and context directed swap, abbreviated cds. Prior works have also characterized which (signed) permutations are sortable by cdr o… ▽ More Prior studies of the efficiency of the block interchange (swap) and the reversal sorting operations on (signed) permutations identified specialized versions of the these operations. These specialized operations are here called context directed reversal, abbreviated cdr, and context directed swap, abbreviated cds. Prior works have also characterized which (signed) permutations are sortable by cdr or by cds. It is now known that when a permutation is cds sortable in n steps, then any application of n consecutive applicable cds operations will sort it. Examples show that this is not the case for cdr. This phenomenon is the focus of this paper. It is proven that if a signed permutation is cdr sortable, then any cdr fixed point of it is cds sortable (the cds Rescue Theorem). The cds Rescue Theorem is discussed in the context of a mathematical model for ciliate micronuclear decryption. It is also proven that though for a given permutation the number of cdr operations leading to different cdr fixed points may be different from each other, the parity of these two numbers is the same (the cdr Parity Theorem). This result provides a solution to two previously formulated decision problems regarding certain combinatorial games. △ Less

Submitted 18 April, 2016; v1 submitted 19 March, 2016; originally announced March 2016.

Comments: 18 pages, 13 figures

MSC Class: 05A05; 68P10; 91A46; 92D15; 97A20 ACM Class: F.2.2; G.2.1; G.2.2; J.3

Update: Remarks on Countable Tightness

Authors: Marion Scheepers

Abstract: The proof of Theorem 11 of the paper M. Scheepers, Remarks on countable tightness, Topology and its Applications 161 (2014), 407 - 432 relies on Lemma 10 of that paper. The offered proof of Lemma 10 had shortcomings, and I was recently asked for details. This note gives an alternative, complete proof of Lemma 10. The proof of Theorem 11 of the paper M. Scheepers, Remarks on countable tightness, Topology and its Applications 161 (2014), 407 - 432 relies on Lemma 10 of that paper. The offered proof of Lemma 10 had shortcomings, and I was recently asked for details. This note gives an alternative, complete proof of Lemma 10. △ Less

Submitted 30 September, 2015; originally announced September 2015.

Comments: 2 pages

MSC Class: 54A35; 54D65

Selective strong screenability and a game

Authors: Liljana Babinkostova, Marion Scheepers

Abstract: Selective versions of screenability and of strong screenability coincide in a large class of spaces. We show that the corresponding games are not equivalent in even such standard metric spaces as the closed unit interval. We identify sufficient conditions for ONE to have a winning strategy, and necessary conditions for TWO to have a winning strategy in the selective strong screenability game Selective versions of screenability and of strong screenability coincide in a large class of spaces. We show that the corresponding games are not equivalent in even such standard metric spaces as the closed unit interval. We identify sufficient conditions for ONE to have a winning strategy, and necessary conditions for TWO to have a winning strategy in the selective strong screenability game △ Less

Submitted 29 March, 2015; originally announced March 2015.

Comments: 10 pages

MSC Class: 54D20; 91A44

Permutation sorting and a game on graphs

Authors: C. L. Jansen, M. Scheepers, S. L. Simon, E. Tatum

Abstract: We introduce a game on graphs. By a theorem of Zermelo, each instance of the game on a finite graph is determined. While the general decision problem on which player has a winning strategy in a given instance of the game is unsolved, we solve the decision problem for a specific class of finite graphs. This result is then applied to a permutation sorting game to prove the optimality of a proportion… ▽ More We introduce a game on graphs. By a theorem of Zermelo, each instance of the game on a finite graph is determined. While the general decision problem on which player has a winning strategy in a given instance of the game is unsolved, we solve the decision problem for a specific class of finite graphs. This result is then applied to a permutation sorting game to prove the optimality of a proportional bound under which TWO has a winning strategy. △ Less

Submitted 19 November, 2014; originally announced November 2014.

Comments: 14 pages

MSC Class: 05A05; 05C57; 91A43; 91A46; 05C85; 05C90

Sorting Permutations: Games, Genomes, and Cycles

Authors: K. L. M. Adamyk, E. Holmes, G. R. Mayfield, D. J. Moritz, M. Scheepers, B. E. Tenner, H. C. Wauck

Abstract: Permutation sorting, one of the fundamental steps in pre-processing data for the efficient application of other algorithms, has a long history in mathematical research literature and has numerous applications. Two special-purpose sorting operations are considered in this paper: context directed swap, abbreviated cds, and context directed reversal, abbreviated cdr. These are special cases of sortin… ▽ More Permutation sorting, one of the fundamental steps in pre-processing data for the efficient application of other algorithms, has a long history in mathematical research literature and has numerous applications. Two special-purpose sorting operations are considered in this paper: context directed swap, abbreviated cds, and context directed reversal, abbreviated cdr. These are special cases of sorting operations that were studied in prior work on permutation sorting. Moreover, cds and cdr have been postulated to model molecular sorting events that occur in the genome maintenance program of certain species of single-celled organisms called ciliates. This paper investigates mathematical aspects of these two sorting operations. The main result of this paper is a generalization of previously discovered characterizations of cds-sortability of a permutation. The combinatorial structure underlying this generalization suggests natural combinatorial two-player games. These games are the main mathematical innovation of this paper. △ Less

Submitted 21 August, 2017; v1 submitted 9 October, 2014; originally announced October 2014.

Comments: to appear in Discrete Mathematics, Algorithms and Applications

MSC Class: 05A05; 68P10; 91A46; 97A20; 05E15; 20B99; 92-08; 92D15

Selective Games on Binary Relations

Authors: Rodrigo R. Dias, Marion Scheepers

Abstract: We present a unified approach, based on dominating families in binary relations, for the study of topological properties defined in terms of selection principles and the games associated to them. We present a unified approach, based on dominating families in binary relations, for the study of topological properties defined in terms of selection principles and the games associated to them. △ Less

Submitted 19 May, 2014; originally announced May 2014.

Comments: 28 pages

MSC Class: 91A44; 54B10; 54D20; 54D45; 54D65; 54D99

Baire spaces and infinite games

Authors: Fred Galvin, Marion Scheepers

Abstract: It is well known that if the nonempty player of the Banach-Mazur game has a winning strategy on a space, then that space is Baire in all powers even in the box topology. The converse of this implication may be true also: We know of no consistency result to the contrary. In this paper we establish the consistency of the converse relative to the consistency of the existence of a proper class of meas… ▽ More It is well known that if the nonempty player of the Banach-Mazur game has a winning strategy on a space, then that space is Baire in all powers even in the box topology. The converse of this implication may be true also: We know of no consistency result to the contrary. In this paper we establish the consistency of the converse relative to the consistency of the existence of a proper class of measurable cardinals. △ Less

Submitted 24 October, 2014; v1 submitted 23 January, 2014; originally announced January 2014.

Comments: 21 pages

MSC Class: 03E55; 03E60; 03E65; 54B10; 54E52; 91A44; 91A46

Weak covering properties and selection principles

Authors: L. Babinkostova, B. A. Pansera, M. Scheepers

Abstract: No convenient internal characterization of spaces that are productively Lindelof is known. Perhaps the best general result known is Alster's internal characterization, under the Continuum Hypothesis, of productively Lindelof spaces which have a basis of cardinality at most $\aleph_1$. It turns out that topological spaces having Alster's property are also productively weakly Lindelof. The weakly Li… ▽ More No convenient internal characterization of spaces that are productively Lindelof is known. Perhaps the best general result known is Alster's internal characterization, under the Continuum Hypothesis, of productively Lindelof spaces which have a basis of cardinality at most $\aleph_1$. It turns out that topological spaces having Alster's property are also productively weakly Lindelof. The weakly Lindelof spaces form a much larger class of spaces than the Lindelof spaces. In many instances spaces having Alster's property satisfy a seemingly stronger version of Alster's property and consequently are productively X, where X is a covering property stronger than the Lindelof property. This paper examines the question: When is it the case that a space that is productively X is also productively Y, where X and Y are covering properties related to the Lindelof property. △ Less

Submitted 26 December, 2012; originally announced December 2012.

Comments: 16 pages

MSC Class: 54B10; 54D20; 54G10; 54G12; 54G20

Using Ciliate Operations to construct Chromosome Phylogenies

Authors: Jacob Herlin, Anna Nelson, Marion Scheepers

Abstract: We develop an algorithm based on three basic DNA editing operations suggested by a model for ciliate micronuclear decryption, to transform a given permutation into another. The number of ciliate operations performed by our algorithm during such a transformation is taken to be the distance between two such permutations. Applying well-known clustering methods to such distance functions enables one t… ▽ More We develop an algorithm based on three basic DNA editing operations suggested by a model for ciliate micronuclear decryption, to transform a given permutation into another. The number of ciliate operations performed by our algorithm during such a transformation is taken to be the distance between two such permutations. Applying well-known clustering methods to such distance functions enables one to determine phylogenies among the items to which the distance functions apply. As an application of these ideas we explore the relationships among the chromosomes of eight fruitfly (drosophila) species, using the well-known UPGMA algorithm on the distance function provided by our algorithm. △ Less

Submitted 7 January, 2014; v1 submitted 30 September, 2012; originally announced October 2012.

Comments: 31 pages, 14 figures. Preliminary report

Report number: REUG01 MSC Class: 05E15; 20B99; 92-08; 92D15; 92D99 ACM Class: F.2.2; G.2.1; G.2.3; I.1.2; I.5.3; J.3

Weak covering properties and infinite games

Authors: Liljana Babinkostova, Bruno A. Pansera, Marion Scheepers

Abstract: We investigate game-theoretic properties of selection principles related to weaker forms of the Menger and Rothberger properties. For appropriate spaces some of these selection principles are characterized in terms of a corresponding game. We use generic extensions by Cohen reals to illustrate the necessity of some of the hypotheses in our theorems. We investigate game-theoretic properties of selection principles related to weaker forms of the Menger and Rothberger properties. For appropriate spaces some of these selection principles are characterized in terms of a corresponding game. We use generic extensions by Cohen reals to illustrate the necessity of some of the hypotheses in our theorems. △ Less

Submitted 12 February, 2012; v1 submitted 1 February, 2012; originally announced February 2012.

Comments: Version 2, 20 pages. Removed Theorem 21 of version 1, and replaced it with a reference to a counterexample for one of the two directions. Added an example of a non-Lindelof T_2 space for which TWO has a winning strategy in the almost Rothberger game. Added a diagram in the examples section to illustrate relations among the classes we consider

MSC Class: 54A35; 54D20; 91D44

Remarks on countable tightness

Authors: Marion Scheepers

Abstract: Countable tightness may be destroyed by countably closed forcing. We characterize the indestructibility of countable tightness under countably closed forcing by combinatorial statements similar to the ones Tall used to characterize indestructibility of the Lindelof property under countably closed forcing. We consider the behavior of countable tightness in generic extensions obtained by adding Cohe… ▽ More Countable tightness may be destroyed by countably closed forcing. We characterize the indestructibility of countable tightness under countably closed forcing by combinatorial statements similar to the ones Tall used to characterize indestructibility of the Lindelof property under countably closed forcing. We consider the behavior of countable tightness in generic extensions obtained by adding Cohen reals. We show that certain classes of well-studied topological spaces are indestructibly countably tight. Stronger versions of countable tightness, including selective versions of separability, are further explored. △ Less

Submitted 20 October, 2013; v1 submitted 23 January, 2012; originally announced January 2012.

Comments: Extended from 12 pages to 23 pages. Newly extended to 27 pages

MSC Class: (2000) 03E05; 03E35; 54A35; 54D65

Borel's Conjecture in Topological Groups

Authors: Fred Galvin, Marion Scheepers

Abstract: We introduce a natural generalization of Borel's Conjecture. For each infinite cardinal number $κ$, let {\sf BC}$_κ$ denote this generalization. Then ${\sf BC}_{\aleph_0}$ is equivalent to the classical Borel conjecture. Assuming the classical Borel conjecture, $\neg{\sf BC}_{\aleph_1}$ is equivalent to the existence of a Kurepa tree of height $\aleph_1$. Using the connection of ${\sf BC}_κ$ with… ▽ More We introduce a natural generalization of Borel's Conjecture. For each infinite cardinal number $κ$, let {\sf BC}$_κ$ denote this generalization. Then ${\sf BC}_{\aleph_0}$ is equivalent to the classical Borel conjecture. Assuming the classical Borel conjecture, $\neg{\sf BC}_{\aleph_1}$ is equivalent to the existence of a Kurepa tree of height $\aleph_1$. Using the connection of ${\sf BC}_κ$ with a generalization of Kurepa's Hypothesis, we obtain the following consistency results: (1)If it is consistent that there is a 1-inaccessible cardinal then it is consistent that ${\sf BC}_{\aleph_1}$. (2)If it is consistent that ${\sf BC}_{\aleph_1}$ holds, then it is consistent that there is an inaccessible cardinal. (3)If it is consistent that there is a 1-inaccessible cardinal with $ω$ inaccessible cardinals above it, then $\neg{\sf BC}_{\aleph_ω} \, +\, (\forall n<ω){\sf BC}_{\aleph_n}$ is consistent. (4)If it is consistent that there is a 2-huge cardinal, then it is consistent that ${\sf BC}_{\aleph_ω}$. (5)If it is consistent that there is a 3-huge cardinal, then it is consistent that ${\sf BC}_κ$ holds for a proper class of cardinals $κ$ of countable cofinality. △ Less

Submitted 4 July, 2012; v1 submitted 27 July, 2011; originally announced July 2011.

Comments: 15 pages

MSC Class: 03E05; 03E35; 03E55; 03E65; 22A99

Rothberger bounded groups and Ramsey theory

Authors: Marion Scheepers

Abstract: We show that: 1. Rothberger bounded subgroups of sigma-compact groups are characterized by Ramseyan partition relations. 2. For each uncountable cardinal $κ$ there is a ${\sf T}_0$ topological group of cardinality $κ$ such that ONE has a winning strategy in the point-open game on the group and the group is not a subspace of any sigma-compact space. 3. For each uncountable cardinal $κ$ there is a… ▽ More We show that: 1. Rothberger bounded subgroups of sigma-compact groups are characterized by Ramseyan partition relations. 2. For each uncountable cardinal $κ$ there is a ${\sf T}_0$ topological group of cardinality $κ$ such that ONE has a winning strategy in the point-open game on the group and the group is not a subspace of any sigma-compact space. 3. For each uncountable cardinal $κ$ there is a ${\sf T}_0$ topological group of cardinality $κ$ such that ONE has a winning strategy in the point-open game on the group and the group is σ-compact. △ Less

Submitted 8 November, 2010; originally announced November 2010.

Comments: 11 pages

MSC Class: 03E02; 03E05; 05D10; 22A05; 54D20; 54G10; 54H11

Measurable cardinals and the cardinality of Lindelöf spaces

Authors: Marion Scheepers

Abstract: If it is consistent that there is a measurable cardinal, then it is consistent that all points g-delta Rothberger spaces have "small" cardinality. If it is consistent that there is a measurable cardinal, then it is consistent that all points g-delta Rothberger spaces have "small" cardinality. △ Less

Submitted 29 January, 2010; v1 submitted 21 September, 2009; originally announced September 2009.

Comments: 9 page

MSC Class: 03E35; 03E55; 03E05; 54A25; 54A35; 54D20

Lindelof indestructibility, topological games and selection principles

Authors: Marion Scheepers, Franklin D. Tall

Abstract: Arhangel'skii proved that if a first countable Hausdorff space is Lindelöf, then its cardinality is at most $2^{\aleph_0}$. Such a clean upper bound for Lindelöf spaces in the larger class of spaces whose points are ${\sf G}_δ$ has been more elusive. In this paper we continue the agenda started in F.D. Tall, On the cardinality of Lindelöf spaces with points $G_δ$, Topology and its Applications 6… ▽ More Arhangel'skii proved that if a first countable Hausdorff space is Lindelöf, then its cardinality is at most $2^{\aleph_0}$. Such a clean upper bound for Lindelöf spaces in the larger class of spaces whose points are ${\sf G}_δ$ has been more elusive. In this paper we continue the agenda started in F.D. Tall, On the cardinality of Lindelöf spaces with points $G_δ$, Topology and its Applications 63 (1995), 21 - 38, of considering the cardinality problem for spaces satisfying stronger versions of the Lindelöf property. Infinite games and selection principles, especially the Rothberger property, are essential tools in our investigations △ Less

Submitted 2 September, 2009; v1 submitted 11 February, 2009; originally announced February 2009.

Comments: 44 pages, 1 figure

MSC Class: 54D20; 03E35; 03E55; 91A44

Weakly infinite dimensional subsets of R^N

Authors: Liljana Babinkostova, Marion Scheepers

Abstract: The Continuum Hypothesis implies an Erdös-Sierpiński like duality between the ideal of first category subsets of $\reals^{\naturals}$, and the ideal of countable dimensional subsets of $\reals^{\naturals}$. The algebraic sum of a Hurewicz subset - a dimension theoretic analogue of Sierpinski sets and Lusin sets - of $\reals^{\naturals}$ with any compactly countable dimensional subset of… ▽ More The Continuum Hypothesis implies an Erdös-Sierpiński like duality between the ideal of first category subsets of $\reals^{\naturals}$, and the ideal of countable dimensional subsets of $\reals^{\naturals}$. The algebraic sum of a Hurewicz subset - a dimension theoretic analogue of Sierpinski sets and Lusin sets - of $\reals^{\naturals}$ with any compactly countable dimensional subset of $\reals^{\naturals}$ has first category. △ Less

Submitted 22 January, 2009; v1 submitted 22 November, 2008; originally announced November 2008.

Comments: 16 pages, corrected Statements of Theorem 6 and Lemma 8, Inserted Problem 1, Inserted remarks by R. Pol, solving Problem 3, in "Added in Proof" section

MSC Class: 03E17; 03E50; 54D20; 54F45

Partition relations for Hurewicz-type selection hypotheses

Authors: Nadav Samet, Marion Scheepers, Boaz Tsaban

Abstract: We give a general method to reduce Hurewicz-type selection hypotheses into standard ones. The method covers the known results of this kind and gives some new ones. Building on that, we show how to derive Ramsey theoretic characterizations for these selection hypotheses. We give a general method to reduce Hurewicz-type selection hypotheses into standard ones. The method covers the known results of this kind and gives some new ones. Building on that, we show how to derive Ramsey theoretic characterizations for these selection hypotheses. △ Less

Submitted 6 November, 2008; originally announced November 2008.

Comments: To appear in Topology and its Applications

Journal ref: Topology and its Applications 156 (2009), 616-623

Selection Principles and Baire spaces

Authors: Marion Scheepers

Abstract: We prove that if X is a separable metric space with the Hurewicz covering property, then the Banach-Mazur game played on X is determined. The implication is not true when "Hurewicz covering property" is replaced with "Menger covering property". We prove that if X is a separable metric space with the Hurewicz covering property, then the Banach-Mazur game played on X is determined. The implication is not true when "Hurewicz covering property" is replaced with "Menger covering property". △ Less

Submitted 7 November, 2007; originally announced November 2007.

Comments: 7 pages

MSC Class: 03E99; 54D20; 54E52

Products and selection principles

Authors: Liljana Babinkostova, Marion Scheepers

Abstract: The product of a Sierpinski set and a Lusin set has Menger's property. The product of a gamma set and a Lusin set has Rothberger's property. The product of a Sierpinski set and a Lusin set has Menger's property. The product of a gamma set and a Lusin set has Rothberger's property. △ Less

Submitted 18 September, 2007; originally announced September 2007.

Comments: 10 pages

MSC Class: 03E99; 54F45; 91A44

Selection principles and countable dimension

Authors: Liljana Babinkostova, Marion Scheepers

Abstract: We characterize countable dimensionality and strong countable dimensionality by means of an infinite game. We characterize countable dimensionality and strong countable dimensionality by means of an infinite game. △ Less

Submitted 18 September, 2007; originally announced September 2007.

Comments: 10 pages

MSC Class: 03E99; 54F45; 90D44

Rothberger's property in finite powers

Authors: Marion Scheepers

Abstract: We show that several classical Ramseyan statements, and a forcing statement, are each equivalent to having Rothberger's property in all finite powers. We show that several classical Ramseyan statements, and a forcing statement, are each equivalent to having Rothberger's property in all finite powers. △ Less

Submitted 23 October, 2007; v1 submitted 3 May, 2007; originally announced May 2007.

Comments: 14 pages typeset

MSC Class: 03E02; 05C55; 05D10; 54D20

The combinatorics of Borel covers

Authors: Marion Scheepers, Boaz Tsaban

Abstract: In this paper we extend previous studies of selection principles for families of open covers of sets of real numbers to also include families of countable Borel covers. The main results of the paper could be summarized as follows: 1. Some of the classes which were different for open covers are equal for Borel covers -- Section 1; 2. Some Borel classes coincide with classes that have been s… ▽ More In this paper we extend previous studies of selection principles for families of open covers of sets of real numbers to also include families of countable Borel covers. The main results of the paper could be summarized as follows: 1. Some of the classes which were different for open covers are equal for Borel covers -- Section 1; 2. Some Borel classes coincide with classes that have been studied under a different guise by other authors -- Section 4. △ Less

Submitted 9 November, 2004; v1 submitted 26 February, 2003; originally announced February 2003.

Comments: Regular update

MSC Class: 03E05 04A20 54D20

Journal ref: Topology and its Applications 121 (2002), 357--382

A-sets

Authors: Tomek Bartoszynski, Marion Scheepers

Abstract: We consider ``meager analogues'' of classical covering properties of Menger, Hurewicz and Rothberger. We show that Borel images of sets having ``our'' covering properties have these classical covering properties. We consider ``meager analogues'' of classical covering properties of Menger, Hurewicz and Rothberger. We show that Borel images of sets having ``our'' covering properties have these classical covering properties. △ Less

Submitted 19 May, 1999; originally announced May 1999.

Journal ref: Real Analysis Exchange 19 (1993/94), no. 2, 521-528

Filters and games

Authors: Tomek Bartoszynski, Marion Scheepers

Abstract: We obtain game-theoretic characterizations for meagerness and rareness of filters on a countable set. We obtain game-theoretic characterizations for meagerness and rareness of filters on a countable set. △ Less

Submitted 19 May, 1999; originally announced May 1999.

Journal ref: Proceedings of the American Mathematical Society 123 (1995), 2529-2534

Remarks on small sets related to trigonometric series

Authors: Tomek Bartoszynski, Marion Scheepers

Abstract: We show that several classes of sets, like N_0-sets, Arbault sets, N-sets and pseudo-Dirichlet sets are closed under adding sets of small size. We show that several classes of sets, like N_0-sets, Arbault sets, N-sets and pseudo-Dirichlet sets are closed under adding sets of small size. △ Less

Submitted 19 May, 1999; originally announced May 1999.

Journal ref: Topology and Its Applications 64 (1995), 133-140

The combinatorics of open covers (II)

Authors: Winfried Just, Arnold W. Miller, Marion Scheepers, Paul J. Szeptycki

Abstract: We continue to investigate various diagonalization properties for sequences of open covers of separable metrizable spaces introduced in Part I. These properties generalize classical ones of Rothberger, Menger, Hurewicz, and Gerlits-Nagy. In particular, we show that most of the properties introduced in Part I are indeed distinct. We characterize two of the new properties by showing that they are… ▽ More We continue to investigate various diagonalization properties for sequences of open covers of separable metrizable spaces introduced in Part I. These properties generalize classical ones of Rothberger, Menger, Hurewicz, and Gerlits-Nagy. In particular, we show that most of the properties introduced in Part I are indeed distinct. We characterize two of the new properties by showing that they are equivalent to saying all finite powers have one of the classical properties above (Hurewicz property in one case and in the Menger property in other). We consider for each property the smallest cardinality of metric space which fails to have that property. In each case this cardinal turns out to equal another well-known cardinal less than the continuum. We also disprove (in ZFC) a conjecture of Hurewicz which is analogous to the Borel conjecture. Finally, we answer several questions from Part I concerning partition properties of covers. △ Less

Submitted 11 September, 1995; originally announced September 1995.

Report number: Logic E-prints September 12, 1995

Meager-nowhere dense games (III): Remainder strategies

Authors: Marion Scheepers

Abstract: Player ONE chooses a meager set and player TWO, a nowhere dense set per inning. They play $ω$ many innings. ONE's consecutive choices must form a (weakly) increasing sequence. TWO wins if the union of the chosen nowhere dense sets covers the union of the chosen meager sets. A strategy for TWO which depends on knowing only the uncovered part of the most recently chosen meager set is said to be a… ▽ More Player ONE chooses a meager set and player TWO, a nowhere dense set per inning. They play $ω$ many innings. ONE's consecutive choices must form a (weakly) increasing sequence. TWO wins if the union of the chosen nowhere dense sets covers the union of the chosen meager sets. A strategy for TWO which depends on knowing only the uncovered part of the most recently chosen meager set is said to be a remainder strategy. Theorem (among others): TWO has a winning remainder strategy for this game played on the real line with its usual topology. △ Less

Submitted 24 September, 1992; originally announced September 1992.

Report number: Logic E-prints September 25, 1992

Covering games and the Banach-Mazur game: k-tactics

Authors: Tomek Bartoszynski, Winfried Just, Marion Scheepers

Abstract: Given a free ideal J of subsets of a set X, we consider games where player ONE plays an increasing sequence of elements of the sigma completion of J, and TWO tries to cover the union of this sequence by playing one set at a time from J. We describe various conditions under which player TWO has has a winning strategy that uses only information about the most recent k moves of ONE, and apply some… ▽ More Given a free ideal J of subsets of a set X, we consider games where player ONE plays an increasing sequence of elements of the sigma completion of J, and TWO tries to cover the union of this sequence by playing one set at a time from J. We describe various conditions under which player TWO has has a winning strategy that uses only information about the most recent k moves of ONE, and apply some of these results to the Banach-Mazur game. △ Less

Submitted 24 July, 1992; originally announced July 1992.

Report number: Logic E-prints July 25, 1992