PREFERRED TERM
first order structures
TYPE
-
http://www.irandoc.ac.ir/onto/irandoc-meta/Concept
BROADER CONCEPT
NARROWER CONCEPTS
- atomic structure
- Beth definability theorem
- completeness of theory
- Craig interpolation theorem
- digonal embedding
- Ehrenfeucht-Mostowski structure
- elementary embedding
- expansion of structure
- extension of structure
- finitely-generated structure
- homogeneous structure
- locally finite structure
- quantifier elimination
- satisfaction
- term
- universal structure
RELATED CONCEPTS
IN OTHER LANGUAGES
ساختارهای مرتبهاول
Persian
URI
http://www.irandoc.acir/onto/irandoc/MAT0007613