20 found
Order:
  1.  38
    Infinite combinatorics and definability.Arnold W. Miller - 1989 - Annals of Pure and Applied Logic 41 (2):179-203.
  2.  61
    Sacks forcing, Laver forcing, and Martin's axiom.Haim Judah, Arnold W. Miller & Saharon Shelah - 1992 - Archive for Mathematical Logic 31 (3):145-161.
    In this paper we study the question assuming MA+⌝CH does Sacks forcing or Laver forcing collapse cardinals? We show that this question is equivalent to the question of what is the additivity of Marczewski's ideals 0. We give a proof that it is consistent that Sacks forcing collapses cardinals. On the other hand we show that Laver forcing does not collapse cardinals.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  3. Mapping a set of reals onto the reals.Arnold W. Miller - 1983 - Journal of Symbolic Logic 48 (3):575-584.
    In this paper we show that it is consistent with ZFC that for any set of reals of cardinality the continuum, there is a continuous map from that set onto the closed unit interval. In fact, this holds in the iterated perfect set model. We also show that in this model every set of reals which is always of first category has cardinality less than or equal to ω 1.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  4.  20
    On the Borel classification of the isomorphism class of a countable model.Arnold W. Miller - 1983 - Notre Dame Journal of Formal Logic 24 (1):22-34.
  5.  31
    Selective covering properties of product spaces.Arnold W. Miller, Boaz Tsaban & Lyubomyr Zdomskyy - 2014 - Annals of Pure and Applied Logic 165 (5):1034-1057.
    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 : Every product of a concentrated space with a Hurewicz S1S1 space satisfies S1S1. On the other hand, assuming the Continuum Hypothesis, (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  35
    The baire category theorem and cardinals of countable cofinality.Arnold W. Miller - 1982 - Journal of Symbolic Logic 47 (2):275-288.
    Let κ B be the least cardinal for which the Baire category theorem fails for the real line R. Thus κ B is the least κ such that the real line can be covered by κ many nowhere dense sets. It is shown that κ B cannot have countable cofinality. On the other hand it is consistent that the corresponding cardinal for 2 ω 1 be ℵ ω . Similar questions are considered for the ideal of measure zero sets, other (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  14
    Long Borel hierarchies.Arnold W. Miller - 2008 - Mathematical Logic Quarterly 54 (3):307-322.
    We show that there is a model of ZF in which the Borel hierarchy on the reals has length ω2. This implies that ω1 has countable cofinality, so the axiom of choice fails very badly in our model. A similar argument produces models of ZF in which the Borel hierarchy has exactly λ + 1 levels for any given limit ordinal λ less than ω2. We also show that assuming a large cardinal hypothesis there are models of ZF in which (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  87
    Set theoretic properties of Loeb measure.Arnold W. Miller - 1990 - Journal of Symbolic Logic 55 (3):1022-1036.
    In this paper we ask the question: to what extent do basic set theoretic properties of Loeb measure depend on the nonstandard universe and on properties of the model of set theory in which it lies? We show that, assuming Martin's axiom and κ-saturation, the smallest cover by Loeb measure zero sets must have cardinality less than κ. In contrast to this we show that the additivity of Loeb measure cannot be greater than ω 1 . Define $\operatorname{cof}(H)$ as the (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  24
    On Relatively Analytic and Borel Subsets.Arnold W. Miller - 2005 - Journal of Symbolic Logic 70 (1):346 - 352.
    Define z to be the smallest cardinality of a function f: X → Y with X. Y ⊆ 2ω such that there is no Borel function g ⊇ f. In this paper we prove that it is relatively consistent with ZFC to have b < z where b is, as usual, smallest cardinality of an unbounded family in ωω. This answers a question raised by Zapletal. We also show that it is relatively consistent with ZFC that there exists X ⊆ (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  16
    Ideal independent families and the ultrafilter number.Jonathan Cancino, Osvaldo Guzmán & Arnold W. Miller - 2021 - Journal of Symbolic Logic 86 (1):128-136.
    We say that $\mathcal {I}$ is an ideal independent family if no element of ${\mathcal {I}}$ is a subset mod finite of a union of finitely many other elements of ${\mathcal {I}}.$ We will show that the minimum size of a maximal ideal independent family is consistently bigger than both $\mathfrak {d}$ and $\mathfrak {u},$ this answers a question of Donald Monk.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  21
    (1 other version)A Minimal Degree Which Collapses $omega_1$.Tim Carlson, Kenneth Kunen & Arnold W. Miller - 1984 - Journal of Symbolic Logic 49 (1):298-300.
    We consider a well-known partial order of Prikry for producing a collapsing function of minimal degree. Assuming $MA + \neq CH$, every new real constructs the collapsing map.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  53
    Universal sets for pointsets properly on the n th level of the projective hierarchy.Greg Hjorth, Leigh Humphries & Arnold W. Miller - 2013 - Journal of Symbolic Logic 78 (1):237-244.
    The Axiom of Projective Determinacy implies the existence of a universal $\utilde{\Pi}^{1}_{n}\setminus\utilde{\Delta}^{1}_{n}$ set for every $n \geq 1$. Assuming $\text{\upshape MA}(\aleph_{1})+\aleph_{1}=\aleph_{1}^{\mathbb{L}}$ there exists a universal $\utilde{\Pi}^{1}_{1}\setminus\utilde{\Delta}^{1}_{1}$ set. In ZFC there is a universal $\utilde{\Pi}^{0}_{\alpha}\setminus\utilde{\Delta}^{0}_{\alpha}$ set for every $\alpha$.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  13.  47
    A dedekind finite borel set.Arnold W. Miller - 2011 - Archive for Mathematical Logic 50 (1-2):1-17.
    In this paper we prove three theorems about the theory of Borel sets in models of ZF without any form of the axiom of choice. We prove that if \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${B\subseteq 2^\omega}$$\end{document} is a Gδσ-set then either B is countable or B contains a perfect subset. Second, we prove that if 2ω is the countable union of countable sets, then there exists an Fσδ set \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  12
    (1 other version)Morley Michael. The number of countable models.Arnold W. Miller - 1984 - Journal of Symbolic Logic 49 (1):314-315.
  15.  32
    Projective subsets of separable metric spaces.Arnold W. Miller - 1990 - Annals of Pure and Applied Logic 50 (1):53-69.
    In this paper we will consider two possible definitions of projective subsets of a separable metric space X. A set A subset of or equal to X is Σ11 iff there exists a complete separable metric space Y and Borel set B subset of or equal to X × Y such that A = {x ε X : there existsy ε Y ε B}. Except for the fact that X may not be completely metrizable, this is the classical definition of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  42
    The γ-borel conjecture.Arnold W. Miller - 2005 - Archive for Mathematical Logic 44 (4):425-434.
    Abstract.In this paper we prove that it is consistent that every γ-set is countable while not every strong measure zero set is countable. We also show that it is consistent that every strong γ-set is countable while not every γ-set is countable. On the other hand we show that every strong measure zero set is countable iff every set with the Rothberger property is countable.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  17.  21
    The number of translates of a closed nowhere dense set required to cover a Polish group.Arnold W. Miller & Juris Steprāns - 2006 - Annals of Pure and Applied Logic 140 (1):52-59.
    For a Polish group let be the minimal number of translates of a fixed closed nowhere dense subset of required to cover . For many locally compact this cardinal is known to be consistently larger than which is the smallest cardinality of a covering of the real line by meagre sets. It is shown that for several non-locally compact groups . For example the equality holds for the group of permutations of the integers, the additive group of a separable Banach (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  29
    Laver Richard. On the consistency of Borel's conjecture. Acta mathematica, vol. 137 no. 3–4 , pp. 151–169.Baumgartner James E. and Laver Richard. Iterated perfect-set forcing. Annals of mathematical logic, vol. 17 , pp. 271–288. [REVIEW]Arnold W. Miller - 1983 - Journal of Symbolic Logic 48 (3):882-883.
  19.  21
    (1 other version)Michael Canjar. Countable ultraproducts without CH. Annals of pure and applied logic, vol. 37 , pp. 1–79. - R. Michael Canjar. Small filter forcing. The journal of symbolic logic, vol. 51 , pp. 526–546. [REVIEW]Arnold W. Miller - 1991 - Journal of Symbolic Logic 56 (1):343-344.
  20.  18
    (1 other version)Review: Saharon Shelah, Can You Take Solovay's Inaccessible Away?; Jean Raisonnier, A Mathematical Proof of S. Shelah's Theorem on the Measure Problem and Related Results. [REVIEW]Arnold W. Miller - 1989 - Journal of Symbolic Logic 54 (2):633-635.