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

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

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

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

روابط خارجية

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

  • بوابة رياضيات
  • بوابة منطق
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.