• DML-CZ Home

03D70 Inductive definability (3 articles)

• Martínez, J.; Cordero, P.; Gutiérrez, G.; Guzmán, I. P. de: Restricted ideals and the groupability property. Tools for temporal reasoning. (English). Kybernetika, vol. 39 (2003), issue 5, pp. [521]-546
• Tzouvaras, Athanossios: Definability degrees for classes in the alternative set theory. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 29 (1988), issue 1, pp. 41-48
• Tzouvaras, Athanossios: Countable inductive definitions in AST. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 27 (1986), issue 1, pp. 17-33