21. Prof. Kaiser University of Houston Mathematical logic, universal algebra, lattice theory and logic programming. http://math.uh.edu/~klaus/

Klaus Kaiser Professor of Mathematics, University of Houston Office: 607 PGH Office Phone: (713)-743-3462 Office Hours for Spring , 2003 : TTH 11-12 and after class I came to the University of Houston in 1969 with a degree from the University of Bonn. My main research interests are in Mathematical Logic, Universal Algebra, Lattice Theory and Logic Programming. Some of my papers, e.g., on quasi-universal and projective model classes are with Manfred Armbrust who retired from the University of Cologne. A paper on non-standard lattice theory is with two of my former Ph.D. students Mai Gehrke and Matt Insall . We had this paper dedicated to Abraham Robinson. Since June 1996, I am the Managing Editor of the Houston Journal of Mathematics. . I got quite interested in problems concerning journal publishing and presented August 2002 at Tsinghua University, Beijing, a paper The Web: Challenge and Opportunity for an Independent Journal . This article will be published in Springers Lecture Notes on Computer Science. A footnote in model theory: I proved 1966 that the variety of all algebras of a fixed type admits a model completion. Like in the case of fields, the models of the inductive hull (now called Kaiser hull) ) are algebraically closed. But what about the models of the projective hull? Robinson mentioned 1971 that probably a whole new logic might be needed for characterizing those algebras. And indeed, the axioms of the projective hull are exactly what is now referred to as Clark's Equational Theory (1978) which is central for Prolog. But interestingly enough, Mal'cev knew these axioms already (1962) as the axioms for locally absolutely free algebras. He also noticed completeness of these axioms, a fact that was rediscovered by Kunen about 25 years later.

22. Szeged Conference Conference on. universal algebra and Lattice Theory. S. Burris (Waterloo, Canada)Computers and universal algebra; C. Herrmann (Darmstadt, Germany) http://www.math.u-szeged.hu/confer/algebra/1996/algebra.htm

Conference on Universal Algebra and Lattice Theory Szeged, Hungary, July 1519, 1996 A satellite conference of the 2nd European Congress of Mathematics (Budapest, July 2127, 1996) Organized jointly with the Szeged Committee of the Hungarian Academy of Sciences Supported by Catching up with European Higher Education Fund European Mathematical Society National Committee for Technical Development Hungarian National Foundation for Scientific Research Foundation for Szeged The conference will start on July 15 (Monday) in the morning, and will conclude on July 19 (Friday) early afternoon. The participants are expected to arrive on July 14. The lectures will take place in the building of the Szeged Committee of the Hungarian Academy of Sciences which is located in the center of Szeged, near the mathematics building of the university. Scientific programme. There will be one-hour plenary invited lectures on current research in universal algebra and lattice theory, as well as in other fields of mathematics that are related to these topics, 20-minute contributed talks in parallel sections, and

23. Universal Algebra And Lattice Theory Dedicated to the 70th Birthday of B©la Cs¡k¡ny. Szeged, Hungary; 2226 July 2002. http://www.math.u-szeged.hu/confer/algebra/2002/

Conference on UNIVERSAL ALGEBRA AND LATTICE THEORY Szeged, July 2226, 2002 Sponsors: Foundation for Szeged Hungarian Academy of Sciences Hungarian National Foundation for Scientific Research Ministry of Education Regional Committee of the Hungarian Academy of Sciences in Szeged email: algebra@server.math.u-szeged.hu ORGANIZERS INVITED SPEAKERS PROGRAM COMMITTEE ... Other conferences in general algebra and related fields Mathematical conference databases: Mathematics Calendar of the AMS Atlas Mathematical Conference Abstracts Past conferences and workshops organized by algebraists from the Bolyai Institute University of Szeged Last modified August 1, 2002

24. Universal Algebra From FOLDOC universal algebra. logic The model theory of firstorder equationallogic. (1997-02-25). Try this search on OneLook / Google. Nearby http://wombat.doc.ic.ac.uk/foldoc/foldoc.cgi?Universal algebra

25. Universal Algebra In Combinatory Logic universal algebra in Combinatory Logic. Beatrice Amrhein. Introduction. Constructingnew algebras from given ones, plays a central role in universal algebra. http://www.hta-be.bfh.ch/~amrhein/diss/diss.html

