Direct powers with distinguished diagonal

Lecture Notes in Mathematics - Conference in Mathematical Logic — London ’70 ◽

10.1007/bfb0059545 ◽

1972 ◽

pp. 178-203 ◽

Cited By ~ 1

Author(s):

Angus Macintyre

Download Full-text