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

More documents

Recommendations

Info

Soc., 23(1976), A-93. {16.7) 379. Rosenbloom, P. C., Post algebras I. Postulates and general theory, Amer. J. Math., 64(1942), 167-188.{9.11} 380. Saade, M., A comment on a paper by Evans, Z. Math. Logik Grundlagen Math., 15(1969), 97-100. 381. Sabbagh, G., Caractrisation algbriq. ue des groupes de type fini ayant un problme de mots rsoluble, Lecture Notes in Math., 514(1976), 53-80. {17.1 } 382. Sankappanavar, H. P., A study of congruence lattices of pseudocomplemented semilattices, Ph.D. Thesis, Waterloo, Ontario, 1974. {14.8} 383. Sauer, N., and M. Stone, The algebraic closure of a semigroup of functions, Algebra Universalis, 7(1977), 219-233. {17.2} 384. Schmidt, G., and T. Strohlein, Seminar ber Baxter-Algebren, Bericht 7315, Abteilung Math. der T. U. Minchen, 1973. {6} 385. Schreier, O., Abstrakte kontinuierliche Gruppen, Abhand. Math. Sem., Hamburg, 4(1926), 15-32. 386.*Schupp, P. E., Varieties and algebraically closed algebras, Algebra Universalis, to appear. {14.6,17.1} 387. Schtitzenberger, M.P., Sur certains axiomes de la thorie des structures, C. R. Acad. Sci., Paris, 221(1945), 218-220. 388. Schwabauer, R., Commutative semigroup laws, Proc. Amer. Math. Soc., 22(1969), 591-595. {13.5} 389. Scrimger, F. B., A large class of small varieties of lattice ordered groups, Proc. Amer. Math. Soc., 51(1975), 301-306. {13.10} 390. Scott, D., Equationally complete extensions of finite algebras, Ned. Akad. Wetensch. (Ser.A), 59(1956), 35-38. {13.2} 391. Scott, W. R.,Algebraically closed groups, Proc. Amer. Math. Soc., 2(1951), 118-121. 392. Sekaninovfi, A., On algebras having at most two algebraic operations depending on n variables, asopis pro pst ovani' mat ematiky, 98( 1973), 113-121. {14.5} 393. Selman, A., Calculi for axiomatically defined classes of algebras, Algebra Universalis, 2(1972), 20-32. {5} 394. Shahat, A., On implicationally defined classes of algebras, J. London Math. Soc., 44(1969), 137-140. {3} 395. , On varieties closed under the construction of power algebras, Bull. Austral. Math. Soc., 11(1974), 213-218. {3} 396. Shelah, S., Every two elementarily equivalent models have isomorphic ultrapowers, Israel J. Math., 10(1971), 224-234. {3} 397. , A compactness theorem for singular cardinals, free algebras, Whitehead problems and transversals, Israel J. Math., 21(1975), 319-349. {2} 398. Sichler, J., Testing categories and strong universality, Canad. J. Math., 25(1973), 370-385. {14.9} 399.*Simmons, H., Existentially closed structures, J. Symbolic Logic, 37(1972), 293-310. { 14.6} 400. , The use of injectire-like structures in model theory, Compos. Math., 28(1974), 113-142. 401. Sioson, F. M., Equational bases of Boolean algebras, J. Symbolic Logic, 29(1964), 115-124. {10.5} 402. Stomirski, J., The theory of abstract algebras with infinitary operations, Rozprawy Mat., 18(1959). {3,5) 403. Smith, D. D., Non-recursiveness of the set of finite sets of equations whose theories are one-based, Notre Dame J. Formal Logic, 13(1972), 135-138. {12.5 } 67
68 404. Solovay, R. M., New proof of a theorem of Gaifman and Hales, Bull. Amer. Math. Soc., 72(1966), 282-284. { 14.5) 405. Stralka, A. R., The CEP for compact topological lattices, Pacific J. Math., 38(1971), 795-802. { 14.7 } 406. Stromquist, W., Solution to Elementary Problem #2411, Amer. Math. Monthly, 81(1974), 410. {6) 407. Svierczkowski, S., Topologies in free algebras, Proc. London Math. Soc. (3), 14(1964), 566-576. {16 ) 408. Tarski, A., A remark on functionally free algebras, Ann. Math. (2), 47(1946), 163-165. { 8,8.3) 409. , Arithmetic classes and types of Boolean algebras, Bull. Amer. Math. Soc., 55(1949), 63-64. { 12) 410 .... [Abstracts], J. Symbolic Logic, 18(1953), 188-189. {12 ) 411.* , Contributions to the theory of models I, H, III, Indag. Math., 16(1954), 572-581 and 582-588, and 17(1955), 56-64. {3) 412. __, Equationally complete rings and relation algebras, Indag. Math., 18(1956), 39-46. {13 ) 413.** , Equational logic and equational theories of algebras, 275-288 in: H. A. Schmidt, K. Schitte and H. J. Thiele, eds., Contributions to Mathematical Logic, North-Holland, Amsterdam, 1968. { Introduction, 9.25,10.3,10.4,10.10,11) 414. , An interpolation theorem for irredundant bases of closure systems, Discrete Math., 12(1975), 185-192. {5,11) 415.--, Set theory without variables, (to appear as a volume of Symposia in Pure Mathematics, American Math. Society). {6) 416. Tarski, A., with A. Mostowski and R. Robinson, Undeeidable theories, North-Holland, Amsterdam, 1953. {12 ) 417. Taylor, M. A., R- and T-groupoids.' a generalization of groups, Aequat. Math., 12(1975), 242-248. { 3} 418. Taylor, W., Some constructions of compact algebras, Ann. Math. Logic, 3(1971), 395-435. { 14.8,14.9} 419.* , Residually small varieties, Algebra Universalis, 2(1972), 33-53. { 14.8} 420.* , Characterizing Ma!ev conditions, Algebra Universalis, 3(1973), 351-397.{ 7,9.14,14.1,15,16.6,17.8} 421. , Uniformity of congruences, Algebra Universalis, 4( 1974), 342-360. 422. , 770. {6 } Problem 225, Canad. Math. Bull., 17(1974/75), 151. Solution (P.Olin, et al.), tTid, 423.* , Review of seventeen papers on equational compactness, J. Symbolic Logic, 40(1975), 88-92. {14.8 } 424.* , The fine spectrum of a variety, Algebra Universalis, 5(1975), 263-303.{ 9.14,14.2,14.3,14.5,14.10,16.6 } 425. . , Pure compactifications in quasi-primal varieties, Canad. J. Math., 28(1976), 50-62. { 14.8 } 426. , Baker's finite basis theorem, Algebra Universalis, 8(1978), 191-196. {9.11 } 427. , Review of W. D. Neumann [333], MR51, (1976), #7998. { 7 } 428. Varieties of topological algebras, J. Austral. Math. Soc., 23(A)(1977), 207-241. i3,15} 429. . Varieties obeying homotopy laws, Canad. J. Math., 29(1977), 498-527. i14.1,16.4,16 } 430. Trahtman, A. N., Covering elements in the lattice of varieties of algebras, Math. Notes,
Page 1 and 2:
HOUSTON JOURNAL OF MATHEMATICS Surv
Page 3 and 4:
EQUATIONAL LOGIC Walter Taylor This
Page 5 and 6:
EQUATIONAL LOGIC CONTENTS 1. Early
Page 7 and 8:
2 EQUATIONAL LOGIC 2. The existence
Page 9 and 10:
4 EQUATIONAL LOGIC A are taken as v
Page 11 and 12:
6 EQUATIONAL LOGIC is closed under
Page 13 and 14:
8 EQUATIONAL LOGIC model theory, an
Page 15 and 16:
10 EQUATIONAL LOGIC completeness th
Page 17 and 18:
12 EQUATIONAL LOGIC algebras do not
Page 19 and 20:
14 EQUATIONAL LOGIC groups with a s
Page 21 and 22: 16 EQUATIONAL LOGIC (Martin [286, p
Page 23 and 24: 18 EQUATIONAL LOGIC algebras A with
Page 25 and 26: 20 EQUATIONAL LOGIC 9.18. Some vari
Page 27 and 28: 22 EQUATIONAL LOGIC some algebras o
Page 29 and 30: 24 EQUATIONAL LOGIC is an interval
Page 31 and 32: 26 EQUATIONAL LOGIC The second meth
Page 33 and 34: 28 EQUATIONAL LOGIC for arbitrary f
Page 35 and 36: 30 EQUATIONAL LOGIC The theory Z 1
Page 37 and 38: 32 EQUATIONAL LOGIC conversely, eve
Page 39 and 40: 34 EQUATIONAL LOGIC x=y Boolean alc
Page 41 and 42: 36 EQUATIONAL LOGIC dual covers: on
Page 43 and 44: 38 EQUATIONAL LOGIC (Some prelimina
Page 45 and 46: 40 EQUATIONAL LOGIC semilattices (c
Page 47 and 48: 42 EQUATIONAL LOGIC a congruence on
Page 49 and 50: 44 EQUATIONAL LOGIC compactificatio
Page 51 and 52: 46 EQUATIONAL LOGIC precise definit
Page 53 and 54: 48 EQUATIONAL LOGIC 16. Connections
Page 55 and 56: 50 EQUATIONAL LOGIC 17.3. See e.g.
Page 58 and 59: REFERENCES This is not really a com
Page 60 and 61: 52.* __ , Current trends in algebra
Page 62 and 63: Universalis, 2(1972), 317-323. { 12
Page 64 and 65: Math. Bull., 18(1975), 427-429. 161
Page 66 and 67: 216. Jones, G. T., Pseudocomplement
Page 68 and 69: 274. 275. 276. 277. Ferrara (7), 14
Page 70 and 71: 324. The lattice of equational clas
Page 74: 15(1974), 174-177. (13} 431.*Trakht
Page 77 and 78: 72 , Certain algorithmic problems f
Page 79 and 80: 74 161-171. Fajtlowicz, S. and E. M
Page 81 and 82: 76 Goetz, A. and C. Ryll-Nardzewski
Page 83 and 84: 78 sets and general algebra, Acta.
Page 85 and 86: 8O Newman, M. H. A., A characteriza
Page 87 and 88: 82 __, Trellis theory, Memoirs Amer
Page 89: The Department of Mathematics and t
show all

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

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?