Universal Algebra in Combinatory Logic Beatrice Amrhein Introduction The strong influence of computer science on mathematics is causing a growing interest in the concept of functions as algorithms. Considering functions as operations or rules in their full generality, they can be applied to any argument. For example, we may think of a function as a program that operates on other programs. In particular, self application is allowed. combinatory completeness : Any applicative expression built up from functions may not only be regarded as a function, but also represented by a combinator. Models of this theory are called combinatory algebras . They are of the form , where A is some set, a binary operation on A and where combinatory completeness is satisfied. They arise whenever a mathematical structure is furnished with a notion of internal computability. It was in the same decade that it became clear that (classical) algebra deals not primarily with the manipulation of sums and products of numbers, but with sums and products of elements of any sort - under the assumption that these operations satisfy the appropriate basic axioms . This was the starting point of universal algebra , where the objects of interest - the structures - were presented by use of axioms over operations and morphisms between them.

26. Meeting AMS-UMI - Session 51 - Algebraic Logic And Universal Algebra AMSUMI First Joint International Meeting Session 51 Algebraic Logicand universal algebra. Pisa, Italy June 12-16, 2002. Organizers http://spot.colorado.edu/~kearnes/Pisa/session51.html

AMS-UMI First Joint International Meeting Session 51 Algebraic Logic and Universal Algebra Pisa, Italy June 12-16, 2002 Organizers (University of Siena, Italy) Keith A. Kearnes (University of Colorado, USA) Franco Montagna (University of Siena, Italy) Don Pigozzi (Iowa State University, USA) Invited speakers Kirby A. Baker (University of California, Los Angeles, USA) Techniques in finite-basis problems postscript PDF Joel Berman (University of Illinois at Chicago, USA) Varieties with equationally definable order relations postscript PDF Roberto Cignoli (Universidad de Buenos Aires and CONICET, Argentina) An equational approach to Glivenko-like theorems postscript PDF Janusz Czelakowski (Opole University, Poland) Set-theoretic domains. Towards the algebraization of set theory. postscript PDF Dejan Delic (Ryerson University, Canada) Discriminator varieties with group stalks postscript PDF (Technical University of Budapest, Hungary) On generalizations of measurable functions postscript PDF Josep M. Font (University of Barcelona, Spain) Fully adequate Gentzen systems in abstract algebraic logic postscript PDF Pawel M. Idziak

27. On The Group Of Automorphisms Of Universal Algebra And Many Sorted Algebra On the Group of Automorphisms of universal algebra and Many Sorted Algebra. 3Ewa Burakowska. Subalgebras of the universal algebra. Lattices of subalgebras. http://mizar.uwb.edu.pl/JFM/Vol6/autalg_1.html

Journal of Formalized Mathematics Volume 6, 1994 University of Bialystok Association of Mizar Users On the Group of Automorphisms of Universal Algebra and Many Sorted Algebra Artur Kornilowicz Institute of Mathematics, Warsaw University, Bialystok Summary. The aim of the article is to check the compatibility of the automorphisms of universal algebras introduced in [ ] and the corresponding concept for many sorted algebras introduced in [ MML Identifier: The terminology and notation used in this paper have been introduced in the following articles [ Contents (PDF format) On the Group of Automorphisms of Universal Algebra Some Properties of Many Sorted Functions On the Group of Automorphisms of Many Sorted Algebra On the Relationship of Automorphisms of 1-sorted and Many Sorted Algebras Bibliography 1] Grzegorz Bancerek. Journal of Formalized Mathematics 2] Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences Journal of Formalized Mathematics 3] Ewa Burakowska. Subalgebras of the universal algebra. Lattices of subalgebras

28. Free Many Sorted Universal Algebra Free Many Sorted universal algebra. Preliminaries; Free Many Sorted universal algebra General Notions; Construction of Free Many Sorted Algebra. Bibliography. http://mizar.uwb.edu.pl/JFM/Vol6/msafree.html

Journal of Formalized Mathematics Volume 6, 1994 University of Bialystok Association of Mizar Users Free Many Sorted Universal Algebra Beata Perkowska Warsaw University, Bialystok MML Identifier: MSAFREE The terminology and notation used in this paper have been introduced in the following articles [ Contents (PDF format) Preliminaries Free Many Sorted Universal Algebra - General Notions Construction of Free Many Sorted Algebra Bibliography 1] Grzegorz Bancerek. Journal of Formalized Mathematics 2] Grzegorz Bancerek. Cartesian product of functions Journal of Formalized Mathematics 3] Grzegorz Bancerek. Journal of Formalized Mathematics 4] Grzegorz Bancerek. Sets and functions of trees and joining operations of trees Journal of Formalized Mathematics 5] Grzegorz Bancerek. Joining of decorated trees Journal of Formalized Mathematics 6] Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences Journal of Formalized Mathematics 7] Grzegorz Bancerek and Piotr Rudnicki. On defining functions on trees Journal of Formalized Mathematics 8] Ewa Burakowska.

29. KLUWER Academic Publishers | Universal Algebra Books » universal algebra. universal algebra. Kluwer Academic Publishers is pleasedto make this title available as a special Printing on Demand (PoD) edition. http://www.wkap.nl/prod/b/90-277-1213-1

