# zbMATH — the first resource for mathematics

On axioms for classes with strong homomorphisms. (Russian) Zbl 0649.03015
A simpler system of axioms for superstructure of heriditary finite lists is constructed compared to GES; a theorem concerning the determination of $$\Sigma$$-defined functions in the models of this axiom system by means of recursion on lists is proved.
Reviewer: S.S.Goncharov
##### MSC:
 03B70 Logic in computer science 68P05 Data structures