×

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
PDF BibTeX XML Cite