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

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