A framework for measuring the complexity of mathematical concepts
Natural definitions of notions needed for syntax of explicit definitions of new mathematical concepts in a first order theory are presented. This includes elementary theory of definitions and precise formulations of the notions of definition tree and definition dag of a presentation of a mathematical concept. A sequel is promised where the work presented here is employed for detailed analysis of the complexity of mathematical concepts. Some work on the theory of definitions has been done by Sh. Pkhakadze (Tbilisi) and his students [cf. \textit{Z. O. Khasidashvili}, Lect. Notes Comput. Sci. 417, 105-111 (1990)].
syntax of explicit definitions of new mathematical concepts in a first order theory
scientific article; zbMATH DE number 4162850