PREFERRED TERM
model
TYPE
-
http://www.irandoc.ac.ir/onto/irandoc-meta/Concept
BROADER CONCEPT
NARROWER CONCEPTS
- atomic diagram
- atomic model
- canonical model
- chain of models
- decision model
- generic model
- Henkin constuction
- homogeneous model
- Lowenheim-Skolem theorem
- model complete theory
- monster model
- non-standard model
- Ryll-Nardzewski theorem
- saturated model
- skolemisation of a model
- Tarski-Vaught theorem
- type
- ultraproducts of models
- Vaught test
RELATED CONCEPTS
IN OTHER LANGUAGES
مدل
Persian
URI
http://www.irandoc.acir/onto/irandoc/MAT0007671