PREFERRED TERM
تایپ
TYPE
-
http://www.irandoc.ac.ir/onto/irandoc-meta/Concept
BROADER CONCEPT
NARROWER CONCEPTS
RELATED CONCEPTS
- اشباع بازگشتی
- اصل تعویض
- بعد
- پیش هندسه مدولی موضعی
- تایپ ایستا
- تایپ تعریفپذیر
- تایپ قوی
- تایپ منظم
- جازمیت
- حذف فراموهومات
- حذف موهومات
- درجه مورلی
- رتبه
- رتبه مورلی تایپ
- رستهای ناشمارا
- ساختار اشباع
- غیر فورکینگ
- فرمول
- فرمول پایدار
- فورکینگ
- قضیه جازمیت
- قضییه ریل- ناردوسکی
- کلا رستهای
- مدل اشباع
- مدل غولپیکر
- نظریه پایدار
- نظریه تکپایهای
- نظریه فوق پایدار
- نظریه قویمینیمال
- نظریه کلا متعالی
- هندسه) نظریه پایداری)
ENTRY TERMS
-
نوع
IN OTHER LANGUAGES
type
English
URI
http://www.irandoc.acir/onto/irandoc/MAT0007640