05.08.2013 Views

Survey 1979: Equational Logic - Department of Mathematics ...

Survey 1979: Equational Logic - Department of Mathematics ...

Survey 1979: Equational Logic - Department of Mathematics ...

SHOW MORE
SHOW LESS

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.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!