skip to main content

ریاضیات

زبان محتوا

پشتیبانی: CRM@email.irandoc.ac.ir
... > mathematics > mathematical logic > model theory > structure > model > Lowenheim-Skolem theorem > downward Lowenheim-Skolem theorem
اصطلاح مرجح
downward Lowenheim-Skolem theorem
نوع

  • http://www.irandoc.ac.ir/onto/irandoc-meta/Concept

مفهوم اعم
در زبان های دیگر
قضیه کاهشی لوونهایم-اسکولم

Persian

URI
http://www.irandoc.acir/onto/irandoc/MAT0007646
این مفهوم را بارگیری کن:
RDF/XML TURTLE JSON-LD