elementary class
(Q1327762)
class consisting of all structures satisfying a fixed first-order theory
class consisting of all structures satisfying a fixed first-order theory
Language:
Current Data About
elementary class