Undecidability results on two-variable logics

• 1 May 1999
• journal article
• Published by Springer Nature in Archive for Mathematical Logic
• Vol. 38  (4-5) , 313-354
• https://doi.org/10.1007/s001530050130

Abstract

Keywords

• WEAK FORM
• CLASSICAL RESULT
• TRANSITIVE CLOSURE
• CLOSURE OPERATION
• FINITE STRUCTURE