𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On nonstandard axiomatization of elementarily nonaxiomatizable classes of discrete algebraic systems

✍ Scribed by V. A. Molchanov

Book ID
106530644
Publisher
SP MAIK Nauka/Interperiodica
Year
1999
Tongue
English
Weight
920 KB
Volume
40
Category
Article
ISSN
0037-4466

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

On the complexity of axiomatizations of
On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras
✍ Tarek Sayed Ahmed πŸ“‚ Article πŸ“… 2011 πŸ› John Wiley and Sons 🌐 English βš– 157 KB

## MSC (2010) Primary: 03G15 Using games, as introduced by Hirsch and Hodkinson in algebraic logic, we give a recursive axiomatization of the class RQPEA Ξ± of representable quasi-polyadic equality algebras of any dimension Ξ±. Following Sain and Thompson in modifying AndrΓ©ka's methods of splitting,

On stability of a class of discrete syst
On stability of a class of discrete systems
✍ A.S.C. Sinha πŸ“‚ Article πŸ“… 1974 πŸ› Elsevier Science 🌐 English βš– 333 KB

The problem of stability properties for the solutions of nonlinear difference equations is considered. The approach used is to study the behavior of the solutions of nonlinear difference equations with respect to solutions of a nonlinear difference equation. This is a more general setting than the c