e
elementary class
Class consisting of all structures satisfying a fixed first-order theory
EntityQ1327762
- Subclass of
Overview
On other databases
2 identifiers linking elementary class across the web's reference databases
Class consisting of all structures satisfying a fixed first-order theory
2 identifiers linking elementary class across the web's reference databases
From Wikipedia, the free encyclopedia · Read full article · Text CC BY-SA 4.0
In model theory, a branch of mathematical logic, an elementary class is a class consisting of all structures satisfying a fixed first-order theory.