81. AMCA: On The Proper Automorphisms Of Universal Algebras By Alexander Pinus G 1 of the group G and for any subgroup G 2 of the group G such that G 2 is subset of the intersection of G 1 and Z(G) there exists an universal algebra A and http://at.yorku.ca/c/a/k/e/17.htm

AMCA Document # cake-17 65th Workshop on General Algebra, 18th Conference for Young Algebraists March 2123, 2003 University of Potsdam Potsdam, Germany Organizers Klaus Denecke, Jörg Koppitz View Abstracts Conference Homepage On the proper automorphisms of universal algebras by Alexander Pinus Novosibirsk State Technical University We consider automorphisms of universal algebras which are defined using the universal algerba itself. We say that an automorphism j of algerba A is termal (conditionally termal, elementary conditionally termal) if there exists a term (conditional term, elementary conditional term) t(x) of algebra A such that j (a)=t(a) for any element a from A . We say that an automorphism j of algebra A is polynomial (conditionally polynomial, elementary conditionally polynomial) if there exist a term (conditional term, elementary conditional term) t(x, y , ... , y n ) and elements b , ... , b n from A so that j (a)=t(a, b , ... , b n ) for any element a from A . The automorphism j of algebra A is purely proper (purely conditionally proper, purely elementary conditionally proper, proper, conditionally proper, elementary conditionally proper) if j is represented as product of a purely termal (purely conditionally termal, purely elementary conditionally termal, termal, conditionally termal, elementary conditionally termal) automorphisms of algebra

82. Combining Algebra And Universal Algebra In First-Order Theorem Proving Combining Algebra and universal algebra in FirstOrder Theorem Proving The Case of Commutative Rings. Leo Bachmair, Harald Ganzinger and Jürgen Stuber (1995). http://www.loria.fr/~stuber/publications/COMPASS94.html

Coordinates Publications Software Research interests ... Other interests Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative Rings Egidio Astesiano, Gianna Reggio and Andrzej Tarlecki (eds), Recent Trends in Data Types Specification, 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, Santa Margherita Ligure, Italy, 1994. Selected papers. LNCS 906, Springer Verlag. Abstract We present a general approach for integrating certain mathematical structures in first-order equational theorem provers. More specifically, we consider theorem proving problems specified by sets of first-order clauses that contain the axioms of a commutative ring with a unit element. Associative-commutative superposition forms the deductive core of our method, while a convergent rewrite system for commutative rings provides a starting point for more specialized inferences tailored to the given class of formulas. We adopt ideas from the Gröbner basis method to show that many inferences of the superposition calculus are redundant. This result is obtained by the judicious application of the simplification techniques afforded by convergent rewriting and by a process called symmetrization that embeds inferences between single clauses and ring axioms. Bibtex DVI Postscript Jürgen Stuber http://www.loria.fr/~stuber/publications/COMPASS94.html

