Order: Listing date First author Impact Pub year Relevance Downloads
Order
Axiomatization of the Infinite-Valued Predicate Calculus. Louise Schmir Hay - 1963 - Journal of Symbolic Logic 28 (1):77-86. details
Bounded Query Classes and the Difference Hierarchy. Richard Beigel , William I. Gasarch & Louise Hay - 1989 - Archive for Mathematical Logic 29 (2):69-84. details
A Topological Analog to the Rice-Shapiro Index Theorem. Louise Hay & Douglas Miller - 1982 - Journal of Symbolic Logic 47 (4):824-832. details
Index Sets Universal for Differences of Arithmetic Sets. Louise Hay - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (13-18):239-254. details
Index Sets Universal for Differences of Arithmetic Sets. Louise Hay - 1974 - Mathematical Logic Quarterly 20 (13‐18):239-254. details
Index Sets of Finite Classes of Recursively Enumerable Sets. Louise Hay - 1969 - Journal of Symbolic Logic 34 (1):39-44. details
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. details
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. details
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. details
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. details
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. details
Review: F. J. Sansone, Combinatorial Functions and Regressive Isols. [REVIEW] Louise Hay - 1968 - Journal of Symbolic Logic 33 (1):113-114. details
Review: Fred J. Sansone, On Order-Preserving Extensions to Regressive Isols. [REVIEW] Louise Hay - 1968 - Journal of Symbolic Logic 33 (1):114-114. details
Review: Fred J. Sansone, A Mapping of Regressive Isols. [REVIEW] Louise Hay - 1968 - Journal of Symbolic Logic 33 (1):114-114. details
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. details
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. details
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. details
Extensional Characterization of Index Sets. Louise Hay & Nancy Johnson - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (13-18):227-234. details
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. details
A Noninitial Segment of Index Sets. Louise Hay - 1974 - Journal of Symbolic Logic 39 (2):209-224. details
Review: J. C. E. Dekker, Closure Properties of Regressive Functions. [REVIEW] Louise Hay - 1971 - Journal of Symbolic Logic 36 (3):539-539. details
Review: Carl E. Bredlau, Regressive Functions and Combinatorial Functions. [REVIEW] Louise Hay - 1973 - Journal of Symbolic Logic 38 (2):333-333. details
Boolean Combinations of R.E. Open Sets. Louise Hay - 1976 - Journal of Symbolic Logic 41 (1):235-238. details
Extensional Characterization of Index Sets. Louise Hay & Nancy Johnson - 1979 - Mathematical Logic Quarterly 25 (13‐18):227-234. details
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. details
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. details
A Discrete Chain of Degrees of Index Sets. Louise Hay - 1972 - Journal of Symbolic Logic 37 (1):139-149. details
Review: C. E. M. Yates, On the Degrees of Index Sets. [REVIEW] Louise Hay - 1974 - Journal of Symbolic Logic 39 (2):344-344. details
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. details
A Note on Frame Extensions. Louise Hay - 1972 - Journal of Symbolic Logic 37 (3):543-545. details
Review: A. R. Turquette, Solution to a Problem of Rose and Rosser. [REVIEW] Louise Hay - 1966 - Journal of Symbolic Logic 31 (4):664-665. details
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. details
Spectra and Halting Problems. Louise Hay - 1975 - Mathematical Logic Quarterly 21 (1):167-176. details
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. details
An Example of a Non-Axiomatizability Many Valued Logic. Louise Hay & Andrzej Mostowski - 1970 - Journal of Symbolic Logic 35 (1):143. details
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
RSS feed