Paul E. Howard

38 papers Journal 38

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Separablilty of metric measure spaces and choice axioms. Arch. Math. Log. Paul E. Howard
2023	J	`jnl`	Models of sfZFA in which every linearly ordered set can be well ordered. Arch. Math. Log. Paul E. Howard, Eleftherios Tachtsis
2017	J	`jnl`	On infinite-dimensional Banach spaces and weak forms of the axiom of choice. Math. Log. Q. Paul E. Howard, Eleftherios Tachtsis
2016	J	`jnl`	Finiteness Classes and Small Violations of Choice. Notre Dame J. Formal Log. Horst Herrlich, Paul E. Howard, Eleftherios Tachtsis
2016	J	`jnl`	No decreasing sequence of cardinals. Arch. Math. Log. Paul E. Howard, Eleftherios Tachtsis
2016	J	`jnl`	On the set-theoretic strength of the existence of disjoint cofinal sets in posets without maximal elements. Math. Log. Q. Paul E. Howard, Denis I. Saveliev, Eleftherios Tachtsis
2014	J	`jnl`	On a variant of Rado's selection lemma and its equivalence with the Boolean prime ideal theorem. Arch. Math. Log. Paul E. Howard, Eleftherios Tachtsis
2013	J	`jnl`	On vector spaces over specific fields without choice. Math. Log. Q. Paul E. Howard, Eleftherios Tachtsis
2011	J	`jnl`	The finiteness of compact Boolean algebras. Math. Log. Q. Paul E. Howard
2008	J	`jnl`	Unions and the axiom of choice. Math. Log. Q. Omar De la Cruz, Eric J. Hall, Paul E. Howard, Kyriakos Keremedis, Jean E. Rubin
2007	J	`jnl`	Bases, spanning sets, and the axiom of choice. Math. Log. Q. Paul E. Howard
2005	J	`jnl`	Divisibility of Dedekind finite Sets. J. Math. Log. David Blair, Andreas Blass, Paul E. Howard
2005	J	`jnl`	If vector spaces are projective modules then multiple choice holds. Math. Log. Q. Paul E. Howard
2005	J	`jnl`	Properties of the real line and weak forms of the Axiom of Choice. Math. Log. Q. Omar De la Cruz, Eric J. Hall, Paul E. Howard, Kyriakos Keremedis, Eleftherios Tachtsis
2003	J	`jnl`	Metric spaces and the axiom of choice. Math. Log. Q. Omar De la Cruz, Eric J. Hall, Paul E. Howard, Kyriakos Keremedis, Jean E. Rubin
2003	J	`jnl`	Products of compact spaces and the axiom of choice II. Math. Log. Q. Omar De la Cruz, Eric J. Hall, Paul E. Howard, Kyriakos Keremedis, Jean E. Rubin
2002	J	`jnl`	Definitions of Compactness and The Axiom of Choice. J. Symb. Log. Omar De la Cruz, Eric J. Hall, Paul E. Howard, Jean E. Rubin, Adrienne Stanley
2002	J	`jnl`	Products of Compact Spaces and the Axiom of Choice. Math. Log. Q. Omar De la Cruz, Eric J. Hall, Paul E. Howard, Kyriakos Keremedis, Jean E. Rubin
2001	J	`jnl`	Non-constructive Properties of the Real Numbers. Math. Log. Q. Paul E. Howard, Kyriakos Keremedis, Jean E. Rubin, Adrienne Stanley, Eleftherios Tachtsis
2000	J	`jnl`	Compactness in Countable Tychonoff Products and Choice. Math. Log. Q. Paul E. Howard, Kyriakos Keremedis, Jean E. Rubin, Adrienne Stanley
2000	J	`jnl`	Paracompactness of Metric Spaces and the Axiom of Multiple Choice. Math. Log. Q. Paul E. Howard, Kyriakos Keremedis, Jean E. Rubin, Adrienne Stanley
2000	J	`jnl`	Von Rimscha's Transitivity Conditions. Math. Log. Q. Paul E. Howard, Jean E. Rubin, Adrienne Stanley
1998	J	`jnl`	Disjoint Unions of Topological Spaces and Choice. Math. Log. Q. Paul E. Howard, Kyriakos Keremedis, Herman Rubin, Jean E. Rubin
1998	J	`jnl`	Versions of Normality and Some Weak Forms of the Axiom of Choice. Math. Log. Q. Paul E. Howard, Kyriakos Keremedis, Herman Rubin, Jean E. Rubin
1996	J	`jnl`	The Boolean Prime Ideal Theorem Plus Countable Choice Do Not Imply Dependent Choice. Math. Log. Q. Paul E. Howard, Jean E. Rubin
1995	J	`jnl`	The Axiom of Choice for Well-Ordered Families and for Familes of Well-Orderable Sets. J. Symb. Log. Paul E. Howard, Jean E. Rubin
1994	J	`jnl`	Well Ordered Subsets of Linearly Ordered Sets. Notre Dame J. Formal Log. Hartmut Höft, Paul E. Howard
1993	J	`jnl`	The Strenght of the Delta-system Lemma. Notre Dame J. Formal Log. Paul E. Howard, Jeffrey Solski
1993	J	`jnl`	Variations of Rado's Lemma. Math. Log. Q. Paul E. Howard
1992	J	`jnl`	Russell's Alternative to the Axiom of Choice. Math. Log. Q. Norbert Brunner, Paul E. Howard
1992	J	`jnl`	The Axiom of Choice for Countable Collections of Countable Sets Does Not Imply the Countable Union Theorem. Notre Dame J. Formal Log. Paul E. Howard
1990	J	`jnl`	Definitions of Compact. J. Symb. Log. Paul E. Howard
1987	J	`jnl`	Maximal p-subgroups and the axiom of choice. Notre Dame J. Formal Log. Paul E. Howard, Mary Yorke
1987	J	`jnl`	The Existence of Level Sets in a Free Group Implies the Axiom of Choice. Math. Log. Q. Paul E. Howard
1985	J	`jnl`	Subgroups of a Free Group and the Axiom of Choice. J. Symb. Log. Paul E. Howard
1984	J	`jnl`	Rado's Selection Lemma Does not Imply the Boolean Prime Ideal Theorem. Math. Log. Q. Paul E. Howard
1978	J	`jnl`	Independence Results for Class Forms of the Axiom of Choice. J. Symb. Log. Paul E. Howard, Arthur L. Rubin, Jean E. Rubin
1973	J	`jnl`	Limitations on the Fraenkel-Mostowski Method of Independence Proofs. J. Symb. Log. Paul E. Howard