BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Arnold W. Miller appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
Asaf Karagila pointed out that Remark 3.4 [1], directly contradicts Theorem 3.3 (c) [2] which was incorrectly stated. This note contains a proof of this remark. [1] Miller, Arnold W.; A Dedekind Finite Borel Set, Arch. Math. Logic 50 (2011), no. 1-2, 1--17. [2] Kanamori, A.; Pincus, D.; Does GCH imply AC locally?, Paul Erdos and his mathematics, II (Budapest, 1999), 413-426, Bolyai Soc. Math. Stud., 11, Janos Bolyai Math. Soc., Budapest, 2002.
We prove that, for every n, the topological space ω_n^ω (where ω_n has the discrete topology) can be partitioned into ω_n copies of the Baire space. Using this fact, the authors then prove two new theorems about completely ultrametrizable spaces. We say that Y is a condensation of X if there is a continuous bijection from X to Y. First, it is proved that the Baire space is a condensation of ω_n^ω if and only if it can be partitioned into ω_n Borel sets, and some consistency results are given regarding such partitions. It is also proved that it is consistent with ZFC that, for any n < ω, the continuum is ω_n and there are exactly n+3 similarity types of perfect completely ultrametrizable spaces of size continuum. These results answer two questions of the first author from a previous paper.
Define (*) There exists $(ϕ_n:ω_1\to ω_1:n<ω)$ such that for every uncountable $I$ which is a subset of $ω_1$ there exists $n$ such that $ϕ_n$ maps $I$ onto $ω_1$. This is roughly what Sierpinski in his book on the continuum hypothesis refers to as $P_3$ but I think he brings reals number line into it. I don't know French so I cannot say for sure what he says but I think he proves that (*) follows from the continuum hypothesis. We show that the existence of a Luzin set implies (*); and (*) implies that there exists a nonmeager set of reals of size $ω_1$. We also show that it is relatively consistent that (*) holds but there is no Luzin set. All the other properties in this paper, (**), (S*), (S**), (B*) are shown to be equivalent to (*).
In his PhD Thesis Konstantinos Beros proved a number of results about compactly generated subgroups of Polish groups. Such a group is K-sigma - the countable union of compact sets. He notes that the group of rationals under addition with the discrete topology is an example of a Polish group which is K-sigma (since it is countable) but not compactly generated. Beros showed that for any Polish group G, every K-sigma subgroup of G is compactly generated iff every countable subgroup of G is compactly generated. Beros showed that any K-sigma subgroup of Z^omega (infinite product of the integers) is compactly generated and more generally, for any Polish group G, if every countable subgroup of G is finitely generated, then every countable subgroup of G^omega is compactly generated. In unpublished work Beros asked whether finitely generated may be replaced by compactly generated in his theorem. He conjectured that the reals R under addition might be an example such that every countable subgroup of R is compactly generated but not every countable subgroup of R^omega is compactly generated. We prove that this is not true. The general question remains open. In the course of our proof we came up with some interesting countable subgroups. We show that there is a dense subgroup of the plane which meets every line in a discrete set. Furthermore, for each n there is a dense subgroup of Euclidean space R^n which meets every (n-1)-dimensional subspace in a discrete set. Similarly there is a dense subgroup of R^omega which meets every finite dimensional subspace of R^omega in a discrete set.
We study the preservation of selective covering properties, including classic ones introduced by Menger, Hurewicz, Rothberger, Gerlits and Nagy, and others, under products with some major families of concentrated sets of reals. Our methods include the projection method introduced by the authors in an earlier work, as well as several new methods. Some special consequences of our main results are (definitions provided in the paper): \be \item Every product of a concentrated space with a Hurewicz $\sone(\Ga,\Op)$ space satisfies $\sone(\Ga,\Op)$. On the other hand, assuming \CH{}, for each Sierpiński set $S$ there is a Luzin set $L$ such that $L\x S$ can be mapped onto the real line by a Borel function. \item Assuming Semifilter Trichotomy, every concentrated space is productively Menger and productively Rothberger. \item Every scale set is productively Hurewicz, productively Menger, productively Scheepers, and productively Gerlits--Nagy. \item Assuming $\fd=\aleph_1$, every productively Lindelöf space is productively Hurewicz, productively Menger, and productively Scheepers. \ee A notorious open problem asks whether the additivity of Rothberger's property may be strictly greater than $\add(\cN)$, the additivity of the ideal of Lebesgue-null sets of reals. We obtain a positive answer, modulo the consistency of Semifilter Trichotomy with $\add(\cN)<\cov(\cM)$. Our results improve upon and unify a number of results, established earlier by many authors.
We say that binary relation E on a space X is a clopen graph on X iff E is symmetric and irreflexive and clopen relative to X x X minus its diagonal. Equivalently for distinct x, y in X there are open sets U,V with (x,y) in U x V and either U x V a subset of E or U x V a subset of E complement. For clopen graphs E_1 and E_2 on the Baire space (omega^omega) we say that E_1 continuously reduces to E_2 iff there is a continuous map f from the Baire space to itself such that for [(x,y) in E_1 iff (f(x),f(y)) in E_2 ] for distinct x,y. Note that f need not be one-to-one but there should be no edges in the preimage of a point. If f is a homeomorphism to its image, then we say that E_1 continuously embeds into E_2. Theorem. There does not exist countably many clopen graphs on the Baire space such that every clopen graph on the Baire space continuously reduces to one of them. However there does exists omega_1 clopen graphs on such that every clopen graph continuously embedds into one of them. This answers a question of Stefan Geschke. Latex2e: 9 pages Latest version at: www.math.wisc.edu/~miller
A Laver tree is a tree in which each node splits infinitely often. A Hechler tree is a tree in which each node splits cofinitely often. We show that every analytic set is either disjoint from the branches of a Heckler tree or contains the branches of a Laver tree. As a corollary we deduce Silver Theorem that all analytic sets are Ramsey. We show that in Godel's constructible universe that our result is false for co-analytic sets (equivalently it fails for analytic sets if we switch Hechler and Laver). We show that under Martin's axiom that our result holds for Sigma^1_2 sets. Finally we define two games related to this property. Latex2e 8 pages Latest version at http://www.math.wisc.edu/~miller/res/index.html
A function of two variables F(x,y)is universal iff for every other function G(x,y) there exists functions h(x) and k(y) with G(x,y) = F(h(x),k(y)) Sierpinski showed that assuming the continuum hypothesis there exists a Borel function F(x,y) which is universal. Assuming Martin's Axiom there is a universal function of Baire class 2. A universal function cannot be of Baire class 1. We show that it is consistent that for each countable ordinal alpha>2 there is a universal function of class alpha but none of smaller class. We show that it is consistent with ZFC that there is no universal function (Borel or not) on the reals, and we show that it is consistent that there is a universal function but no Borel universal function. We also prove some results concerning higher arity universal functions. For example, the existence of an F such that for every G there are unary h,k,j such that G(x,y,z) = F(h(x),k(y),j(z)) is equivalent to the existence of a 2-ary universal F. However the existence of an F such that for every G there are h,k,j such that G(x,y,z) = F(h(x,y),k(x,z),j(y,z)) follows from a 2-ary universal F but is strictly weaker. Results obtained Mar-June 2009, Nov 2010. Last revised April 2012 LaTex2e: 28 pages Latest version at: www.math.wisc.edu/~miller
The family omega1-Borel sets is the smallest family of subsets of the real line which contains the family of open sets and is closed under complementation and omega1 unions. We show: Theorem 1. MA+notCH implies this hierarchy has length omega2. Theorem 2. In the Cohen real model it has length either omega1+1 or omega1+2.
In this paper we prove that the maximum principle in forcing is equivalent to the axiom of choice. The maximum principle is the property of forcing: p ||- exists x theta(x) iff for some name tau p ||- theta(tau). We also look at three similar partial orders in the Basic Cohen model for the failure of the axiom of choice. We show that despite their apparent similarity the maximum principle holds for only one of the three.
We say that X x Y satisfies the Uniquely Universal property (UU) iff there exists a set U open in X x Y such that for every open set W in Y there is a unique cross section U_x of U with U_x=W. Michael Hrusak raised the question of when does X x Y satisfy UU and noted that if Y is compact then X must have an isolated point. We prove the following: 1. If Y is a locally compact noncompact Polish space, then C x Y has UU where C is the Cantor space. 2. If Y is Polish, then B x Y has UU iff Y is not compact where B is the Baire space. 3. If Y is a sigma-compact subset of a Polish space which is not compact, then B x Y has UU.
Let S1(Gamma,Gamma) be the statement: For each sequence of point-cofinite open covers, one can pick one element from each cover and obtain a point-cofinite cover. b is the minimal cardinality of a set of reals not satisfying S1(Gamma,Gamma). We prove the following assertions: (1) If there is an unbounded tower, then there are sets of reals of cardinality b, satisfying S1(Gamma,Gamma). (2) It is consistent that all sets of reals satisfying S1(Gamma,Gamma) have cardinality smaller than b. These results can also be formulated as dealing with Arhangel'skii's property alpha_2 for spaces of continuous real-valued functions. The main technical result is that in Laver's model, each set of reals of cardinality b has an unbounded Borel image in the Baire space w^w.
This is an update of my problem list.
For x and y sequences of real numbers define the inner product (x,y) = x(0)y(0) + x(1)y(1)+ ... which may not be finite or even exist. We say that x and y are orthogonal iff (x,y) converges and equals 0. Define l_p to be the set of all real sequences x such that |x(0)|^p + |x(1)|^p + .. converges. For Hilbert space, l_2, any family of pairwise orthogonal sequences must be countable. Thm 1. There exists a pairwise orthogonal family F of size continuum such that F is a subset of l_p for every p>2. It was already known that there exists a family of continuum many pairwise orthogonal elements of real sequences. Thm 2. There exists a perfect maximal orthogonal family of elements of real sequences. Abian raised the question of what are the possible cardinalities of maximal orthogonal families. Thm 3. In the Cohen real model there is a maximal orthogonal set cardinality omega_1, but there is no maximal orthogonal set of cardinality k with ω_1< k < c. Thm 4. For any countable standard model M of ZFC and cardinal k in M such that M satisfies k^ω=k, there exists a ccc generic extension M[G] such that the continuum of M[G] is k and in M[G] for every infinite cardinal i less than or equal to k there is a maximal orthogonal family of cardinality i. Thm 5. (MA_k(σ-centered)) Suppose cardinality of X is less than or equal to k, X contains only finitely many elements of l_2, and for every distinct pair x,y in X the inner product (x,y) converges. Then there exists a z such that z is orthogonal to every element of X. Thm 6.(a) There exists X which is a maximal orthogonal family in l_2 such that for all n with 1\leq n \leqωthere exists Y of cardinality n with (X union Y) a maximal orthogonal family in $\rr^\om$. Furthermore, every maximal orthogonal family containing $X$ is countable. (b) There exists a perfect maximal orthogonal family P such that (P intersect l_2) is a maximal orthogonal family in $l_2$.
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.
A function f from reals to reals (f:R->R) is almost continuous (in the sense of Stallings) iff every open set in the plane which contains the graph of f contains the graph of a continuous function. Natkaniec showed that for any family F of continuum many real functions there exists g:R->R such that f+g is almost continuous for every f in F. Let AA be the smallest cardinality of a family F of real functions for which there is no g:R->R with the property that f+g is almost continuous for every f in F. Thus Natkaniec showed that AA is strictly greater than the continuum. He asked if anything more could be said. We show that the cofinality of AA is greater than the continuum, c. Moreover, we show that it is pretty much all that can be said about AA in ZFC, by showing that AA can be equal to any regular cardinal between c^+ and 2^c (with 2^c arbitrarily large). We also show that AA = AD where AD is defined similarly to AA but for the class of Darboux functions. This solves another problem of Maliszewski and Natkaniec.
A function f:R -> R is approximately continuous iff it is continuous in the density topology, i.e., for any ordinary open set U the set E=f^{-1}(U) is measurable and has Lebesgue density one at each of its points. Denjoy proved that approximately continuous functions are Baire 1., i.e., pointwise For any f:R^2 -> R define f_x(y) = f^y(x) = f(x,y). A function f:R^2 -> R is separately continuous if f_x and f^y are continuous for every x,y in R. Lebesgue in his first paper proved that any separately continuous function is Baire 1. Sierpinski showed that there exists a nonmeasurable f:R^2 -> R which is separately Baire 1. In this paper we prove: Thm 1. Let f:R^2 -> R be such that f_x is approximately continuous and f^y is Baire 1 for every x,y in R. Then f is Baire 2. Thm 2. Suppose there exists a real-valued measurable cardinal. Then for any function f:R^2 -> R and countable ordinal i, if f_x is approximately continuous and f^y is Baire i for every x,y in R, then f is Baire i+1 as a function of two variables. Thm 3. (i) Suppose that R can be covered by omega_1 closed null sets. Then there exists a nonmeasurable function f:R^2 -> R such that f_x is approximately continuous and f^y is Baire 2 for every x,y in R. (ii) Suppose that R can be covered by omega_1 null sets. Then there exists a nonmeasurable function f:R^2 -> R such that f_x is approximately continuous and f^y is Baire 3 for every x,y in R. Thm 4. In the random real model for any function f:R^2 -> R if f_x is approximately continuous and f^y is measurable for every x,y in R, then f is measurable as a function of two variables.