Results for 'Paul E. Howard'

1000+ found
Order:
  1. Definitions of Compact.Paul E. Howard - 1990 - Journal of Symbolic Logic 55 (2):645-655.
  2.  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  
  3.  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  
  4. 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  
  5.  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  
  6.  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  
  7.  9
    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  
  8.  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  
  9.  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  
  10.  22
    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  
  11.  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  
  12.  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  
  13.  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  
  14. 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  
  15.  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  
  16.  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  
  17.  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  
  18.  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  
  19.  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  
  20.  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  
  21.  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  
  22.  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  
  23.  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  
  24.  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  
  25.  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  
  26.  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  
  27.  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  
  28.  1
    Review: Azriel Levy, J. W. Addison, Leon Henkin, Alfred Tarski, The Fraenkel-Mostowski Method for Independence Proofs in Set Theory; Paul E. Howard, Limitations on the Fraenkel-Mostowski Method of Independence Proofs. [REVIEW]David Pincus - 1975 - Journal of Symbolic Logic 40 (4):631-631.
    Direct download  
     
    Export citation  
     
    My bibliography  
  29.  1
    Lévy Azriel. The Fraenkel-Moslowski Method for Independence Proofs in Set Theory. The Theory of Models, Proceedings of the 1963 International Symposium at Berkeley, Edited by Addison J. W., Leon Henkin, and Alfred Tarski, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1965, Pp. 221–228.Howard Paul E.. Limitations on the Fraenkel-Mostowski Method of Independence Proofs. [REVIEW]David Pincus - 1975 - Journal of Symbolic Logic 40 (4):631.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  30.  5
    NF-B Mediates Amyloid Beta Peptide-Stimulated Activity of the Human Apolipoprotein E Gene Promoter in Human Astroglial Cells.Y. Du, X. Chen, X. Wei, K. R. Bales, D. T. Berg, S. M. Paul, M. R. Farlow, B. Maloney, Y. W. Ge & D. K. Lahiri - 2005 - Brain Res Mol Brain Res 136:177-88.
    The apolipoprotein E gene plays an important role in the pathogenesis of Alzheimer's disease , and amyloid plaque comprised mostly of the amyloid-beta peptide ) is one of the major hallmarks of AD. However, the relationship between these two important molecules is poorly understood. We examined how A treatment affects APOE expression in cultured cells and tested the role of the transcription factor NF-B in APOE gene regulation. To delineate NF-B's role, we have characterized a 1098 nucleotide segment containing the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  31.  4
    Howard Paul and Rubin Jean E.. Consequences of the Axiom of Choice, Mathematical Surveys and Monographs, Vol. 59. American Mathematical Society, Providence, RI, 1998, Viii+ 432 Pp. [REVIEW]Andreas Blass - 2005 - Bulletin of Symbolic Logic 11 (1):61-63.
    Direct download  
     
    Export citation  
     
    My bibliography  
  32. Darwin on Man by Howard E. Gruber; Paul H. Barrett; Howard Gruber; Paul Barrett. [REVIEW]W. Cannon - 1976 - Isis: A Journal of the History of Science 67:139-141.
    Direct download  
     
    Export citation  
     
    My bibliography  
  33. Darwin on ManHoward E. Gruber Paul H. Barrett Howard Gruber Paul Barrett.W. F. Cannon - 1976 - Isis 67 (1):139-141.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34.  14
    O Legado Marxiano E o Problema da Democracia.Dick Howard - 1993 - Trans/Form/Ação 16:101-116.
    Translate
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  35. ULLMAN-MARGALIT, E.: "The Emergence of Norms". [REVIEW]Nigel Howard - 1980 - British Journal for the Philosophy of Science 31:199.
     
    Export citation  
     
    My bibliography  
  36.  14
    Ancient Sculpture and Painting (a) Brunn-Biruckmann's Denkmäkr Griechischer und Romischer Sculptur, fortgeführt und tnit erläuternden Texten versehen von Paul Arndt. Plates 501–600. Munich : F. Bruckmann, 1902–1906. (b) Denkmäler der Malerei des Altertums, herausgegeben von Paul Herrmann. Munich: F. Bruckmann, 1907. Each part M. 20. [REVIEW]S. E. - 1907 - The Classical Review 21 (05):145-148.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37.  2
    Hermenêutica e teoria crítica: iluminismo como política.Dick Howard - 1994 - Trans/Form/Ação 17:51-61.
    Translate
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  38.  14
    Two Readings of Sallust Thomas F. Scanlon: Spes Frustrata: A Reading of Sallust. Pp. 120. Heidelberg: Carl Winter, 1987. Paper, DM 25. Giovanni Cipriani: Sallustio E L'Immaginario: Per Una Biografia Eroica di Giugurta. (Studi E Commenti, 6.) Pp. 125. Bari: Adriatica Editrice, 1988. Paper, L. 22,000. [REVIEW]G. M. Paul - 1989 - The Classical Review 39 (02):233-234.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  39.  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  
  40.  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.
  41.  2
    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  
  42. Stanford E. Lehmberg, The Reformation of Cathedrals: Cathedrals in English Society, 1485–1603. Princeton: Princeton University Press, 1989. Pp. Xv, 319; Frontispiece Map, 42 Black-and-White Plates, 38 Tables. $49.95. [REVIEW]Maurice Howard - 1991 - Speculum 66 (1):190-192.
    No categories
     
    Export citation  
     
    My bibliography  
  43.  4
    Reception and History of Scholarship (B.) Graziosi and (E.) Greenwood Eds Homer in the Twentieth Century: Between World Literature and the Western Canon. Oxford: Oxford University Press, 2007. Pp. Xiv + 322. £55. 9780199298266. [REVIEW]Joanna Paul - 2009 - Journal of Hellenic Studies 129:262-.
  44.  1
    Review: R. E. Vesley, A. Kino, J. Myhill, A Palatable Substitute for Kripke's Schema. [REVIEW]William A. Howard - 1974 - Journal of Symbolic Logic 39 (2):334-334.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45. Paul Vernière. [REVIEW]G. E. G. E. - 1957 - Giornale Critico Della Filosofia Italiana 11:267.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  46. Vesley R. E.. A Palatable Substitute for Kripke's Schema. Intuitionism and Proof Theory, Proceedings of the Summer Conference at Buffalo N.Y. 1968, Edited by Kino A., Myhill J., and Vesley R. E., Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam and London 1970, Pp. 197–207. [REVIEW]William A. Howard - 1974 - Journal of Symbolic Logic 39 (2):334.
  47. Bulletin du Judaisme Ancien (1^ R^ E Partie) I-Cadre Historique Social Et Culturel II-Manuscrits Et Communaute de Qumran III-Litterature Juive de Langue Grecque.A. Paul - 2002 - Recherches de Science Religieuse 90 (3):423-460.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  48. Nicola M. De Feo: Prassi e scienza sociale. [REVIEW]G. Paul - 1971 - Deutsche Zeitschrift für Philosophie 19 (6):814.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  49. Causation and Counterfactuals.L. A. Paul, E. J. Hall & J. Collins (eds.) - 2004
    One philosophical approach to causation sees counterfactual dependence as the key to the explanation of causal facts: for example, events c (the cause) and e (the effect) both occur, but had c not occurred, e would not have occurred either. The counterfactual analysis of causation became a focus of philosophical debate after the 1973 publication of the late David Lewis's groundbreaking paper, "Causation," which argues against the previously accepted "regularity" analysis and in favor of what he called the "promising alternative" (...)
     
    Export citation  
     
    My bibliography   16 citations  
  50.  9
    On Certainty.J. E. Llewelyn, Ludwig Wittgenstein, G. E. M. Anscombe, G. H. von Wright & Denis Paul - 1971 - Philosophical Quarterly 21 (82):80.
    Written over the last 18 months of his life and inspired by his interest in G. E. Moore's defence of common sense, this much discussed volume collects Wittgenstein's reflections on knowledge and certainty, on what it is to know a proposition for sure.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   72 citations  
1 — 50 / 1000