유니버설 대수학의 발전

  • 홍영희 (숙명여자대학교 수학과)
  • 발행 : 1999.06.01

초록

This paper deals with the development of universal algebras. We first investigate how the abstract algebra has emerged as a common generalization of arithmetic and algebra of logic, which was finalized by A. N. Whitehead in his "A treatise on universal algebra with applications." And we investigate also the process of formalizing universal algebras by G. Birkhoff. Birkhoff.

키워드

참고문헌

  1. Publ. Math. Debrecen v.6 On the definitions of direct product in universal algebra A. Adam
  2. Mathematical People A. Alxanderson
  3. Alg. Univ. v.4 On equationally compact extensions of algebras B. Banaschewski
  4. Hist. Math. v.7 Woodhouse, Peacock, and modern algebra H. W. Becher
  5. Proc. AMS v.6 On arithmetical classes not closed under direct union K. Bing
  6. Proc. Cambridge Phil. Soc. v.29 On the combination of subalgebras G. Birkhoff
  7. Proc. Cambridge Phil. Soc. v.31 On the structure of abstract algebra G. Birkhoff
  8. Bull. AMS v.50 Subdirect unions in universal algebra G. Birkhoff
  9. Proc. Canadian Math. Congress Universal algebra G. Birkhoff
  10. Lattice theory v.25 G. Birkhoff
  11. The Mathematical analysis of Logic G. Boole
  12. An Investigation of the Laws of thought G. Boole
  13. Lecture notes in Math. 1004, Universal algebra and lattice theory, Proceedings Boolean constructions S. Burris
  14. Alg. Univ. v.1 A note on the congruence extension property A. Day
  15. Proc. AMS v.18 A note on absolutely free algebras K. H. Diener;G. Gratzer
  16. Hist. Math. v.24 In memoriam bartel Leendert van der Waerden(1903-1996) Y. Dold-Samplonius
  17. Hist. Math. v.4 Babbage, Peocock and modern algebra J. M. Dubbey
  18. Magyar Tudomanyos Akad., Matematikai Kutato Intezetenek Kozlemenyei v.8 Free algebras over first order axiom systems G. Gratzer
  19. Duke Math. J. v.33 Equational classes of lattices G. Gratzer
  20. Universal algebra G. Gratzer
  21. Math. Nach. v.36 On the existence of free structures over universal classes G. Gratzer
  22. Proc. AMS v.14 The existence of free unions in classes of abstract algebras G. C. Hewitt
  23. Math. Scand. v.16 On the bases of free algebra T. K. Hu
  24. Math. Scand. v.21 Algebras whose congruence lattices are distributive B. Jonsson
  25. Math. Scand. v.9 On some results of Jonsson and Tarski concerning free algebras H. J. Keisler
  26. Ph. D. Thesis, McMaster University The lattice of varieties of distributive lattices K. B. Lee
  27. J. fur die reine und ange. Math. v.190 On the properties of freely generated algebras H. F. J. Lowig
  28. Proc. Cambridge Phil. Soc. v.53 On the eistence of freely generated algebras H. F. J. Lowig
  29. Studies in the History of Ideas v.3 Impossible numbers: A chapter in the history of modern logic E. Nagel
  30. Ph. D. Thesis, McMaster University The lattice of equational classes of commutative semigroups E. Nelson
  31. Math. Annalen v.114 Identical relations in groups Ⅰ B. H. Neumann
  32. Variety of Groups H. Neumann
  33. Hist. Math. v.12 W. R. Hamilton's view of algebra as the science of pure time and his revision of this view P. Ohrstrom
  34. Amer. J. Math. v.3 On the algebra of logic C. S. Peirce
  35. J. of Algebra v.11 Bases for equational theories of semigroups P. Perkins
  36. Alg. Univ. v.1 Iterated limits of universal algebras C. Platt
  37. Alg. Univ. v.1 On free algebras and algebraic decompositions of algebras from some quational classes defined by regular equations J. Plonka
  38. Hist. Math. v.9 Early criticism of the symbolical approach to algebra H. M. Pycior
  39. Hist. Math. v.11 Internalism, externalism, and beyond: 19th-century British algebra (Berkely and the late-eighteenth and early-nineteenth-century symbolical algebraists) H. M. Pycior
  40. J. of History of Ideas v.48 Mathematics Philosophy: Wallis, Hobes, Barrow and Berkeley H. M. Pycior
  41. Symbols, Impossible numbers, and Geometric entanglements H. M. Pycior
  42. Alg. Univ. v.1 Strong representation of congruence lattices R. Quackenbush;B. Wolk
  43. Vorlesungen uber die Algebra der Logik v.Ⅰ E. Schroder
  44. Alg. Univ. v.2 Completeness of calculi for axiomatically defined classes of algebras A. Selman
  45. Fund. Math. v.39 Products of abstract algebras R. Sikorski
  46. Rozaprawy Mate., Warszawa v.18 The theory of abstract algebras with infinitary operations J. Slominski
  47. Fund. Math. v.48 On the determining of the form of congruences in abstract algebras with equationally definable constant elements J. Slominski
  48. Proc. London Math. Soc. (3) v.14 Topologies in free algebras S. Swierczkowski
  49. Ann. of Math. (2) v.47 A remark on functionally free algebras A. Tarski
  50. Bull. AMS v.55 A note on the unique factorization of abstract algebras F. B. Thomson
  51. Modern Algebra B. L. van der Waerden
  52. Canadian J. of Math. v.21 Variety invariants for modular lattices R. Wille
  53. Hist. Math. v.9 Algebra and pure time: Hamilton's Affinity with Kant A. T. Winterbourne
  54. A treatise on universal algebra with applications v.1 A. N. Whitehead
  55. Historia Math. v.10 no.1 순서와 위상구조의 관계 홍성사;홍영희