نظرية المجموعات حسب مورس-كيلي

في أسس الرياضيات، نظرية مورس وكيلي أو نظرية مجموعة كوين-كيلي لو نظام كوين ومورس، هي نظرية في المجموعات تتعلق بمنطق الرتبة الأولى التي ترتبط ارتباطاً وثيقاً بنظرية مجموعة فون نيومان-بيرنيز-غوديل.[1]

سميت هذه النظرية نسبة إلى العالمين الرياضياتيين جون كيلي وأنثوني مورس وقد ذكرت للمرة الأولى عام 1949 في منشورات هارفارد، ثم ذكرت في كتاب لكيلي كان عنوانه «طبولوجيا عامة» عام 1955، وهو كتاب لمستوى الدراسات العليا في موضوع طوبولوجيا. أما نسخة مورس فظهرت لاحقاً في كتابه «نظرية المجموعات» عام 1965.

مراجع

عدل
  1. ^ "معلومات عن نظرية المجموعات حسب مورس-كيلي على موقع ncatlab.org". ncatlab.org. مؤرشف من set theory الأصل في 2020-11-01. {{استشهاد ويب}}: تحقق من قيمة |مسار= (مساعدة)

روابط خارجية

عدل

من مجموعة نقاش أساسيات الرياضيات: