The logical strength of theories associated with an infinitely-dimensional vector space
収録刊行物
-
- Proc. Ninth Easter Conference on Model Theory, Gosen 1991
-
Proc. Ninth Easter Conference on Model Theory, Gosen 1991 12-33, 1991