×

Model complete theories of bounded unars. (Russian) Zbl 0637.03023

The author investigates complete and model complete theories of one unary function which satisfy for some k the following boundedness condition: \[ \forall x\bigvee_{1\leq i,j<k}[f\quad i(x)=f^{i+j}(x)]. \] He shows that such theories are \(\aleph_ 0\)-categorical and inductive.
Reviewer: M.Weese

MSC:

03C35 Categoricity and completeness of theories
PDF BibTeX XML Cite
Full Text: EuDML