论文信息 - Quasi finitely axiomatizable totally categorical theories

Quasi finitely axiomatizable totally categorical theories

On demontre que toutes les theories presque fortement minimales totalement categoriques sont axiomatisables par un nombre fini d'axiomes et le schema d'infini

Martin Ziegler | Gisela Ahlbrandt | M. Ziegler | Gisela Ahlbrandt

[1] Graham Higman,et al. Ordering by Divisibility in Abstract Algebras , 1952 .

[2] Alistair H. Lachlan,et al. aleph0-Categorical, aleph0-stable structures , 1985, Annals of Pure and Applied Logic.