The complexity of explicit definitions

• 30 April 1976
• journal article
• Published by Elsevier in Advances in Mathematics
• Vol. 20  (1) , 18-29
• https://doi.org/10.1016/0001-8708(76)90167-5

Abstract

Keywords

• BETH DEFINABILITY
• DEFINABILITY THEOREM
• REFINED
• EQUATIONS
• COMPLEXITY OF AN EXPLICIT DEFINITION