Edit Profile (opens in new tab) Hay, Louise (b. 1935 d. 1989) Co-Author Distance Author ID: hay.louise Published as: Hay, Louise; Hay, L.; Hay, L. S. more...less External Links: Women in Mathematics · MacTutor · MGP · Wikidata · dblp · IdRef Documents Indexed: 30 Publications since 1964 Biographic References: 1 Publication Co-Authors: 8 Co-Authors with 9 Joint Publications 227 Co-Co-Authors all top 5 Co-Authors 21 single-authored 2 Atkin, Arthur Oliver Lonsdale 2 Manaster, Alfred B. 2 Miller, Douglas E. 2 Rosenstein, Joseph G. 1 Beigel, Richard 1 Buss, Samuel R. 1 Gasarch, William Ian 1 Johnson, Nancy L. all top 5 Serials 7 The Journal of Symbolic Logic 3 Transactions of the American Mathematical Society 3 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 2 Pacific Journal of Mathematics 2 Proceedings of the American Mathematical Society 1 Computers & Mathematics with Applications 1 Discrete Mathematics 1 Algebra and Logic 1 Algebra i Logika 1 Annals of Mathematical Logic 1 Canadian Journal of Mathematics 1 Information and Control 1 Journal of Statistical Planning and Inference 1 Information and Computation 1 Archive for Mathematical Logic 1 Annals of Mathematics. Second Series all top 5 Fields 21 Mathematical logic and foundations (03-XX) 2 Combinatorics (05-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Computer science (68-XX) 1 General topology (54-XX) 1 Statistics (62-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 23 Publications have been cited 118 times in 97 Documents Cited by ▼ Year ▼ On truth-table reducibility to SAT. Zbl 0800.68443Buss, Samuel R.; Hay, Louise 32 1991 Axiomatization of the infinite-valued predicate calculus. Zbl 0127.00703Hay, L. S. 14 1964 Bounded query classes and the difference hierarchy. Zbl 0663.03032Beigel, Richard; Gasarch, William I.; Hay, Louise 7 1989 Index set of finite classes of recursively enumerable sets. Zbl 0193.31003Hay, L. 7 1969 Enumeration and construction of pandiagonal Latin squares of prime order. Zbl 0528.05007Atkin, A. O. L.; Hay, L.; Larson, R. G. 6 1983 Rice theorems for d.r.e. sets. Zbl 0309.02040Hay, Louise 6 1975 A discrete chain of degrees of index sets. Zbl 0256.02019Hay, Louise 5 1972 Construction of Knut Vik designs. Zbl 0386.05015Atkin, A. O. L.; Hay, L.; Larson, R. G. 4 1977 The class of recursively enumerable subsets of a recursively enumerabl e set. Zbl 0257.02032Hay, Louise 4 1973 A noninitial segment of index sets. Zbl 0292.02037Hay, Louise 4 1974 On the recursion-theoretic complexity of relative succinctness of representations of languages. Zbl 0512.03020Hay, Louise 3 1982 A topological analog to the Rice-Shapiro index theorem. Zbl 0518.03015Hay, Louise; Miller, Douglas 3 1982 Small recursive ordinals, many-one degrees, and the arithmetical difference hierarchy. Zbl 0309.02050Hay, Louise; Manaster, Alfred B.; Rosenstein, Joseph G. 3 1975 Index sets universal for differences of arithmetic sets. Zbl 0311.02052Hay, Louise 3 1974 Convex subsets of \(2^n\) and bounded truth-table reducibility. Zbl 0377.02036Hay, Louise 3 1978 Index sets in 0’. Zbl 0288.02023Hay, L. 3 1973 Extensional characterization of index sets. Zbl 0433.03022Hay, Louise; Johnson, Nancy 2 1979 The co-simple isols. Zbl 0189.28901Hay, Louise 2 1966 The halting problem relativized to complements. Zbl 0248.02044Hay, Louise 2 1973 Discrete \(\omega\)-sequences of index sets. Zbl 0285.02037Hay, Louise 2 1973 Spectra and halting problems. Zbl 0309.02049Hay, Louise 1 1975 Isomorphism types of index sets of partial recursive functions. Zbl 0163.25201Hay, L. 1 1966 On creative sets and indices of partial recursive functions. Zbl 0163.25202Hay, L. 1 1965 On truth-table reducibility to SAT. Zbl 0800.68443Buss, Samuel R.; Hay, Louise 32 1991 Bounded query classes and the difference hierarchy. Zbl 0663.03032Beigel, Richard; Gasarch, William I.; Hay, Louise 7 1989 Enumeration and construction of pandiagonal Latin squares of prime order. Zbl 0528.05007Atkin, A. O. L.; Hay, L.; Larson, R. G. 6 1983 On the recursion-theoretic complexity of relative succinctness of representations of languages. Zbl 0512.03020Hay, Louise 3 1982 A topological analog to the Rice-Shapiro index theorem. Zbl 0518.03015Hay, Louise; Miller, Douglas 3 1982 Extensional characterization of index sets. Zbl 0433.03022Hay, Louise; Johnson, Nancy 2 1979 Convex subsets of \(2^n\) and bounded truth-table reducibility. Zbl 0377.02036Hay, Louise 3 1978 Construction of Knut Vik designs. Zbl 0386.05015Atkin, A. O. L.; Hay, L.; Larson, R. G. 4 1977 Rice theorems for d.r.e. sets. Zbl 0309.02040Hay, Louise 6 1975 Small recursive ordinals, many-one degrees, and the arithmetical difference hierarchy. Zbl 0309.02050Hay, Louise; Manaster, Alfred B.; Rosenstein, Joseph G. 3 1975 Spectra and halting problems. Zbl 0309.02049Hay, Louise 1 1975 A noninitial segment of index sets. Zbl 0292.02037Hay, Louise 4 1974 Index sets universal for differences of arithmetic sets. Zbl 0311.02052Hay, Louise 3 1974 The class of recursively enumerable subsets of a recursively enumerabl e set. Zbl 0257.02032Hay, Louise 4 1973 Index sets in 0’. Zbl 0288.02023Hay, L. 3 1973 The halting problem relativized to complements. Zbl 0248.02044Hay, Louise 2 1973 Discrete \(\omega\)-sequences of index sets. Zbl 0285.02037Hay, Louise 2 1973 A discrete chain of degrees of index sets. Zbl 0256.02019Hay, Louise 5 1972 Index set of finite classes of recursively enumerable sets. Zbl 0193.31003Hay, L. 7 1969 The co-simple isols. Zbl 0189.28901Hay, Louise 2 1966 Isomorphism types of index sets of partial recursive functions. Zbl 0163.25201Hay, L. 1 1966 On creative sets and indices of partial recursive functions. Zbl 0163.25202Hay, L. 1 1965 Axiomatization of the infinite-valued predicate calculus. Zbl 0127.00703Hay, L. S. 14 1964 all cited Publications top 5 cited Publications all top 5 Cited by 130 Authors 8 Beigel, Richard 8 Hay, Louise 6 Gasarch, William Ian 5 Mundici, Daniele 5 Selivanov, Viktor L’vovich 4 Eiter, Thomas 3 Dabbaghian, Vahid 3 Lukasiewicz, Thomas 3 Wu, Tiankuang 2 Busaniche, Manuela 2 Case, John 2 Castro, Jorge 2 Gispert, Joan 2 Köbler, Johannes 2 Lang, Jérôme 2 Regan, Kenneth W. 2 Seara, Carlos 2 Soare, Robert I. 1 Agliano, Paolo 1 Ajtai, Miklós 1 Allender, Eric W. 1 Arslanov, Marat M. 1 Arthan, Rob D. 1 Arvind, Vikraman 1 Atkin, Arthur Oliver Lonsdale 1 Bauland, Michael 1 Bell, Jordan 1 Bellhouse, David Richard 1 Bergman, Clifford 1 Bloch, Stephen A. 1 Boyer, Christian 1 Bozzelli, Laura 1 Brandt, Ulrike 1 Buhrman, Harry 1 Buss, Samuel R. 1 Cabrer, Leonardo Manuel 1 Cenzer, Douglas 1 Chakraborty, Tanmoy 1 Chu, Ka Lok 1 Clote, Peter G. 1 Cook, Stephen Arthur 1 Czelakowski, Janusz 1 Danner, Norman 1 Datta, Samir 1 de Haan, Ronald 1 Ellentuck, Erik 1 Endriss, Ulle 1 Ershov, Yuriĭ Leonidovich 1 Esteva, Francesc 1 Fagin, Ronald 1 Fenner, Stephen A. 1 Font, Josep Maria 1 Gerasimov, Aleksandr Sergeevich 1 Gil, Àngel J. 1 Godo, Lluís 1 Gottlob, Georg 1 Grassin, Jacques 1 Grochow, Joshua A. 1 Haniková, Zuzana 1 Hemaspaandra, Edith 1 Hemmerling, Armin 1 Höhle, Ulrich 1 Jain, Sanjay 1 Janota, Mikoláš 1 Jeřábek, Emil 1 Johnson, Nancy L. 1 Klette, Reinhard 1 Krajíček, Jan 1 Kreitz, Christoph 1 Kuhnert, Sebastian 1 Kummer, Martin 1 Kuperberg, Gregory John 1 Lawry, K. A. 1 Lei, Jianguo 1 Lewis, Alain A. 1 Li, Wen 1 Malizia, Enrico 1 Marques-Silva, João P. 1 Martin, Georgia A. 1 McNicholl, Timothy H. 1 Miller, Douglas E. 1 Mix Barrington, David A. 1 Modanese, Augusto 1 Mohrherr, Jeanleah 1 Molinari, Alberto 1 Montanari, Angelo 1 Moraschini, Tommaso 1 Morris, Paul H. 1 Mugnier, Marie-Laure 1 Naik, Ashish V. 1 Noguera, Carles 1 Nordh, Gustav 1 Nosov, N. V. 1 Oliva, Paulo 1 Omanadze, Roland Sh. 1 Panti, Giovanni 1 Peron, Adriano 1 Pollett, Chris 1 Postow, Brian 1 Ragaz, Matthias Emil ...and 30 more Authors all top 5 Cited in 39 Serials 13 Theoretical Computer Science 9 The Journal of Symbolic Logic 7 Annals of Pure and Applied Logic 5 Theory of Computing Systems 4 Artificial Intelligence 4 Algebra and Logic 4 Proceedings of the American Mathematical Society 3 Discrete Mathematics 3 Fuzzy Sets and Systems 2 Archiv für Mathematische Logik und Grundlagenforschung 2 Journal of Statistical Planning and Inference 2 Studia Logica 2 Transactions of the American Mathematical Society 2 Information and Computation 2 Archive for Mathematical Logic 1 Discrete Applied Mathematics 1 Information Sciences 1 Journal of Algebra 1 Journal of Computer and System Sciences 1 Journal of Soviet Mathematics 1 Notre Dame Journal of Formal Logic 1 Siberian Mathematical Journal 1 Mathematical Social Sciences 1 Revista Matemática Iberoamericana 1 International Journal of Algebra and Computation 1 Communications in Statistics. Theory and Methods 1 RAIRO. Informatique Théorique et Applications 1 Computational Complexity 1 Statistical Papers 1 Journal of Mathematical Sciences (New York) 1 Mathematical Logic Quarterly (MLQ) 1 Journal of Combinatorial Designs 1 The Journal of Artificial Intelligence Research (JAIR) 1 Acta Mathematica Sinica. English Series 1 Journal of Discrete Algorithms 1 Sibirskie Èlektronnye Matematicheskie Izvestiya 1 Bulletin of the American Mathematical Society 1 RAIRO. Theoretical Informatics and Applications 1 Theory of Computing all top 5 Cited in 18 Fields 58 Mathematical logic and foundations (03-XX) 45 Computer science (68-XX) 13 Combinatorics (05-XX) 10 Order, lattices, ordered algebraic structures (06-XX) 4 Statistics (62-XX) 3 General algebraic systems (08-XX) 3 General topology (54-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 History and biography (01-XX) 2 Category theory; homological algebra (18-XX) 2 Convex and discrete geometry (52-XX) 1 General and overarching topics; collections (00-XX) 1 Real functions (26-XX) 1 Measure and integration (28-XX) 1 Operator theory (47-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Manifolds and cell complexes (57-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.