A framework for measuring the complexity of mathematical concepts

DOI10.1016/0196-8858(90)90002-GzbMath0708.03003MaRDI QIDQ920074

Harvey M. Friedman, Robert C. Flagg

Publication date: 1990

Published in: Advances in Applied Mathematics (Search for Journal in Brave)

zbMATH Keywords

definition dagdefinition treeelementary theory of definitionssyntax of explicit definitions of new mathematical concepts in a first order theory

Mathematics Subject Classification ID

Classical first-order logic (03B10) Foundations of classical theories (including reverse mathematics) (03B30)

Related Items (1)

RELEVANCE FOR THE CLASSICAL LOGICIAN

Uses Software

• YACC

Cites Work

• Model theory.
• Unnamed Item
• Unnamed Item

This page was built for publication: A framework for measuring the complexity of mathematical concepts