כפייה (לוגיקה מתמטית) – הבדלי גרסאות

המודל M[G]&lrm; יוגדר באופן הבא: נגדיר בתוך מודל הבסיס M מחלקה של '''שמות'''. שמות אלו יהיו קבוצות בתוך M שעל ידי ידיעת G יתורגמו לאיברים של M[G]&lrm;. באופן פורמלי, אנחנו מגדירים אותם ב[[הגדרתהגדרה רקורסיבית|רקורסיה]] כקבוצות של זוגות סדורים מהצורה <math>(\tau , p)</math> כאשר <math>\tau</math> הוא שם ו-<math>p \in \mathbb{P}</math>. התרגום על ידי G של שם x יוגדר גם באופן רקוסיבי: <math>val(x,G) = \{ val(y,G) | (y,p) \in x, p \in G \}</math>.