Algebraic logic, varieties of algebras, and algebraic varieties (1995)

Cached

Download Links

by B. Plotkin
Citations:13 - 5 self

Documents Related by Co-Citation

16 Varieties of algebras and algebraic varieties. Categories of algebraic varieties – B Plotkin - 1997
9 Geometrical equivalence of algebras – A Berzins
18 with the same algebraic geometry – B. Plotkin - 2002
16 Seven lectures on the universal algebraic geometry – B Plotkin
9 Some notions of algebraic geometry in universal algebra, Algebra and Analysis – B Plotkin - 1997
11 Algebraic geometry over groups II: Logical foundations – A Myasnikov, V Remeslennikov
9 Tsurkov, Geometrical equivalence of groups – B Plotkin, E Plotkin, A - 1999
8 Radicals and Plotkin’s problem concerning geometrically equivalent groups – S Shelah R Gobel
11 Algebraic geometry over groups – G Baumslag, A Myasnikov, V Remeslennikov - 1996
20 The automorphism group of a free group is complete – J Dyer, E Formanek - 1975
390 Combinatorial group theory – R Lyndon, P Sdiupp - 1977
3 An Introduction to Lambda Calculus for computer Scientists – C Hankin
8 An algebraization of first order logic with terms Colloq – J Cirulis - 1991
7 Simply typed and untyped lambda calculus revisited – B Jacobs - 1992
3 The algebraicity of the lambda-calculus preprint 2007 arXiv:0704.2900 – M Maggesi, A Hirschowitz
3 Clone theory, its syntax and semantics, and applications to lambda calculus and algebraic logic – Z Luo - 2007
7 Representing varieties of algebras by algebras – W D Neumann - 1970
4 Left linear theories – A generalization of module theory – B Pareigis, H Rohrl - 1994
7 Categorical, functorial, and algebraic aspects of the. type-free lambda calculus Banach Center Publications 9 – A Obtulowicz, A Wiweger - 1982