Department of Mathematics
Directory
George McNulty
Title:  Professor 
Department:  Mathematics College of Arts and Sciences 
Email:  mcnulty@math.sc.edu 
Phone:  8037777469 
Office:  COL 1020 
Office Hours: 
M F 12:30p.m. to 2:00p.m. T Th 11:30a.m. to 12:30p.m. 
Resources: 
My Website Department of Mathematics 
Education
Graduate Education: University of California at Berkeley
Ph.D. June 1972 in Mathematics; Thesis Advisor: Alfred Tarski
Undergraduate Education: Harvey Mudd College, Claremont, California
B.S. June 1967 in Mathematics with Distinction and Departmental Honors
Experience
Permanent Positions
1986present  Professor  University of South Carolina 
19911994  Department Chair  University of South Carolina 
19791986  Associate Professor  University of South Carolina 
19751979  Assistant Professor  University of South Carolina 
Visiting Positions
19951996  Visiting Professor  University of Hawai`i, Honolulu, HI 
1994 (Summer)  Visiting Researcher  LaTrobe University, Bundoora, Australia 
1985 (Fall)  Visiting Professor  University of Colorado, Boulder, CO 
19821983  Visiting Fulbright Professor  University of The Philippines 
1982 (Spring)  Visiting Associate Professor  University of Hawai`i, Honolulu, HI 
1979 (Fall)  Visiting Associate Professor  University of California, La Jolla, CA 
1975 (Summer)  Visiting Research Mathematician  Technische Hochschule, Darmstadt,Germany 
Postdoctoral Positions
19731975  J. W. Young Research Instructor  Dartmouth College, Hanover, NH 
1973 (Summer)  Visiting Assistant Researcher  University of California,Berkeley 
19721973  NRC Postdoctorate Fellow  University of Manitoba, Winnipeg, Canada 
Awards
2013 Fellow of the American Mathematical Society
1998 Stanislaw Ulam Lectureship, University of Colorado, Boulder
1994 Hour Invited Address, American Mathematical Society, Lexington, KY
1983 Alexander von Humboldt Research Fellowship, Darmstadt, Germany
19821983 FulbrightHays Professorship, Manila, Philippines
196769, 7172 National Science Foundation Graduate Fellowship, UC Berkeley
196768 Honorary Woodrow Wilson Graduate Fellowship, UC Berkeley
Courses Taught
I have taught almost all of the undergraduate mathematics courses as well as many of the graduate course, particularly those is algebra and mathematical logic. For Fall 2019 I am teaching two sections of MATH 141 to students in the South Carolina Honors College.
Research
Most of my research lies at the confluence of algebra, mathematical logic, discrete mathematics, and computer science. I also have some papers lying outside this confluence including five in psychological journals that results from two decades of collaboration with psychologists working at the Medical School and the state mental hospitals.
Selected Publications
 (With R. McKenzie and W. Taylor),
Algebras, Lattices, Varieties, Volume I
Wadsworth & Brooks/Cole, Monterey, CA,
1987, 361 + xii,
AMS Chelsea Edition, American Mathematical Society,
Providence, RI, 2018, pp. 367+xiii
R. Freese has joined as a collaborator for volumes II and III, which should appear shortly.  Decision problems for equational bases of algebras,
Annals of Mathematical Logic,vol 11 (1976) 193259. 
(With Dwight Bean and Andrzej Ehrenfeucht)Avoidable patterns in strings of symbols,Pacific Journal of Mathematics, vol. 84 (1979) 261294.

(With Kirby and Baker and Heinrich Werner)Shift automorphism methods for inherently nonfinitely based varieties of algebras,Czechoslovak Journal Mathematics, vol. 39 (1989) 5369.
 (With R. Freese and J.B.~Nation)
Inherently nonfinitely based lattices,
Annals of Pure and Applied Logic. vol. 115} (2002) 177195.  (With Kirby Baker and Ju Wang)
An extension of Willard's Finite Basis Theorem: Congruencemeetsemidistributive varieties of finite critical depthAlgebra Universalis. vol. 52 (2004) 289302.
 (With Ralph Howard and Virginia Johnson)
A characterization of real closed fields that are Archimedean by way of Cauchy's functional equation,
American Mathematical Monthly vol. 125 (2018) 169172.  The computational complexity of deciding whethera finite algebra generates a minimal
variety.
In''Don Pigozzi on Abstract Algebraic Logic, Universal Algebra and Computer Science.'' In volume 16 of the SpringerVerlag series ``Outstanding contributions to logic'', Janusz Celakowski editor, (2018) 233256.

(with Ross Willard)Congruence meetsemidistributive locally finite varieties and a finite basis theorem,
Algebra Universalis, vol. 79 (2018), no. 2, Art. 44, 20 pp.