35 found
Order:
Disambiguations
Louise Hay [36]Louise Schmir Hay [2]
  1.  57
    Axiomatization of the infinite-valued predicate calculus.Louise Schmir Hay - 1963 - Journal of Symbolic Logic 28 (1):77-86.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  2.  46
    Bounded query classes and the difference hierarchy.Richard Beigel, William I. Gasarch & Louise Hay - 1989 - Archive for Mathematical Logic 29 (2):69-84.
    LetA be any nonrecursive set. We define a hierarchy of sets (and a corresponding hierarchy of degrees) that are reducible toA based on bounding the number of queries toA that an oracle machine can make. WhenA is the halting problemK our hierarchy of sets interleaves with the difference hierarchy on the r.e. sets in a logarithmic way; this follows from a tradeoff between the number of parallel queries and the number of serial queries needed to compute a function with oracleK.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  23
    A topological analog to the rice-Shapiro index theorem.Louise Hay & Douglas Miller - 1982 - Journal of Symbolic Logic 47 (4):824-832.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4.  30
    Index sets of finite classes of recursively enumerable sets.Louise Hay - 1969 - Journal of Symbolic Logic 34 (1):39-44.
  5.  9
    Index Sets Universal for Differences of Arithmetic Sets.Louise Hay - 1974 - Mathematical Logic Quarterly 20 (13‐18):239-254.
  6.  23
    Index Sets Universal for Differences of Arithmetic Sets.Louise Hay - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (13-18):239-254.
  7.  34
    Meeting of the association for symbolic logic: Chicago, 1985.Andreas Blass, Louise Hay & Peter G. Hinman - 1986 - Journal of Symbolic Logic 51 (2):507-510.
  8.  15
    Meeting of the Association for Symbolic Logic, Chicago, 1985.Andreas Blass, Louise Hay & Peter G. Hinman - 1986 - Journal of Symbolic Logic 51 (2):507-510.
  9.  14
    A discrete chain of degrees of index sets.Louise Hay - 1972 - Journal of Symbolic Logic 37 (1):139-149.
  10.  2
    An Example of a Non-Axiomatizability Many Valued Logic.Louise Hay & Andrzej Mostowski - 1970 - Journal of Symbolic Logic 35 (1):143.
  11.  6
    A note on frame extensions.Louise Hay - 1972 - Journal of Symbolic Logic 37 (3):543-545.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  12.  28
    A noninitial segment of index sets.Louise Hay - 1974 - Journal of Symbolic Logic 39 (2):209-224.
  13.  28
    Atwell R. Turquette. Independent axioms for infinite-valued logic. The journal of symbolic logic, vol. 28 no. 3 , pp. 217–221.Louise Hay - 1966 - Journal of Symbolic Logic 31 (4):665.
  14.  12
    Boolean combinations of r.e. open sets.Louise Hay - 1976 - Journal of Symbolic Logic 41 (1):235-238.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  15.  14
    Extensional Characterization of Index Sets.Louise Hay & Nancy Johnson - 1979 - Mathematical Logic Quarterly 25 (13‐18):227-234.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  26
    Extensional Characterization of Index Sets.Louise Hay & Nancy Johnson - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (13-18):227-234.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  26
    F. J. Sansone. Combinatorial functions and regressive isols. Pacific journal of mathematics, vol. 13 , pp. 703–707.Louise Hay - 1968 - Journal of Symbolic Logic 33 (1):113-114.
  18.  21
    Fred J. Sansone. A mapping of regressive isols. Illinois journal of mathematics, vol. 9 , pp. 726–735.Louise Hay - 1968 - Journal of Symbolic Logic 33 (1):114.
  19.  7
    Mostowski A.. Axiomatizability of some many valued predicate calculi. Fundamenta mathematicae, vol. 50 , pp. 165–190.Louise Hay - 1970 - Journal of Symbolic Logic 35 (1):143-143.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  20.  12
    Spectra and halting problems.Louise Hay - 1975 - Mathematical Logic Quarterly 21 (1):167-176.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  12
    Andrzej Mostowski. An example of a non-axiomatizable many valued logic.Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 72–76. [REVIEW]Louise Hay - 1970 - Journal of Symbolic Logic 35 (1):143.
  22.  17
    Carl E. Bredlau. Regressive functions and combinatorial functions. Notre Dame journal of formal logic, vol. 8 no. 4 , pp. 301–310. [REVIEW]Louise Hay - 1973 - Journal of Symbolic Logic 38 (2):333.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  29
    C. E. M. Yates. On the degrees of index sets. II. Transactions of the American Mathematical Society, vol. 135 , pp. 249–266. [REVIEW]Louise Hay - 1974 - Journal of Symbolic Logic 39 (2):344.
  24.  14
    Fred J. Sansone. On order-preserving extensions to regressive isols. The Michigan mathematical journal, vol. 13 , pp. 353–355. [REVIEW]Louise Hay - 1968 - Journal of Symbolic Logic 33 (1):114.
  25.  38
    Dekker J. C. E.. Closure properties of regressive functions. Proceedings of the London Mathematical Society, ser. 3 vol. 15 , pp. 226–238. [REVIEW]Louise Hay - 1971 - Journal of Symbolic Logic 36 (3):539.
  26.  9
    Review: A. R. Turquette, Solution to a Problem of Rose and Rosser. [REVIEW]Louise Hay - 1966 - Journal of Symbolic Logic 31 (4):664-665.
  27.  13
    Review: C. E. M. Yates, On the Degrees of Index Sets. [REVIEW]Louise Hay - 1974 - Journal of Symbolic Logic 39 (2):344-344.
  28.  17
    Review: Carl E. Bredlau, Regressive Functions and Combinatorial Functions. [REVIEW]Louise Hay - 1973 - Journal of Symbolic Logic 38 (2):333-333.
  29. Review: F. J. Sansone, Combinatorial Functions and Regressive Isols. [REVIEW]Louise Hay - 1968 - Journal of Symbolic Logic 33 (1):113-114.
  30. Review: F. J. Sansone, The Summation of Certain Series of Infinite Regressive Isols. [REVIEW]Louise Hay - 1968 - Journal of Symbolic Logic 33 (1):114-114.
  31. Review: Fred J. Sansone, On Order-Preserving Extensions to Regressive Isols. [REVIEW]Louise Hay - 1968 - Journal of Symbolic Logic 33 (1):114-114.
  32. Review: Fred J. Sansone, A Mapping of Regressive Isols. [REVIEW]Louise Hay - 1968 - Journal of Symbolic Logic 33 (1):114-114.
  33.  20
    Review: J. C. E. Dekker, Closure Properties of Regressive Functions. [REVIEW]Louise Hay - 1971 - Journal of Symbolic Logic 36 (3):539-539.
  34.  23
    Sansone F. J.. The summation of certain series of infinite regressive isols. Proceedings of the American Mathematical Society, vol. 16 no. 6 , pp. 1135–1140. [REVIEW]Louise Hay - 1968 - Journal of Symbolic Logic 33 (1):114-114.
  35.  13
    A. R. Turquette. Solution to a problem of Rose and Rosser. Proceedings of the American Mathematical Society, vol. 12 , pp. 253–255. [REVIEW]Louise Hay - 1966 - Journal of Symbolic Logic 31 (4):664-665.