# Paul E. Howard

According to our database1, Paul E. Howard authored at least 33 papers between 1973 and 2017.

Collaborative distances:

Book
In proceedings
Article
PhD thesis
Other

## Bibliography

2017
On infinite-dimensional Banach spaces and weak forms of the axiom of choice.
Math. Log. Q., 2017

2016
Finiteness Classes and Small Violations of Choice.
Notre Dame J. Formal Log., 2016

On the set-theoretic strength of the existence of disjoint cofinal sets in posets without maximal elements.
Math. Log. Q., 2016

No decreasing sequence of cardinals.
Arch. Math. Log., 2016

2014
On a variant of Rado's selection lemma and its equivalence with the Boolean prime ideal theorem.
Arch. Math. Log., 2014

2013
On vector spaces over specific fields without choice.
Math. Log. Q., 2013

2008
Unions and the axiom of choice.
Math. Log. Q., 2008

2007
Bases, spanning sets, and the axiom of choice.
Math. Log. Q., 2007

2005
If vector spaces are projective modules then multiple choice holds.
Math. Log. Q., 2005

Properties of the real line and weak forms of the Axiom of Choice.
Math. Log. Q., 2005

2003
Metric spaces and the axiom of choice.
Math. Log. Q., 2003

Products of compact spaces and the axiom of choice II.
Math. Log. Q., 2003

2002
Products of Compact Spaces and the Axiom of Choice.
Math. Log. Q., 2002

Definitions of Compactness and The Axiom of Choice.
J. Symb. Log., 2002

2001
Non-constructive Properties of the Real Numbers.
Math. Log. Q., 2001

2000
Von Rimscha's Transitivity Conditions.
Math. Log. Q., 2000

Paracompactness of Metric Spaces and the Axiom of Multiple Choice.
Math. Log. Q., 2000

Compactness in Countable Tychonoff Products and Choice.
Math. Log. Q., 2000

1998
Disjoint Unions of Topological Spaces and Choice.
Math. Log. Q., 1998

Versions of Normality and Some Weak Forms of the Axiom of Choice.
Math. Log. Q., 1998

1996
The Boolean Prime Ideal Theorem Plus Countable Choice Do Not Imply Dependent Choice.
Math. Log. Q., 1996

1995
The Axiom of Choice for Well-Ordered Families and for Familes of Well-Orderable Sets.
J. Symb. Log., 1995

1994
Well Ordered Subsets of Linearly Ordered Sets.
Notre Dame J. Formal Log., 1994

1993
The Strenght of the Delta-system Lemma.
Notre Dame J. Formal Log., 1993

Math. Log. Q., 1993

1992
The Axiom of Choice for Countable Collections of Countable Sets Does Not Imply the Countable Union Theorem.
Notre Dame J. Formal Log., 1992

1990
Definitions of Compact.
J. Symb. Log., 1990

1987
Maximal p-subgroups and the axiom of choice.
Notre Dame J. Formal Log., 1987

The Existence of Level Sets in a Free Group Implies the Axiom of Choice.
Math. Log. Q., 1987

1985
Subgroups of a Free Group and the Axiom of Choice.
J. Symb. Log., 1985

1984
Rado's Selection Lemma Does not Imply the Boolean Prime Ideal Theorem.
Math. Log. Q., 1984

1978
Independence Results for Class Forms of the Axiom of Choice.
J. Symb. Log., 1978

1973
Limitations on the Fraenkel-Mostowski Method of Independence Proofs.
J. Symb. Log., 1973