35 found
Order:
Disambiguations
Louise Hay [36]Louise Schmir Hay [2]
  1.  35
    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   6 citations  
  2.  35
    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 (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  20
    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.  21
    Index Sets Universal for Differences of Arithmetic Sets.Louise Hay - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (13-18):239-254.
  5.  7
    Index Sets Universal for Differences of Arithmetic Sets.Louise Hay - 1974 - Mathematical Logic Quarterly 20 (13‐18):239-254.
  6.  29
    Index Sets of Finite Classes of Recursively Enumerable Sets.Louise Hay - 1969 - Journal of Symbolic Logic 34 (1):39-44.
  7.  32
    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.
  8.  25
    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.
  9.  24
    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.
  10.  19
    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.
  11.  18
    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.
  12. Review: F. J. Sansone, Combinatorial Functions and Regressive Isols. [REVIEW]Louise Hay - 1968 - Journal of Symbolic Logic 33 (1):113-114.
  13. Review: Fred J. Sansone, On Order-Preserving Extensions to Regressive Isols. [REVIEW]Louise Hay - 1968 - Journal of Symbolic Logic 33 (1):114-114.
  14. Review: Fred J. Sansone, A Mapping of Regressive Isols. [REVIEW]Louise Hay - 1968 - Journal of Symbolic Logic 33 (1):114-114.
  15.  15
    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  
  16.  12
    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.
  17.  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.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18.  22
    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  
  19.  19
    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.
  20.  23
    A Noninitial Segment of Index Sets.Louise Hay - 1974 - Journal of Symbolic Logic 39 (2):209-224.
  21.  15
    Review: J. C. E. Dekker, Closure Properties of Regressive Functions. [REVIEW]Louise Hay - 1971 - Journal of Symbolic Logic 36 (3):539-539.
  22.  14
    Review: Carl E. Bredlau, Regressive Functions and Combinatorial Functions. [REVIEW]Louise Hay - 1973 - Journal of Symbolic Logic 38 (2):333-333.
  23.  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  
  24.  11
    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  
  25.  11
    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.
  26.  17
    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.
  27.  14
    A Discrete Chain of Degrees of Index Sets.Louise Hay - 1972 - Journal of Symbolic Logic 37 (1):139-149.
  28.  7
    Review: C. E. M. Yates, On the Degrees of Index Sets. [REVIEW]Louise Hay - 1974 - Journal of Symbolic Logic 39 (2):344-344.
  29.  5
    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  
  30.  6
    A Note on Frame Extensions.Louise Hay - 1972 - Journal of Symbolic Logic 37 (3):543-545.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  31.  6
    Review: A. R. Turquette, Solution to a Problem of Rose and Rosser. [REVIEW]Louise Hay - 1966 - Journal of Symbolic Logic 31 (4):664-665.
  32. 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.
  33.  10
    Spectra and Halting Problems.Louise Hay - 1975 - Mathematical Logic Quarterly 21 (1):167-176.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  2
    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.
  35.  2
    An Example of a Non-Axiomatizability Many Valued Logic.Louise Hay & Andrzej Mostowski - 1970 - Journal of Symbolic Logic 35 (1):143.