Abstract:Effectiveness issues in algebra and model theory have been investigated intensively in the last thirty years. One wishes to understand the effective content of model-theoretic and algebraic results, and the interplay between notions of computability, algebra, and model theory. A significant body of work has recently been done in the area, and this is attested by recent series of Handbooks and surveys in computable mathematics, computability, and algebra (see, e.g., [1], [4], [3]). An emphasis has been placed on the study of computable models and algebras. These are the structures whose domains are computable sets of natural numbers, and whose atomic diagrams are computable. The study of computable model theory and algebra can naturally be extended to include a wider class of structures. This can be done by postulating that the atomic diagrams or natural fragments of the atomic diagrams are in some complexity class such as Σn or Π 0 n. These classes of algebras include computably enumerable (c.e.) algebras and co-c.e. algebras which we call Σ1-algebras and Π 0 1-algebras, respectively. Roughly, Σ1-algebras are the ones whose positive atomic diagrams are computably enumerable, and Π1-algebras are the ones whose negative atomic diagrams are computably enumerable. These include finitely presented algebras (e.g. finitely presented groups or rings) and groups generated by finitely many computable permutations of ω. There has been some research on Σ1-algebras (see for example [2], [6], [8], [9]) but not much is known about Π1-algebras and their properties. The main goal of this paper is the study of the question as

N-Algebraic Structures and S-N-Algebraic Structures

Smarandache Special Definite Algebraic Structures

Geometry, Analysis and Topology of Discrete Groups

Smarandache Fuzzy Algebra

Smarandache Multi-Space Theory(I)-Algebraic multi-spaces

Set Linear Algebra and Set Fuzzy Linear Algebra

Neutrosophic Bilinear Algebras and their Generalizations

Basic Algebraic Topology and its Applications

Algebraic structures in the family of non-Lebesgue measurable sets

Special set linear algebra and special set fuzzy linear algebra

Semiautomatic Structures

Algebraic Groups: The Theory of Group Schemes of Finite Type over a Field

Towards solid abelian groups: A formal proof of Nöbeling's theorem

07441 Summary -- Algorithmic-Logical Theory of Infinite Structures.

Algebraic actions I. C*-algebras and groupoids

Generalized NS-algebras

Hydrodynamic emission of strange and non-strange particles at RHIC and LHC

Π 01-presentations of algebras ∗

Issues in Communication Game

The Algebras for Automatic Relations

Relation algebras and function semigroups