A framework for measuring the complexity of mathematical concepts (Q920074)

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)].