Results for 'Paul Howard Ellson'

1000+ found
Order:
  1.  8
    Books in Review.L. Greenwood Robert, P. Kainz Howard, F. Haught John & T. Menzel Paul - 1976 - International Journal for Philosophy of Religion 7 (2).
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  2. The Beautiful Union of Science, Philosophy, and Religion.Paul Howard Ellson - 2006 - Aasb Media.
    Humankind : a limited company? -- From volume to point: 1. Philosophy, 2. Religion -- Science : specialised but not special -- Cosmic hierarchies -- Consciousness -- Cognition -- In theory -- Back to Genesis -- The beautiful union.
     
    Export citation  
     
    My bibliography  
  3.  7
    The Use and Abuse of Democracy: Paul Berman's Generational Bildungsroman.Dick Howard - 2007 - Constellations 14 (3):445-453.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  4.  3
    Girard Jean-Yves, Taylor Paul, and LaFont Yves. Proofs and Types. Cambridge Tracts in Theoretical Computer Science, No. 7. Cambridge University Press, Cambridge Etc. 1989, Xi+ 176 Pp. [REVIEW]W. A. Howard - 1991 - Journal of Symbolic Logic 56 (2):760-761.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  5.  3
    Review: Jean-Yves Girard, Paul Taylor, Yves Lafont, Proofs and Types. [REVIEW]W. A. Howard - 1991 - Journal of Symbolic Logic 56 (2):760-761.
  6. 1. Preface Preface (P. Vii).Michael Dickson, Don Howard, Scott Tanona, Mathias Frisch, Eric Winsberg, Arnold Koslow, Paul Teller, Ronald N. Giere, Mary S. Morgan & Mauricio Suárez - 2004 - Philosophy of Science 71 (5).
     
    Export citation  
     
    My bibliography   5 citations  
  7. Definitions of Compact.Paul E. Howard - 1990 - Journal of Symbolic Logic 55 (2):645-655.
  8. Definitions of Compactness and the Axiom of Choice.Omar De la Cruz, Eric Hall, Paul Howard, Jean E. Rubin & Adrienne Stanley - 2002 - Journal of Symbolic Logic 67 (1):143-161.
    We study the relationships between definitions of compactness in topological spaces and the roll the axiom of choice plays in these relationships.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  9.  26
    Products of Compact Spaces and the Axiom of Choice.O. De la Cruz, Paul Howard & E. Hall - 2002 - Mathematical Logic Quarterly 48 (4):508-516.
    We study the Tychonoff Compactness Theorem for several different definitions of a compact space.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  10.  15
    Properties of the Real Line and Weak Forms of the Axiom of Choice.Omar De la Cruz, Eric Hall, Paul Howard, Kyriakos Keremedis & Eleftherios Tachtsis - 2005 - Mathematical Logic Quarterly 51 (6):598-609.
    We investigate, within the framework of Zermelo-Fraenkel set theory ZF, the interrelations between weak forms of the Axiom of Choice AC restricted to sets of reals.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  11.  4
    Compactness in Countable Tychonoff Products and Choice.Paul Howard, K. Keremedis & J. E. Rubin - 2000 - Mathematical Logic Quarterly 46 (1):3-16.
    We study the relationship between the countable axiom of choice and the Tychonoff product theorem for countable families of topological spaces.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  12.  5
    Bases, Spanning Sets, and the Axiom of Choice.Paul Howard - 2007 - Mathematical Logic Quarterly 53 (3):247-254.
    Two theorems are proved: First that the statement“there exists a field F such that for every vector space over F, every generating set contains a basis”implies the axiom of choice. This generalizes theorems of Halpern, Blass, and Keremedis. Secondly, we prove that the assertion that every vector space over ℤ2 has a basis implies that every well-ordered collection of two-element sets has a choice function.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  13.  13
    Products of Compact Spaces and the Axiom of Choice II.Omar De la Cruz, Eric Hall, Paul Howard, Kyriakos Keremedis & Jean E. Rubin - 2003 - Mathematical Logic Quarterly 49 (1):57-71.
    This is a continuation of [2]. We study the Tychonoff Compactness Theorem for various definitions of compactness and for various types of spaces . We also study well ordered Tychonoff products and the effect that the multiple choice axiom has on such products.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  14.  9
    Metric Spaces and the Axiom of Choice.Omar De la Cruz, Eric Hall, Paul Howard, Kyriakos Keremedis & Jean E. Rubin - 2003 - Mathematical Logic Quarterly 49 (5):455-466.
    We study conditions for a topological space to be metrizable, properties of metrizable spaces, and the role the axiom of choice plays in these matters.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  15.  15
    Non-Constructive Properties of the Real Numbers.J. E. Rubin, K. Keremedis & Paul Howard - 2001 - Mathematical Logic Quarterly 47 (3):423-431.
    We study the relationship between various properties of the real numbers and weak choice principles.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  16.  16
    A Proof of a Theorem of Tennenbaum.Paul E. Howard - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (7):111-112.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  17.  1
    The Fraenkel-Mostowski Method for Independence Proofs in Set Theory.J. W. Addison, Leon Henkin, Alfred Tarski & Paul E. Howard - 1975 - Journal of Symbolic Logic 40 (4):631-631.
    Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  18.  14
    Russell's Alternative to the Axiom of Choice.Norbert Brunner & Paul Howard - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):529-534.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19.  15
    Rado's Selection Lemma Does Not Imply the Boolean Prime Ideal Theorem.Paul E. Howard - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (9-11):129-132.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  20.  14
    The Existence of Level Sets in a Free Group Implies the Axiom of Choice.Paul E. Howard - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (4):315-316.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  21.  8
    The Axiom of Choice for Countable Collections of Countable Sets Does Not Imply the Countable Union Theorem.Paul E. Howard - 1992 - Notre Dame Journal of Formal Logic 33 (2):236-243.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  22.  10
    Limitations on the Fraenkel-Mostowski Method of Independence Proofs.Paul E. Howard - 1973 - Journal of Symbolic Logic 38 (3):416-422.
    The Fraenkel-Mostowski method has been widely used to prove independence results among weak versions of the axiom of choice. In this paper it is shown that certain statements cannot be proved by this method. More specifically it is shown that in all Fraenkel-Mostowski models the following hold: 1. The axiom of choice for sets of finite sets implies the axiom of choice for sets of well-orderable sets. 2. The Boolean prime ideal theorem implies a weakened form of Sikorski's theorem.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  23.  20
    Subgroups of a Free Group and the Axiom of Choice.Paul E. Howard - 1985 - Journal of Symbolic Logic 50 (2):458-467.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  24.  13
    Unions and the Axiom of Choice.Omar De la Cruz, Eric J. Hall, Paul Howard, Kyriakos Keremedis & Jean E. Rubin - 2008 - Mathematical Logic Quarterly 54 (6):652-665.
    We study statements about countable and well-ordered unions and their relation to each other and to countable and well-ordered forms of the axiom of choice. Using WO as an abbreviation for “well-orderable”, here are two typical results: The assertion that every WO family of countable sets has a WO union does not imply that every countable family of WO sets has a WO union; the axiom of choice for WO families of WO sets does not imply that the countable union (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  25.  2
    Rado's Selection Lemma Does Not Imply the Boolean Prime Ideal Theorem.Paul E. Howard - 1984 - Mathematical Logic Quarterly 30 (9‐11):129-132.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  26.  10
    Versions of Normality and Some Weak Forms of the Axiom of Choice.Paul Howard, Kyriakos Keremedis, Herman Rubin & Jean E. Rubin - 1998 - Mathematical Logic Quarterly 44 (3):367-382.
    We investigate the set theoretical strength of some properties of normality, including Urysohn's Lemma, Tietze-Urysohn Extension Theorem, normality of disjoint unions of normal spaces, and normality of Fσ subsets of normal spaces.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  27.  4
    Memoirs of Fellows and Corresponding Fellows of the Medieval Academy of America.F. Edward Cranz, Ruth J. Dean, Robert M. Lumiansky, Paul Oskar Kristeller, Franz Rosenthal, Kenneth M. Setton, Joseph R. Strayer, Robert S. Lopez, Edward Grant, Astrik L. Gabriel, Fred C. Robinson, William J. Courtenay, Donald R. Howard, Robert E. Kaske, Joan M. Ferrante, Walter Goffart, Paul Meyvaert & Giles Constable - 1986 - Speculum 61 (3):759-769.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28.  23
    Independence Results for Class Forms of the Axiom of Choice.Paul E. Howard, Arthur L. Rubin & Jean E. Rubin - 1978 - Journal of Symbolic Logic 43 (4):673-684.
    Let NBG be von Neumann-Bernays-Gödel set theory without the axiom of choice and let NBGA be the modification which allows atoms. In this paper we consider some of the well-known class or global forms of the wellordering theorem, the axiom of choice, and maximal principles which are known to be equivalent in NBG and show they are not equivalent in NBGA.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  29.  4
    No Decreasing Sequence of Cardinals.Paul Howard & Eleftherios Tachtsis - forthcoming - Archive for Mathematical Logic.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  30.  9
    Russell's Alternative to the Axiom of Choice.Norbert Brunner & Paul Howard - 1992 - Mathematical Logic Quarterly 38 (1):529-534.
    We prove the independence of some weakenings of the axiom of choice related to the question if the unions of wellorderable families of wellordered sets are wellorderable.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  31.  6
    Disjoint Unions of Topological Spaces and Choice.Paul Howard, Kyriakos Keremedis, Herman Rubin & Jean E. Rubin - 1998 - Mathematical Logic Quarterly 44 (4):493-508.
    We find properties of topological spaces which are not shared by disjoint unions in the absence of some form of the Axiom of Choice.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  32.  8
    Divisibility of Dedekind Finite Sets.David Blair, Andreas Blass & Paul Howard - 2005 - Journal of Mathematical Logic 5 (01):49-85.
  33.  21
    The Axiom of Choice for Well-Ordered Families and for Families of Well- Orderable Sets.Paul Howard & Jean E. Rubin - 1995 - Journal of Symbolic Logic 60 (4):1115-1117.
    We show that it is not possible to construct a Fraenkel-Mostowski model in which the axiom of choice for well-ordered families of sets and the axiom of choice for sets are both true, but the axiom of choice is false.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  34.  7
    The Boolean Prime Ideal Theorem Plus Countable Choice Do Not Imply Dependent Choice.Paul Howard & Jean E. Rubin - 1996 - Mathematical Logic Quarterly 42 (1):410-420.
    Two Fraenkel-Mostowski models are constructed in which the Boolean Prime Ideal Theorem is true. In both models, AC for countable sets is true, but AC for sets of cardinality 2math image and the 2m = m principle are both false. The Principle of Dependent Choices is true in the first model, but false in the second.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  35.  7
    Von Rimscha's Transitivity Conditions.Paul Howard, J. E. Rubin & A. Stanley - 2000 - Mathematical Logic Quarterly 46 (4):549-554.
    In Zermelo-Fraenkel set theory with the axiom of choice every set has the same cardinal number as some ordinal. Von Rimscha has weakened this condition to “Every set has the same cardinal number as some transitive set”. In set theory without the axiom of choice, we study the deductive strength of this and similar statements introduced by von Rimscha.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  36.  3
    Finiteness Classes and Small Violations of Choice.Horst Herrlich, Paul Howard & Eleftherios Tachtsis - 2016 - Notre Dame Journal of Formal Logic 57 (3):375-388.
    We study properties of certain subclasses of the Dedekind finite sets in set theory without the axiom of choice with respect to the comparability of their elements and to the boundedness of such classes, and we answer related open problems from Herrlich’s “The Finite and the Infinite.” The main results are as follows: 1. It is relatively consistent with ZF that the class of all finite sets is not the only finiteness class such that any two of its elements are (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37.  6
    Maximal $P$-Subgroups and the Axiom of Choice.Paul E. Howard & Mary Yorke - 1987 - Notre Dame Journal of Formal Logic 28 (2):276-283.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  38.  4
    Paracompactness of Metric Spaces and the Axiom of Multiple Choice.Paul Howard, K. Keremedis & J. E. Rubin - 2000 - Mathematical Logic Quarterly 46 (2):219-232.
    The axiom of multiple choice implies that metric spaces are paracompact but the reverse implication cannot be proved in set theory without the axiom of choice.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  39.  10
    The Strength of the $\Delta$-System Lemma.Paul Howard & Jeffrey Solski - 1992 - Notre Dame Journal of Formal Logic 34 (1):100-106.
  40.  2
    On a Variant of Rado’s Selection Lemma and its Equivalence with the Boolean Prime Ideal Theorem.Paul Howard & Eleftherios Tachtsis - 2014 - Archive for Mathematical Logic 53 (7-8):825-833.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  41.  5
    Well Ordered Subsets of Linearly Ordered Sets.Hartmut Höft & Paul Howard - 1994 - Notre Dame Journal of Formal Logic 35 (3):413-425.
    The deductive relationships between six statements are examined in set theory without the axiom of choice. Each of these statements follows from the axiom of choice and involves linear orderings in some way.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  42.  2
    Variations of Rado's Lemma.Paul Howard - 1993 - Mathematical Logic Quarterly 39 (1):353-356.
    The deductive strengths of three variations of Rado's selection lemma are studied in set theory without the axiom of choice. Two are shown to be equivalent to Rado's lemma and the third to the Boolean prime ideal theorem. MSC: 03E25, 04A25, 06E05.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  43.  2
    On Vector Spaces Over Specific Fields Without Choice.Paul Howard & Eleftherios Tachtsis - 2013 - Mathematical Logic Quarterly 59 (3):128-146.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  44.  2
    The Existence of Level Sets in a Free Group Implies the Axiom of Choice.Paul E. Howard - 1987 - Mathematical Logic Quarterly 33 (4):315-316.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  45.  1
    If Vector Spaces Are Projective Modules Then Multiple Choice Holds.Paul Howard - 2005 - Mathematical Logic Quarterly 51 (2):187.
    We show that the assertion that every vector space is a projective module implies the axiom of multiple choice and that the reverse implication does not hold in set theory weakened to permit the existence of atoms.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  46.  1
    A Graph Theoretic Equivalent to the Axiom of Choice.Hartmut Höft & Paul Howard - 1973 - Mathematical Logic Quarterly 19 (11‐12):191-191.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  47.  1
    A Proof of a Theorem of Tennenbaum.Paul E. Howard - 1972 - Mathematical Logic Quarterly 18 (7):111-112.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  48.  1
    The Finiteness of Compact Boolean Algebras.Paul Howard - 2011 - Mathematical Logic Quarterly 57 (1):14-18.
    We show that it consistent with Zermelo-Fraenkel set theory that there is an infinite, compact Boolean algebra.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  49. Book Review: Bruce W. Longenecker, Remember the Poor: Paul, Poverty and the Greco-Roman World. [REVIEW]I. Paul - 2012 - Studies in Christian Ethics 25 (3):384-386.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  50.  78
    Michael W. Howard -- Utopianism and Nuclear Deterrence.M. W. Howard - 1984 - Philosophy and Social Criticism 10 (3-4):53-65.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 1000