Failure of interpolation for quantifiers of monadic type

Methods in Mathematical Logic - Lecture Notes in Mathematics ◽

10.1007/bfb0075304 ◽

1985 ◽

pp. 1-12 ◽

Cited By ~ 1

Author(s):

Xavier Caicedo

Download Full-text