Curriculum Vita
vita.tex Latex 2e
vita.ps Postscript
vita.pdf PDF Acrobat
Some interesting problems
problems.abs Abstract in plain ascii
problems.tex Latex 2e
problems.ps Postscript
problems.pdf PDF Acrobat

Mathscinet Link to mrauthid=124855
Preprint archive arxiv.org au:Miller_Arnold_W
Most up to date version is here.

Files of the form *.abs are abstracts in plain ascii.
Files ending in extension *.tex are in Latex 2.09 or 2e
Files ending in extension *.ps are in Postscript
Files ending in extension *.pdf are Adobe PDF
Files ending in extension *.dvi are TeX DVI

Selective covering properties of product spaces, II: gamma spaces
Authors: Arnold W. Miller, Boaz Tsaban, Lyubomyr Zdomskyy
eprint Nov 2013
arxiv ..

Irredundant Generators
(with Jonathan Cancino, Osvaldo Guzm\'an)
eprint June 2013 revised Apr 2014
irr.tex .. irr.pdf

Generating Borel measurable mappings with continuous mappings
with Wojciech Bielas, Micha{\l} Morayne, Tomasz S{\l}onka
eprint May 2013
bmms.pdf

Countable subgroups of Euclidean Space
eprint May 2013
abstract .. ctblgrps.tex .. ctblgrps.ps .. ctblgrps.pdf .. ctblgrps.dvi ..

Selective covering properties of product spaces
Authors: Arnold W. Miller, Boaz Tsaban, Lyubomyr Zdomskyy
eprint Mar 2013
arxiv ..

Compact subsets of the Baire space
eprint Nov 2012
abstract .. mic.tex .. mic.ps .. mic.pdf .. mic.dvi ..

A hierarchy of clopen graphs on the Baire space
eprint Oct 2012
abstract .. clopen.tex .. clopen.ps .. clopen.pdf .. clopen.dvi ..

Carlson collapse is minimal under MA
eprint Sept 2012
carlson.tex .. carlson.pdf

Cohen forcing preserves being a gamma-set
but not Hurewicz property
eprint Sept 2012
cohen.tex .. cohen.pdf

Products of Luzin, Sierpinski, and gamma-sets
These three results answer questions raised by Boaz Tsaban.
Tsaban and Zdomskyy have greatly generalized them as well as
proving many other results on the covering properties of products.
eprints July 2012
luzin.tex .. luzin.pdf
luzin2.tex .. luzin2.pdf
prod.tex .. prod.pdf

Recurse - question of Charlie McCoy
eprint July 2012
recurse.tex .. recurse.ps .. recurse.pdf .. recurse.dvi ..

Hechler and Laver Trees
eprint Apr 2012
hechler.abs .. hechler.tex .. hechler.ps .. hechler.pdf .. hechler.dvi ..

Universal Functions
(with P.Larson, J.Steprans, W.Weiss)
eprint Apr 2012
univ.abs .. univ.tex .. univ.ps .. univ.pdf .. univ.dvi ..

Absoluteness of convexly orderable
eprint Feb 2012
convex.tex .. convex.ps .. convex.pdf .. convex.dvi ..

The hierarchy of ω1-Borel sets
eprint July 2011
omega1.abs .. omega1.tex .. omega1.ps .. omega1.pdf .. omega1.dvi ..

Uniquely Universal Sets
Topology and its Applications 159 (2012), pp. 3033-3041.
hrus.abs .. hrus.tex .. hrus.ps .. hrus.pdf .. hrus.dvi ..

The maximum principle in forcing and the axiom of choice
eprint May 2011
max.abs .. max.tex .. max.ps .. max.pdf .. max.dvi ..

Universal sets for pointsets properly on the n^th level of the
projective hierarchy
to appear Journal of Symbolic Logic
(with Greg Hjorth and Leigh Humphries)
hhm.abs .. hhm.tex .. hhm.ps .. hhm.pdf .. hhm.dvi ..

Point-cofinite covers in the Laver model
Proceedings of American Mathematical Society, 138(2010), 3313-3321.
(with B. Tsaban)
unb.abs .. unb.tex .. unb.ps .. unb.pdf .. unb.dvi ..

Kunen biography ... kunen-bio.pdf

The axiom of choice and two-point sets in the plane
eprint Sept 2008
two-pt.abs .. two-pt.tex .. two-pt.ps .. two-pt.pdf .. two-pt.dvi ..

Lecture notes on interest rate calculations for business students
eprint Dec 2008
int.pdf

A Dedekind Finite Borel Set
Arch. Math. Logic 50 (2011), no. 1-2, 1--17.
ded.abs .. ded.tex .. ded.ps .. ded.pdf .. ded.dvi ..
Proof of Remark 3.4 .. remark.tex .. remark.pdf

The Recursion Theorem and Infinite Sequences
eprint Nov 2007
recur.abs .. recur.tex .. recur.ps .. recur.pdf .. recur.dvi ..

Lecture notes in Computability Theory
137 pages
eprint Dec 2008
m773-07

Long Borel hierarchies
Math Logic Quarterly, 54(2008), 301-316.
longbor.abs .. longbor.tex .. longbor.ps .. longbor.pdf .. longbor.dvi ..

A hodgepodge of sets of reals
Note di Matematica, 27(2007), Supplemento 1, 25-39.
podge.abs .. podge.tex .. podge.ps .. podge.pdf .. podge.dvi ..

Steinhaus Sets and Jackson sets
Advances in logic, 127--145, Contemp. Math., 425, Amer. Math. Soc., 2007.
(with S.Gao, W. Weiss)
jack.abs .. jack.tex .. jack.ps .. jack.pdf .. jack.dvi ..

The number of translates of a closed nowhere dense set
required to cover a Polish group
Annals of Pure and Applied Logic, 140(2006), 52-59
(with Juris Steprans)
cnd.abs .. cnd.tex .. cnd.ps .. cnd.pdf .. cnd.dvi ..

Half of an inseparable pair
Real Analysis Exchange, 32 (2006/07), no. 1, 179--193.
insep.abs .. insep.tex .. insep.ps .. insep.pdf .. insep.dvi ..

Cardinal characteristic for relative &gamma -sets
Topology and its Applications, 156(2009), 872-878.
relgamma.abs .. relgamma.tex .. relgamma.ps .. relgamma.pdf .. relgamma.dvi ..

On squares of spaces and F&sigma-sets
Topology Proceedings, 20(2005), 237-241.
square.abs .. square.tex .. square.ps .. square.pdf .. square.dvi ..

The &gamma -Borel conjecture
Archive for Mathematical Logic, 44(2005), 425-434.
gammabc.abs .. gammabc.tex .. gammabc.ps .. gammabc.pdf .. gammabc.dvi ..

Models in which every nonmeager set is nonmeager in a
nowhere dense Cantor set
Canadian Journal of Mathematics, 57(2005), 1139-1154.
(with M.Burke)
nonmeag.abs .. nonmeag.tex .. nonmeag.ps .. nonmeag.pdf .. nonmeag.dvi ..

Ultrafilters with property (s)
Proceedings of the American Mathematical Society, 137(2009), 3115-3121
ultra-s.abs .. ultra-s.tex .. ultra-s.ps .. ultra-s.pdf .. ultra-s.dvi ..

On &lambda'-sets
Topology Proceedings, 28(2004), 179-187.
lambda.abs ... lambda.tex ... lambda.ps ... lambda.pdf ... lambda.dvi ...

On relatively analytic and Borel subsets
Journal of Symbolic Logic 70(2005), 346-352.
rel-anal.abs .. rel-anal.tex .. rel-anal.ps .. rel-anal.pdf .. rel-anal.dvi ..

A MAD Q-set
Fundamenta Mathematicae, 178(2003), 271-281.
madq.abs ... madq.tex ... madq.ps ... madq.pdf ... madq.dvi ...

A nonhereditary Borel-cover &gamma set
Real Analysis Exchange, 29(2003-2004), 601-606.
borgamma.abs ... borgamma.tex ... borgamma.ps ... borgamma.pdf ... borgamma.dvi ...

Categoricity Without Equality
in {\L}os Memorial Volume, Fundamenta Mathematicae, 170(2001), 87-106.
(with H. Jerome Keisler)
equal.abs ... equal.tex ... equal.ps ... equal.pdf

Baire measures on uncountable product spaces
eprint Oct 1998
baire.abs ... baire.tex ... baire.ps ... baire.pdf

Vitali sets and Hamel bases that are
Marczewski measurable
Fundamenta Mathematicae, 166(2000), 269-279.
(with Strashimir G. Popvassilev)
hamel.abs ... hamel.tex ... hamel.ps ... hamel.pdf ...

Everywhere of Second Category Sets
Real Analysis Exchange, 24(1999), 607-614.
(with K.Muthuvel)
every.abs ... every.tex ... every.ps ... every.pdf

Orthogonal Families of Real Sequences
Journal of Symbolic Logic, 63(1998), 29-49.
(with J.Steprans)
orthog.abs ... orthog.tex ... orthog.ps ... orthog.pdf

Introduction to Mathematical Logic - Moore style
This is a set of 288 questions written for a Moore-style course
in Mathematical Logic, 75 pages.
eprint 1996
logintro.abs ... logintro.tex ... logintro.ps ... logintro.pdf ...

Mathematical Logic and Computability
McGraw-Hill (1996)
(with J. Keisler, K. Kunen, T. Millar, J. Robbin)
book.pdf

The combinatorics of open covers (II)
Topology and its applications, 73(1996), 241-266.
(with W.Just, M.Scheepers, and P.J. Szeptycki)
jmss.abs ... jmss.tex ... jmss.ps ... jmss.pdf ...

Souslin's Hypothesis and Convergence in Category
Proceedings of American Mathematical Society, 124(1996), 1529-1532.
converge.abs ... converge.tex ... converge.ps ... converge.pdf ...

Cardinal invariants concerning functions
whose sum is almost continuous
Real Analysis Exchange, 20(1994-5), 657-672.
(with K.Ciesielski)
almost.abs ... almost.tex ... almost.ps ... almost.pdf ...

Measurability of functions with approximately continuous
vertical sections and measurable horizontal sections
Colloquium Mathematicae, 69(1995), 299-308.
(with M.Laczkovich)
approx.abs ... approx.tex ... approx.ps ... approx.pdf ...

Descriptive Set Theory and Forcing:
how to prove theorems about Borel sets the hard way
Lecture Notes in Logic 4(1995), Springer-Verlag.
New edition 4-2001 now published by Association for Symbolic Logic.
dstfor.abs ... dstfor.tex ... dstfor.ps ... dstfor.pdf

Measurable rectangles
Real Analysis Exchange, 19(1994), 194-202.
rectang.abs ... rectang.tex ... rectang.ps ... rectang.pdf

Some interesting problems
in Set Theory of the Reals, ed Haim Judah, Israel Mathematical
Conference Proceedings, 6(1993), 645-654, American Math Society
problems.pdf

Special sets of reals
in Set Theory of the Reals, ed Haim Judah, Israel Mathematical
Conference Proceedings, 6(1993), 415-432, American Math Society.
survey.abs ... survey.tex ... survey.ps ... survey.pdf

Sacks forcing, Laver forcing, and Martin's axiom
Archive for Mathematical Logic, 31(1992), 145-161.
(with H.Judah and S.Shelah)
sacks.abs ... sacks.tex ... sacks.ps ... sacks.pdf .. sacks.dvi ..

Projective subsets of separable metric spaces
Annals of Pure and Applied Logic, 50(1990), 53-69.
proj.abs ... proj.tex ... proj.ps ... proj.pdf ...

Set theoretic properties of Loeb measure
Journal of Symbolic Logic, 55(1990), 1022-1036.
loeb.abs ... loeb.tex ... loeb.ps ... loeb.pdf ...

Two remarks about analytic sets
in Lecture Notes in Mathematics, Springer-Verlag, 1401(1989), 68-72.
(with F.van Engelen and K.Kunen)
tworem.abs ... tworem.tex ... tworem.ps ... tworem.pdf ...

Descriptive Set Theory Over Hyperfinite Sets
Journal of Symbolic Logic, 54(1989), 1167-1180.
(with H. Jerome Keisler, Kenneth Kunen, Steven Leth)
abstract ... hyper.ps hyper.pdf

Infinite combinatorics and definability
Annals of Pure and Applied Mathematical Logic, 41(1989), 179-203.
infcomb.abs ... infcomb.tex ... infcomb.ps ... infcomb.pdf ...

Rigid Borel sets and better quasiorder theory
Contemporary Mathematics (American Mathematical Society), 65(1987), 199-222.
(with Fons van Engelen and John Steel)
rigid.pdf

On some properties of Hurewicz, Menger, and Rothberger
Fundamenta Mathematicae, 129(1988), 17-33.
(with David H. Fremlin)
abstract ... hmr.pdf

fun-solution.pdf Solution to Funar problem in 1986 Math Monthly
fun-guy.pdf Letter from Guy.
fun-letter.pdf Letter from Funar.
fun-problem.pdf Math Monthly problem statement see p.280
fun-maa.pdf Math Monthly Guy column see p.966 first paragraph.

Rational perfect set forcing
Contemporary Mathematics (American Mathematical Society), 31(1984), 143-159.
rat.pdf

When the continuum has cofinality &omega1
Pacific Journal of Mathematics, 115(1984), 399-407.
(with Karel Prikry)
cofone.pdf

Additivity of Measure Implies Dominating Reals
Proceedings of the American Mathematical Society, 91(1984), 111-117.
abstract ... addmeas.ps addmeas.pdf

(with Larry Manevitz) Lindeloff models of the reals: solution to a problem of Sikorski
Israel Journal of Mathematics, 45(1983), 209-218.
lind.pdf

Borel and projective sets from the point of view of compact sets
Mathematical Proceedings of the Cambridge Philosophical Society, 94(1983), 399-409.
(with Ken Kunen)
pov.pdf

A Minimal Degree Which Collapses &omega1
Journal of Symbolic Logic, 49(1984), 298-300.
(with Tim Carlson, Kenneth Kunen)
abstract ... min.pdf

&gamma -sets and other singular sets of real numbers
Topology and Its Applications, 17(1984), 145-155.
(with Fred Galvin)
abstract ... gamma.pdf

Special subsets of the real line
in Handbook of Set Theoretic Topology, North Holland, (1984), 201-233.
special.pdf

The Borel classification of the isomorphism class of a countable model
Notre Dame Journal of Formal Logic, 24(1983), 22-34.
ctblemod.pdf

Pellings problem
American Mathematical Monthly, Vol. 90, No. 6, Jun. - Jul., 1983, 408-9.
pelling.pdf

On box products
Topology and Its Applications, 14(1982), 313-317.
abstract ... box.pdf

A Characterization of the Least Cardinal for which the Baire Category Theorem Fails
Proceedings of the American Mathematical Society, 86(1982), 498-502.
abstract ... char.ps char.pdf

Mapping a Set of Reals Onto the Reals
Journal of Symbolic Logic, 48(1983), 575-584.
abstract ... map.ps ... map.pdf

Generic Souslin sets
Pacific Journal of Mathematics, 97(1981), 171-181.
gensous.pdf

Some Properties of Measure and Category
Transactions of the American Mathematical Society, 266(1981), 93-114.
abstract ... some.ps ... some.pdf ...
Corrections and Additions to "Some Properties of Measure and Category"
Transactions of the American Mathematical Society, 271(1982), 347-348.
abstract ... somecorr.ps somecorr.pdf

The Baire Category Theorem and Cardinals of Countable Cofinality
Journal of Symbolic Logic, 47(1982), 275-288.
abstract ... ctble.ps ctble.pdf

On generating the category algebra and the Baire order problem
Bulletin de L'Academie Polonaise des Science, 27(1979), 751-755.
gen.pdf ...

Covering 2&omega with &omega1 disjoint closed sets
in The Kleene Symposium, North Holland (1980), 415-421.
cov.pdf ...

On Q Sets
Proceedings of the American Mathematical Society, 78(1980), 280-284.
(with William G. Fleissner)
abstract ... qsets.ps ... qsets.pdf

Vaught's conjecture for theories of one unary operation
Fundamenta Mathematicae, 111(1981), 135-141.
abstract ... vc.pdf

There are no Q-Points in Laver's Model for the Borel Conjecture
Proceedings of the American Mathematical Society, 78(1980), 103-106.
abstract ... laver.pdf

On the length of Borel hierarchies
Annals of Math Logic, 16(1979), 233-267.
hier.pdf