On regular and symmetric identities II

Bulletin of the Section of Logic 11 (3/4):100-102 (1982)
  Copy   BIBTEX

Abstract

This is a continuation of [3]. We deal with algebras of type : T ! N. Assume that V is a variety of type . Let p = x be a strongly nonregular identity satised in V , i.e. x; y are variables of p and x =6 y . For a variety K 2 L; E; R; S or RS denotes the set of all, regular, symmetric or regular and symmetric identities satised in K, respectively

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On regular and symmetric identities.E. Graczynska - 1981 - Bulletin of the Section of Logic 10 (3):104-106.
Proofs of regular identities.Ewa Graczynska & Francis Pastijn - 1981 - Bulletin of the Section of Logic 10 (1):35-37.
The cofinality spectrum of the infinite symmetric group.Saharon Shelah & Simon Thomas - 1997 - Journal of Symbolic Logic 62 (3):902-916.
New curvature-torsion relations through decomposition of the Bianchi Identities.John B. Davies - 1988 - Foundations of Physics 18 (5):563-569.
The Church-Rosser Property in Symmetric Combinatory Logic.Katalin Bimbó - 2005 - Journal of Symbolic Logic 70 (2):536 - 556.
On finite models of regular identities.Józef Dudek & Andrzej Kisielewicz - 1989 - Notre Dame Journal of Formal Logic 30 (4):624-628.
Dynamical complexity and regularity.Richard Johns - manuscript
Determination of symmetric VL1 formulas: algorithm and program SYM4.Gerald M. Jenson - 1975 - Urbana: Dept. of Computer Science, University of Illinois at Urbana-Champaign.
On pseudo cyclic Ricci symmetric manifolds admitting semi-symmetric metric connection.Absos Ali Shaikh & Shyamal Kumar Hui - 2010 - Scientia 20:73-80.
On some questions concerning strong compactness.Arthur W. Apter - 2012 - Archive for Mathematical Logic 51 (7-8):819-829.
A remark on the tree property in a choiceless context.Arthur W. Apter - 2011 - Archive for Mathematical Logic 50 (5-6):585-590.
Static electromagnetic geon.Marek Demianski - 1986 - Foundations of Physics 16 (2):187-190.

Analytics

Added to PP
2014-02-18

Downloads
21 (#695,936)

6 months
2 (#1,157,335)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references