83. Atlas: Universal Algebra And Lattice Theory (Dedicated To The 70th Birthday Of B universal algebra and Lattice Theory (Dedicated to the 70th birthday of B. Csakany) July 2226, 2002 University of Szeged Szeged, Hungary. http://atlas-conferences.com/c/a/i/v/01.htm

Atlas home Conferences Abstracts about Atlas Universal Algebra and Lattice Theory (Dedicated to the 70th birthday of B. Csakany) July 2226, 2002 University of Szeged Szeged, Hungary Organizers Agnes Szendrei, Laszlo Szabo, Miklos Dorman Conference Homepage View Abstracts This is an archive of abstracts accepted to this conference. For more listing and sorting options, see the active list. Erhard Aichinger 2-affine complete algebras need not be affine complete. Daciana Alina Alb Tensor products of compact rings Joel Berman Bela Lettres Janis Cirulis The lattice of projection operators of a subtractibe nearsemilattice Sinisa Crvenkovic On the Berman Conjecture for Finite Semigroups Gabor Czedli Optimal Mal'tsev conditions for modular congruence lattice identities Patrick Dehornoy The geometry monoid of an identity Dejan Delic Endomorphism Monoid of the Random Graph Guenther Eigenthaler Congruence regularity and its generalizations Stephan Földes On equational classes of Boolean functions Kazimierz Glazek Independence notions from a general algebraic point of view Martin Goldstern Intervals in clone lattices on infinite sets Miroslav Haviar Standard topological quasi-varieties - examples and problems Csaba Henk Representation Theory of Cylindric Lattices Eszter K. Horváth

84. Atlas: Weak Congruences In Universal Algebra By Andreja Tepavcevic Weak Congruences in universal algebra by Andreja Tepavcevic Institute of Mathematics, University of Novi Sad, Yugoslavia Coauthors Branimir Seselja. http://atlas-conferences.com/c/a/j/l/04.htm

Atlas Document # cajl-04 International Conference on Modern Algebra in conjunction with the 17th annual Shanks Lectures May 2124, 2002 Vanderbilt University Nashville, TN, USA Organizers Jonathan Farley, Ralph Freese, Matthew Gould, Peter Jipsen, George McNulty, Miklos Maroti, Alexander Ol'shanskii, Steven Tschantz, Constantine Tsinakis, Matthew Valeriote View Abstracts Conference Homepage Weak Congruences in Universal Algebra by Andreja Tepavcevic Institute of Mathematics, University of Novi Sad, Yugoslavia Coauthors : Branimir Seselja A book "Weak Congruences in Universal Algebra" by B. Seselja and A. Tepavcevic, Institute of Mathematics, Symbol, Novi Sad, published in December 2001, will be presented. The book contains most of the results concerning weak congruences (symmetric, transitive and compatible relations on an algebra) from the appearance of the first papers on the topic fifteen years ago. New results about some identities valid on a weak congruence lattice will be given. Open problems will be discussed, like abstract representation problem of lattices by weak congruences and a problem on the Congruence Intersection Property (CIP). In structural investigations of algebras and varieties, the best known ordered structures are lattices of subalgebras and those of congruences. These two lattices are usually studied separately, since they consist of different kinds of object connected with an algebra: subsets of the universe and subsets of its square. Weak congruences appear to be a tool for common investigations of both, congruences and subalgebras of the same algebra. Being symmetric and transitive subalgebras of the square, these relations can be understood as congruences on all subalgebras, among which diagonal relations represent subalgebras themselves. Thus, the collection

85. A COURSE IN UNIVERSAL ALGEBRA(qiji.cn/eprint/abs/757): ÕªÒª A COURSE IN universal algebra, html. A COURSE IN universal algebra. STANLEY BURRIS AND HP.SANKAPPANAVAR http://www.qiji.cn/eprint/abs/757.html

Êýѧ: ´úÊý: A COURSE IN UNIVERSAL ALGEBRA English preprint ID£º URL£º qiji.cn/eprint/abs/757.html A COURSE IN UNIVERSAL ALGEBRA STANLEY BURRIS AND H.P.SANKAPPANAVAR ΪʩÆÕÁÖ¸ñ³ö°æµÄGTMϵÁдÓÊéÖ®Ò»£¬×÷Ϊ·º´úÊýµÄÒ»±¾Èëà ÐÔ´ÓÊé PDF¸ñʽÏÂÔØ Ææ¼£ÎÄ¿â°æȨ£¨Creative Commons Attribution License£© Contact: ianwest@sina.com, ¸üÐÂÈÕÆÚ: 2004-05-31 ÖÜÒ»

86. Universal Algebra And Multiple-Valued Logic / Algèbre Universelle Et Logique Mu research, students, women, links, other links, other societies, universal algebra and MultipleValued Logic / Algèbre universelle et logique multi-valuée. http://camel.math.ca/CMS/Events/winter98/w98-abs/node190.html

home about the CMS media releases search ... other societies Next: Clifford Bergman - Complexity Up: Abstracts/Résumés Previous: Xingru Zhang - On L. Haddad, Organizer Clifford Bergman - Complexity of some problems in universal algebra Jie Fang - Ockham algebras with pseudocomplementation ... comments? search for?

87. Algebraic Logic And Universal Algebra In Computer Science. Conference, Ames, Iow Algebraic Logic and universal algebra in Computer Science. Conference Internetbutiker. Algebraic Logic and universal algebra in Computer Science. http://www.bokpris.com/3540972889

Om oss Logga in Hjälp Jämförelsekorgen: inga böcker Sök: Titel Författare ISBN Algebraic Logic and Universal Algebra in Computer Science. Conference, Ames, Iowa, Usa, June 1-4, 1988. Proceedings ISBN: Jämförelsekorgen Jämför priser på flera böcker samtidigt. Du har inga böcker in din jämförelsekorg. Butik Leveranstid Frakt Pris Totalpris 3-5 arbetsdagar 64.00 kr 392.38 kr 456.38 kr 4-6 vardagar 58.00 kr 392.38 kr 450.38 kr 10-14 dagar 66.00 kr 392.38 kr 458.38 kr 35.00 kr 426.72 kr 461.72 kr replace_search('searching', searching_done); Hjälp och support Topplistor Rapportera fel Länka till oss ... Glömt lösenordet?

88. UMSNH - BIBLIOTECA DE LA ESCUELA DE CIENCIAS FISICO MATEMATICAS Translate this page A Course in universal algebra. TITULO A Course in universal algebra. TEMA Algebra Moderna. AUTOR(ES) Burris, Stanley. Sankappanavar, HP. FECHA EDICION 1978. http://www.fismat.umich.mx/biblioteca/aplicaciones/muestra.php?id=1770

89. SECOND ANNOUNCEMENT Of The Conference On UNIVERSAL ALGEBRA AND SUMMER SCHOOL ON GENERAL ALGEBRA AND ORDERED SETS 2002. Second announcement. prof. Béla Csákany (University of Szeged, Hungary) Minimal clones. prof. http://kma.pdf.umb.sk/Summerschool2002/Second-announcement.asp

90. Universal Algebra In Type Theory universal algebra in Type Theory. Source, Lecture Notes In Computer Science archive Proceedings of the 12th International Conference http://portal.acm.org/citation.cfm?id=694878&dl=GUIDE&coll=GUIDE&CFID=11111111&C

91. [math/0111009] Notes On Universal Algebra Fri, 7 Dec 2001 002300 GMT (43kb) Notes on universal algebra. Authors Alexander A. Voronov (University of Minnesota) Comments 22 http://arxiv.org/abs/math/0111009

Mathematics, abstract math.QA/0111009 From: Alexander A. Voronov [ view email ] Date ( ): Thu, 1 Nov 2001 18:25:59 GMT (42kb) Date (revised v2): Fri, 7 Dec 2001 00:23:00 GMT (43kb) Notes on universal algebra Authors: Alexander A. Voronov (University of Minnesota) Comments: 22 pages, 10 figures; In the revised version, a few minor errors are corrected, including some signs for the A_infty operad and algebras Subj-class: Quantum Algebra; Algebraic Topology; Geometric Topology MSC-class: 18D50 (primary), 14H10, 53D55, 55P48, 58D15 (secondary) These are notes of a mini-course given at Dennisfest in June 2001. The goal of these notes is to give a self-contained survey of deformation quantization, operad theory, and graph homology. Some new results related to "String Topology" and cacti are announced in Section 2.7. Full-text: PostScript PDF , or Other formats References and citations for this submission: CiteBase (autonomous citation navigation and analysis) Which authors of this paper are endorsers? Links to: arXiv math find abs

92. [math/0101059] On Some Universal Algebras Associated To The Category Of Lie Bial 4518 GMT (15kb) On some universal algebras associated to the category of Lie bialgebras. Author B. Enriquez Comments expanded http://arxiv.org/abs/math.QA/0101059

Mathematics, abstract math.QA/0101059 From: [ view email ] (Benjamin Enriquez) Date ( ): Mon, 8 Jan 2001 13:26:34 GMT (11kb) Date (revised v2): Sun, 28 Jan 2001 17:45:18 GMT (15kb) On some universal algebras associated to the category of Lie bialgebras Author: B. Enriquez Comments: expanded version, containing related results Subj-class: Quantum Algebra In our previous work ( math/0008128 Full-text: PostScript PDF , or Other formats References and citations for this submission: CiteBase (autonomous citation navigation and analysis) Which authors of this paper are endorsers? Links to: arXiv math find abs

93. Boolean Constructions In Universal Algebras (Mathematics And Its Applications, V Buy Boolean Constructions in universal algebras (Mathematics and Its Applications, Vol 242) by AG Pinus (Hardcover January 1993) from home at our online store http://www.mathbook.com/b/Boolean_Algebra/Boolean_Constructions_in_Universal_Alg

For Age: 4 years and up LeapPad by LeapFrog At Amazon on 4-15-2003. More Info This talking book comes with an interactive ''magic pen'' that works like a hand-held computer mouse pointer. Children can opt to turn the paper pages and listen to the story read with different voices for each character. Or they can interrupt the read-aloud session to play with the magic pen (permanently attached with a wire). They can point the pen tip to any word on a page and hear it pronounced, or touch a picture and hear a sound effect (such as ''Strike one!'' for the baseball bat). Very similar to the popular Living Books computer games, this 10-by-11-inch book is more portable than a home computer. Stories in this set include Lil's Loose Tooth, Richard Scarry's Best Word Book Ever, and Winnie the Pooh in A Sweet Good Morning. The set also includes a paper piano keyboard and map and human anatomy games. Gail Hudson Batteries: 4 AA batteries required. Barron's Math Workbook for the Sat I (Barron's Math Workbook for the Sat I, 2nd Ed) Visit Our Sites: Buy Law Books Top Quality Wrist Watches

94. PostScript Files For "An Invitation To General Algebra ..." An Invitation to General algebra and universal Constructions. George M Chapter 3, A Cook's tour of other universal constructions. Chapter 4, Ordered sets, induction, and the Axiom of http://math.berkeley.edu/~gbergman/245

An Invitation to General Algebra and Universal Constructions George M. Bergman pub. Henry Helson, 15 the Crescent, Berkeley CA, 94708 1998, 398 pp., $45, ISBN 0-9655211-4-1. (An earlier edition appeared as Berkeley Mathematics Lecture Notes, #7.) Berkeley comments: Copies may be purchased at $5 discount from Helson's or my office. There are also two copies in the library, 100 Evans Hall, call number QA251 .B47 1998. Note on the PostScript files below: When a chapter begins on an even-numbered page, the file below begins with a blank page, for convenience in 2-sided printing. So if you display a file and see a blank page, just page forward to see the text. Contents ; Chapter 0, About the course, and these notes; Chapter 1, Making some things precise. Chapter 2, Free groups Chapter 3, A Cook's tour of other universal constructions ... Errata

95. Introduction To Translation Of Grassmann's Ausdehnungslehre Explains the published paper called Ausdehnungslehre, which translates to Theory of Extension . The purpose is to create a universal type of geometric calculus. This development is used in linear and nonlinear algebra, today. http://www.maths.utas.edu.au/People/dfs/Papers/GrassmannTranslation/node3.html

NEXT PAGE CONTENTS PREVIOUS PAGE Introduction Hermann Grassmann's 1862 Ausdehnungslehre (literally, ``Theory of Extension'') is one of the great mathematical works of the nineteenth century. In it the foundations of linear and multilinear algebra are laid and much of the superstructure too is constructed. It is regrettable that such a book on such a subject should, from the moment of publication, have been not much read. Indeed, Grassmann's reputation for impenetrability has persisted to this day. Yet one may suspect that a writer who is, in many respects, a century ahead of his time will be somewhat more readable when that century has elapsed than he was to his contemporaries. It is my hope that this translation and commentary will make it easy for today's mathematically educated reader to appreciate Grassmann's presentation of the theory of basis and dimension - it does not differ much from the initial chapter of a modern linear algebra text. The work called simply Die Ausdehnungslehre , though its title page bears the date 1862, actually appeared in the latter half of 1861. It was Grassmann's second attempt to present his theory and was totally different in conception from

Page 5     81-95 of 95    Back | 1  | 2  | 3  | 4  | 5