Paul E. Howard

Arch. Math. Log., November, 2024

2023

Models of sfZFA in which every linearly ordered set can be well ordered.

[BibT_eX]

[DOI]

Arch. Math. Log., November, 2023

2017

On infinite-dimensional Banach spaces and weak forms of the axiom of choice.

[BibT_eX]

[DOI]

Math. Log. Q., 2017

2016

Finiteness Classes and Small Violations of Choice.

[BibT_eX]

[DOI]

Horst Herrlich

Notre Dame J. Formal Log., 2016

On the set-theoretic strength of the existence of disjoint cofinal sets in posets without maximal elements.

[BibT_eX]

[DOI]

Denis I. Saveliev

Math. Log. Q., 2016

No decreasing sequence of cardinals.

[BibT_eX]

[DOI]

Arch. Math. Log., 2016

2014

On a variant of Rado's selection lemma and its equivalence with the Boolean prime ideal theorem.

[BibT_eX]

[DOI]

Arch. Math. Log., 2014

2013

On vector spaces over specific fields without choice.

[BibT_eX]

[DOI]

Math. Log. Q., 2013

2011

The finiteness of compact Boolean algebras.

[BibT_eX]

[DOI]

Math. Log. Q., 2011

2008

Unions and the axiom of choice.

[BibT_eX]

[DOI]

Math. Log. Q., 2008

2007

Bases, spanning sets, and the axiom of choice.

[BibT_eX]

[DOI]

Math. Log. Q., 2007

2005

If vector spaces are projective modules then multiple choice holds.

[BibT_eX]

[DOI]

Math. Log. Q., 2005

Properties of the real line and weak forms of the Axiom of Choice.

[BibT_eX]

[DOI]

Math. Log. Q., 2005

Divisibility of Dedekind finite Sets.

[BibT_eX]

[DOI]

David Blair

Andreas Blass

J. Math. Log., 2005

2003

Metric spaces and the axiom of choice.

[BibT_eX]

[DOI]

Math. Log. Q., 2003

Products of compact spaces and the axiom of choice II.

[BibT_eX]

[DOI]

Math. Log. Q., 2003

2002

Products of Compact Spaces and the Axiom of Choice.

[BibT_eX]

[DOI]

Math. Log. Q., 2002

Definitions of Compactness and The Axiom of Choice.

[BibT_eX]

[DOI]

J. Symb. Log., 2002

2001

Non-constructive Properties of the Real Numbers.

[BibT_eX]

[DOI]

Math. Log. Q., 2001

2000

Von Rimscha's Transitivity Conditions.

[BibT_eX]

[DOI]

Adrienne Stanley

Math. Log. Q., 2000

Paracompactness of Metric Spaces and the Axiom of Multiple Choice.

[BibT_eX]

[DOI]

Math. Log. Q., 2000

Compactness in Countable Tychonoff Products and Choice.

[BibT_eX]

[DOI]

Math. Log. Q., 2000

1998

Disjoint Unions of Topological Spaces and Choice.

[BibT_eX]

[DOI]

Math. Log. Q., 1998

Versions of Normality and Some Weak Forms of the Axiom of Choice.

[BibT_eX]

[DOI]

Math. Log. Q., 1998

1996

The Boolean Prime Ideal Theorem Plus Countable Choice Do Not Imply Dependent Choice.

[BibT_eX]

[DOI]

Math. Log. Q., 1996

1995

The Axiom of Choice for Well-Ordered Families and for Familes of Well-Orderable Sets.

[BibT_eX]

[DOI]

J. Symb. Log., 1995

1994

Well Ordered Subsets of Linearly Ordered Sets.

[BibT_eX]

[DOI]

Hartmut Höft

Notre Dame J. Formal Log., 1994

1993

The Strenght of the Delta-system Lemma.

[BibT_eX]

[DOI]

Jeffrey Solski

Notre Dame J. Formal Log., 1993

Variations of Rado's Lemma.

[BibT_eX]

[DOI]

Math. Log. Q., 1993

1992

The Axiom of Choice for Countable Collections of Countable Sets Does Not Imply the Countable Union Theorem.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 1992

Russell's Alternative to the Axiom of Choice.

[BibT_eX]

[DOI]

Norbert Brunner

Math. Log. Q., 1992

1990

Definitions of Compact.

[BibT_eX]

[DOI]

J. Symb. Log., 1990

1987

Maximal p-subgroups and the axiom of choice.

[BibT_eX]

[DOI]

Mary Yorke

Notre Dame J. Formal Log., 1987

The Existence of Level Sets in a Free Group Implies the Axiom of Choice.

[BibT_eX]

[DOI]

Math. Log. Q., 1987

1985

Subgroups of a Free Group and the Axiom of Choice.

[BibT_eX]

[DOI]

J. Symb. Log., 1985

1984

Rado's Selection Lemma Does not Imply the Boolean Prime Ideal Theorem.

[BibT_eX]

[DOI]

Math. Log. Q., 1984

1978

Independence Results for Class Forms of the Axiom of Choice.

[BibT_eX]

[DOI]

Arthur L. Rubin

J. Symb. Log., 1978

1973

Limitations on the Fraenkel-Mostowski Method of Independence Proofs.

[BibT_eX]

[DOI]