AUTOMORPHISM GROUPS OF COMPUTABLY ENUMERABLE PREDICATES
PARTIAL RESULTS IN Δ3 0-CATEGORICITY IN LINEAR ORDERINGS AND BOOLEAN ALGEBRAS
THE CONGRUENCE PROPERTY OF AT-GROUPS
DECIDABLE COMPUTABLE A-NUMBERINGS
BARWISE'S INFORMATION FRAMES AND MODAL LOGICS
DECIDABILITY OF HIERARCHIES OF REGULAR APERIODIC LANGUAGES
SESSIONS OF THE SEMINAR “ALGEBRA i LOGIKA”