PREFERRED TERM
type
TYPE
-
http://www.irandoc.ac.ir/onto/irandoc-meta/Concept
BROADER CONCEPT
NARROWER CONCEPTS
RELATED CONCEPTS
- categoricity
- categoricity theorem
- definable type
- dimension
- elimination of hyperimaginaries
- elimination of imaginaries
- exchange principle
- forking
- formula
- locally modular pregeometry
- monster model
- Morley degree
- Morley rank of type
- non-forking
- one-based theory
- rank
- recursive saturation
- regular type
- Ryll-Nardzewski theorem
- saturated model
- saturated structure
- stability theory(geometry)
- stable formula
- stable theory
- stationary type
- strongly minimal theory
- strong type
- superstable theory
- totally categorical
- totally transcedental theory
- uncountably categorical
IN OTHER LANGUAGES
تایپ
Persian
نوع
URI
http://www.irandoc.acir/onto/irandoc/MAT0007640