Title Authors Affiliation ISBN ISSN advanced search search tips Books Universal Algebra Universal Algebra Kluwer Academic Publishers is pleased to make this title available as a special Printing on Demand (PoD) edition. PoD books will be sent to you within 6-9 weeks of receipt of your order. Firm orders only!: returns cannot be accepted as PoD books are only printed on request. Add to cart by P.M. Cohn Professor Emeritus, Bedford College, University of London, UK Book Series: MATHEMATICS AND ITS APPLICATIONS Volume 6 D. Reidel Publishing Company Hardbound, ISBN 90-277-1213-1 April 1981, 427 pp. Printing on Demand EUR 213.50 / USD 269.50 / GBP 162.50 Paperback, ISBN 90-277-1254-9 April 1981, 427 pp. Printing on Demand EUR 58.50 / USD 73.00 / GBP 44.25 Home Help section About Us Contact Us ... Search

30. KLUWER Academic Publishers | Lattices, Semigroups, And Universal Algebra Books » Lattices, Semigroups, and universal algebra. Lattices, Semigroups,and universal algebra. Add to cart. Proceedings of an international http://www.wkap.nl/prod/b/0-306-43412-1

Title Authors Affiliation ISBN ISSN advanced search search tips Books Lattices, Semigroups, and Universal Algebra Lattices, Semigroups, and Universal Algebra Add to cart Proceedings of an international conference held in Lisbon, Portugal, June 20-24, 1988 edited by Jorge Almeida University of Porto, Portugal Gabriela Bordalo University of Lisbon, Portugal Philip Dwinger University of Illinois at Chicago, USA Kluwer Academic/Plenum Publishers Hardbound, ISBN 0-306-43412-1 July 1990, 350 pp. EUR 195.00 / USD 202.00 / GBP 121.50 Home Help section About Us Contact Us ... Search

31. Universal Algebra From FOLDOC universal algebra. logic the model theory of firstorder equationallogic. FOLDOC. 2001-03-16 . Try this search on OneLook / Google. http://www.swif.uniba.it/lei/foldop/foldoc.cgi?universal algebra

