Geodesic

Sommaire du Fascicule no. 1

A certain class of recursive hierarchies
p. 3-21
Accessible varieties of quasigroups
p. 22-30
The constructivizability of superatomic Boolean algebras
p. 31-40
Local finiteness in the sense of \v{S}ir\v{s}ov
p. 41-73
Subsystems of reduced powers
p. 74-82
The existence of a finite basis for the identities of the matrix
p. 83-113
An example of a semigroup that admits only the discrete topology
p. 114-116

Sommaire du Fascicule no. 2

Constructive models of complete decidable theories
p. 125-142
$tt$- and $m$-degrees
p. 143-161
An example of a solvable but not nilpotent $(-1,1)$-ring
p. 162-166
The upper semilattice $L(\gamma )$
p. 167-189
btt-reducibility.~I
p. 190-204
Undecidability of fields of rational functions over fields of
p. 205-210
Every recursively enumerable extension of a theory of linear order
p. 211-219
Certain questions on generalized computability
p. 220-231
Certain algorithmic questions for metabelian groups
p. 232-240

Sommaire du Fascicule no. 3

Implicative classes of algebras
p. 249-268
Varieties of associative rings.~II
p. 269-297
Wedderburn's theorem on splitting off the radical for
p. 298-304
Supernilpotent radicals of $(-1,1)$-rings
p. 305-311
A strongly constructive model without elementary submodels and
p. 312-322
The lower nilradical of $(-1,1)$-rings
p. 323-332
Nilpotence of ideals in $(-1,1)$-rings with a minimality
p. 333-348
A remark on the junction of $2$-elements in a finite group
p. 349-350
Relation modules of finite groups and related topics
p. 351-359

Sommaire du Fascicule no. 4

Theory of $A$-spaces
p. 369-416
Prevarieties of semigroups whose elementary theory is decidable
p. 417-432
btt-reducibility.~II
p. 433-444
Sturctures with implication
p. 445-467
Automorphisms of two-dimensional congruence groups
p. 468-477
Solvability of $(-1,1)$-nilrings
p. 478-489

Sommaire du Fascicule no. 5

Computability with functionals
p. 497-511
Certain examples of upper semilattices of computable numerations
p. 512-529
Nucleus and center of nonassociative rings
p. 530-549
Complete theories with a finite number of countable models
p. 550-576
An example of a group, finitely presented in the variety $\mathfrak{A}^{5}$, with an undecidable word problem
p. 577-602
Abelian subgroups in biprimitively finite groups
p. 603-614

Sommaire du Fascicule no. 6

Generalized computations over regular numerations
p. 623-643
Skolem functions and constructive models
p. 644-654
Totally ordered solvable groups
p. 655-666
Varieties of associative rings.~II
p. 667-688
Existentially closed regular commutative semigroups
p. 689-703
Generalization of alternative and commutative rings
p. 704-712
Index sets in $O\,'$
p. 713-729