Survey 1979: Equational Logic - Department of Mathematics ...
Survey 1979: Equational Logic - Department of Mathematics ...
Survey 1979: Equational Logic - Department of Mathematics ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
58<br />
131. , Monadic generalized spectra, Z. Math. Logik Grundlagen Math., 21(1975),<br />
89-96. {14.1}<br />
132. Fajtlowicz, S., n-Dimensional dice, Rend. Mat. (6), 4(1971), 1-11. { 14.3 }<br />
133. , Categoricity in varieties, Abstract 72T-A109, Notices Amer. Math. Soc., 19(1973),<br />
A-435. {14.2)<br />
134. , On algebraic operations in binary algebras, Colloq. Math., 21(1970), 23-26. (14.5}<br />
135. , <strong>Equational</strong>ly complete semigroups with involution, Algebra Universalis, 1(1972),<br />
355-358.{8)<br />
136. Fajtlowicz, S., and J. Mycielski, On convex linear forms, Algebra Universalis, 4(1974),<br />
244-249. { 8.9,9)<br />
137. Fennemore, C.,All varieties <strong>of</strong> bands, Semigroup Forum, 1(1970), 172-179.{ 9.4,10,13.6)<br />
138. Fisher, E. R., Abstract 742-08-4, Notices Amer. Math. Soc., 24(1977), A-44. {3)<br />
139. Forrest, Williams K., Model theory for universal classes with the AP.' a study in the foundations<br />
<strong>of</strong> model theory and algebra, Ann. Math. <strong>Logic</strong>, 11(1977), 263-366. {14.6,17.1 )<br />
Fried, E., G. Gritzer and R. W. Quackenbush, Uniform Congruence Schemes, Algebra<br />
Universalis, to appear.{14.7 )<br />
141. Friedman, H., On decidability <strong>of</strong>equational theories, J. Pure Appl. Alg., 7(1976), 1-3. {12]<br />
142. , The complexity <strong>of</strong> explicit definitions, Advances in Math., 20(1976), 18-29. {5,7)<br />
143. Freyd, P., AbelJan categories, Harper and Row, New York, 1964. { 2,3,14.9)<br />
144. Froemke, J., and R. W. Quackenbush, The spectrum <strong>of</strong> an equational class <strong>of</strong>groupoids, Pacific<br />
J. Math., 58(1975), 381-386. {14.1}<br />
145. Fujiwara, T., On the construction <strong>of</strong> the least universal Horn class containing a given class,<br />
Osaka Math. J., 8(1971), 425-436. {3}<br />
146. Gaifman, H.,Infinite Boolean Polynomials L Fund. Math., 54(1964), 229-250. {14.5 )<br />
147. Ganter, B., Conbinatorial designs and algebras, Ms., Darmstadt, 1976. { 17.4)<br />
148.*Ganter, B., and H. Werner, <strong>Equational</strong> classes <strong>of</strong> Steiner systems, Algebra Universalis, 5(1975),<br />
125-140. {12,17.4 }<br />
149. , <strong>Equational</strong> classes <strong>of</strong> Steiner systems II, (Conference on the algebraic aspects <strong>of</strong><br />
combinatorics, Toronto, 1975), 283-285 in Congressus Numerantium 13, Utilitas Math.,<br />
Winnipeg, 1975. (Eds. D. Corneil and E. Mendelsohn) { 17.4 )<br />
150.*Garcik, O. D., In/ectivity in categories <strong>of</strong> groups and algebras, An. Inst. Mat. Univ. Nac.<br />
Autonoma Mxico, 14(1974), 95-115. {14.9 )<br />
151. Gautam, N. D., The validity <strong>of</strong> equations <strong>of</strong> complex algebras, Archiv. Math. Logik<br />
Grundlagenforschung, 3(1957), 117-124. {3)<br />
152. Gerhard, J. A., The lattice <strong>of</strong> equational classes <strong>of</strong> idempotent semigroups, J. Algebra,<br />
15(1970), 195-224. {9.4,10,13.6 )<br />
153. , Subdirectly irreducible idempotent semigroups, Pacific J. Math., 39(1971),<br />
669-676. { 8 )<br />
154. __, Injectives in equational classes <strong>of</strong> idempotent semigroups, Semigroup Forum,<br />
9(1974), 36-53. {14.9)<br />
155. Girl, R. D., On a varietal structure <strong>of</strong> algebras, Trans. Amer. Math. Soc., 213(1975), 53-60. {3)<br />
156. Givant, S., Universal classes categorical or free in power, Ph.D. Thesis, Berkeley, 1975. { 14.3)<br />
157. , Possible cardinalities <strong>of</strong> irredundant bases for closure systems, Discrete Math.,<br />
12(1975), 201-204. {11)<br />
158. Glennie, C. M.,lde. ntities in Jordan algebras, 307-313 in [257]. (5,12)<br />
159. Goodstein, R. L., Function theory in an axiom free equation calculus, Proc. London Math.<br />
Soc., (2), 48(1943), 401-434. { 17.5 )<br />
160. Gould, M., An equational spectrum giving cardinalities <strong>of</strong> endomorphism mortolds, Canad.<br />
140.