32. FINITE SEMIGROUPS AND UNIVERSAL ALGEBRA 3 FINITE SEMIGROUPS AND universal algebra by Jorge Almeida (Univ. Contents Finiteuniversal algebra Elements of universal algebra; Order and Topology; http://www.wspc.com/books/mathematics/2481.html

Home Browse by Subject Bestsellers New Titles ... Browse all Subjects Search Keyword Author Concept ISBN Series New Titles Editor's Choice Bestsellers Book Series ... Series in Algebra - Vol. 3 FINITE SEMIGROUPS AND UNIVERSAL ALGEBRA by Jorge Almeida (Univ. Porto) Motivated by applications in theoretical computer science, the theory of finite semigroups has emerged in recent years as an autonomous area of mathematics. It fruitfully combines methods, ideas and constructions from algebra, combinatorics, logic and topology. In simple terms, the theory aims at a classification of finite semigroups in certain classes called "pseudovarieties". The classifying characteristics have both structural and syntactical aspects, the general connection between them being part of universal algebra. Besides providing a foundational study of the theory in the setting of arbitrary abstract finite algebras, this book stresses the syntactical approach to finite semigroups. This involves studying (relatively) free and profinite free semigroups and their presentations. The techniques used are illustrated in a systematic study of various operators on pseudovarieties of semigroups. Contents: Finite Universal Algebra: Elements of Universal Algebra Order and Topology Finite Algebras Decidability Finite Semigroups and Monoids: Preliminaries Permutativity Operators Relating Semigroups and Monoids Semigroups Whose Regular D-Classes are Subsemigroups The Join The Semidirect Product The Power Factorization of Implicit Operations Open Problems

33. Universal Algebra From FOLDOC universal algebra. logic The model theory of firstorder equational logic.(1997-02-25). Previous Unisys Corporation, United Technologies http://csai03.is.noda.sut.ac.jp/foldoc/foldoc.cgi?Universal algebra

34. Universal Algebra From FOLDOC universal algebra. http://www.nightflight.com/foldoc-bin/foldoc.cgi?Universal algebra

35. Universal Algebra From FOLDOC universal algebra. logic The model theory of firstorder equationallogic. (1997-02-25). Previous United Kingdom Unix Users Group http://www.nightflight.com/cgi-bin/foldoc?Universal algebra

36. Algebraic Logic And Universal Algebra In Computer Science 1988 Algebraic Logic and universal algebra in Computer Science 1988 Ames, Iowa, USA. 181194;Ivo G. Rosenberg Mal'cev algebras for universal algebra terms. http://www.informatik.uni-trier.de/~ley/db/conf/aluacs/aluacs1988.html

Algebraic Logic and Universal Algebra in Computer Science 1988: Ames, Iowa, USA Clifford Bergman Roger D. Maddux Don Pigozzi (Eds.): Algebraic Logic and Universal Algebra in Computer Science, Conference, Ames, Iowa, USA, June 1-4, 1988, Proceedings. Lecture Notes in Computer Science 425 Springer 1990, ISBN 3-540-97288-9 DBLP Invited Papers : Relatively free relation algebras. 1-14 Joel Berman : The value of free algebras. 15-26 H. Peter Gumm : Continuations of logic programs. 27-36 : On cylindric algebraic model theory. 37-75 Vaughan R. Pratt : Dynamic algebras as a well-behaved fragment of relation algebras. 77-110 Eric G. Wagner : All recursive types defined using products and sums can be implemented using pointers. 111-132 Contributed Papers Isidore Fleischer : The abstract Galois theory: a survey. 133-137 : The implications in conditional logic. 139-159 Lawrence S. Moss Satish R. Thatte : Optimal semantics of data type extensions. 161-180 G. C. Nelson : Other logics for (equational) theories. 181-194 Ivo G. Rosenberg : Mal'cev algebras for universal algebra terms. 195-208 : Beth's and Craig's properties via epimorphisms and amalgamation in algebraic logic. 209-225

37. Algebraic Logic And Universal Algebra In Computer Science dblp.unitrier.de Algebraic Logic and universal algebra in Computer Science. AlgebraicLogic and universal algebra in Computer Science 1988 Ames, Iowa, USA. http://www.informatik.uni-trier.de/~ley/db/conf/aluacs/

Algebraic Logic and Universal Algebra in Computer Science Algebraic Logic and Universal Algebra in Computer Science 1988: Ames, Iowa, USA Clifford Bergman Roger D. Maddux Don Pigozzi (Eds.): Algebraic Logic and Universal Algebra in Computer Science, Conference, Ames, Iowa, USA, June 1-4, 1988, Proceedings. Lecture Notes in Computer Science 425 Springer 1990, ISBN 3-540-97288-9 Contents DBLP: [ Home Author Title Conferences ... Journals Thu Jan 30 17:12:47 2003 by Michael Ley ley@uni-trier.de

38. I Links:- Universal Algebra - Cinderella? I Links universal algebra - Cinderella? Follow Ups Post Followup Supersymmetry III FAQ Posted universal algebra. Categories http://superstringtheory.com/forum/superboard/messages3/90.html

String Theory Discussion Forum String Theory Home Forum Index I Links:- Universal Algebra - Cinderella? Follow Ups Post Followup Supersymmetry III FAQ Posted by on December 16, 2002 at 19:51:47: In Reply to: M Physics 21:- String / M Theories ~ f ( M Stuffs)... posted by on December 15, 2002 at 23:01:45: Universal Algebra Categories, Quantization, and Much More Cinderella... (Report this post to the moderator) Follow Ups: (Reload page to see most recent) DickT I Link:- Quantum Graph Theory (QGT) Re: I Link:- Quantum Graph Theory (QGT) DickT ... sol Post a Followup Name : Save your login cookie Password : Delete your login cookie Subject : Comments: (The following are optional.) Link URL : Link Title : Image URL : Follow Ups Post Followup Supersymmetry III FAQ

39. Re: M Link:- Universal Algebra, Categories, Quantization, ,,, Re M Link universal algebra, Categories, Quantization, ,,,. M Link- UniversalAlgebra, Categories, Quantization, Happy reading / exploring kx21. http://superstringtheory.com/forum/dualboard/messages8/49.html

String Theory Discussion Forum String Theory Home Forum Index Re: M Link:- Universal Algebra, Categories, Quantization, ,,, Follow Ups Post Followup String and M Theory Duality VIII FAQ Posted by on December 17, 2002 at 13:34:07: In Reply to: Re: Toward Rare Event Deformation Symplectic Quantization posted by DickT on December 17, 2002 at 07:00:51: M Link:- Universal Algebra, Categories, Quantization,... Happy reading / exploring... (Report this post to the moderator) Follow Ups: (Reload page to see most recent) Re: M Link:- Universal Algebra, Categories, Quantization, ,,, OsherDoctorow M Physics 21: Each Particle / String / Entity / Object is an Universe... Post a Followup Follow Ups Post Followup String and M Theory Duality VIII FAQ

40. Universal Algebra From FOLDOC Guides Tutorials. Online Computing Dictionary. Register a Domain. Universalalgebra. logic The model theory of firstorder equational logic. (1997-02-25). http://www.instantweb.com/foldoc/foldoc.cgi?Universal algebra

Page 2     21-40 of 96    Back | 1  | 2  | 3  | 4  | 5  | Next 20