הבדלים בין גרסאות בדף "לוגיקה מסדר שני"

מ
הוספת פרק קישורים חיצוניים + תבנית:בריטניקה (בערכים בהם אין קישורים חיצוניים) (תג)
(סידור)
מ (הוספת פרק קישורים חיצוניים + תבנית:בריטניקה (בערכים בהם אין קישורים חיצוניים) (תג))
 
באופן דומה, מונה הוא [[מונה קומפקטי חלש|קומפקטי-חלש]] אם ורק אם כל פסוק מסדר שני במבנה <math>\langle V_\kappa,\in,R \rangle</math> (עבור יחס <math>R</math> שמייצג תת-קבוצה כלשהי של <math>V_\kappa</math>), בו יש רק כמת כולל בודד על משתנה מסדר שני וכל שאר הכמתים הם מסדר ראשון ''משתקף'', כלומר מתקיים גם במבנה <math>\langle V_\alpha,\in,R \cap V_\alpha \rangle</math> עבור סודר <math>\alpha < \kappa</math>.
 
==קישורים חיצוניים==
* {{בריטניקה}}
 
[[קטגוריה:לוגיקה מתמטית]]