Betning aniqligi - Beth definability

Yilda matematik mantiq, Betning aniqligi bu xususiyatning aniq aniqligini aniq aniqligi bilan bog'laydigan natijadir, xususan, teorema, ikkita hissiyot aniqlik tengdir.

Bayonot

Teoremada a berilganligi aytiladi birinchi darajali nazariya T tilida L '⊇ L va a formula L 'ichida', keyin quyidagilar teng:

  • har qanday ikkita model uchun A va B ning T shu kabi A|L = B|L (qayerda A|L bo'ladi kamaytirish ning A ga L), bu shunday A ⊨ φ [a] agar va faqat agar B Φ φ [a] (a ning barcha katakchalari uchun A)
  • φ teng modulga teng T ψ in formulasiga L.

Kamroq rasmiy ravishda: agar xususiyat bu nazariyada aniq belgilanadigan bo'lsa (L tilidagi symbol formulasi bilan) faqat xususiyat L tilidagi nazariyada (kengaytirilgan tilning yangi 'belgisini kiritish orqali) bevosita aniqlanadi.

Shubhasiz, bu teskari tomonga ham tegishli, shuning uchun biz aniq va aniq aniqlik o'rtasida tenglikka ega bo'lamiz. Ya'ni, "xususiyat" nazariyaga nisbatan bevosita aniqlanadi, agar u aniq aniqlangan bo'lsa.

Agar shart cheklangan modellar bilan cheklangan bo'lsa, teorema bajarilmaydi. Bizda bo'lishi mumkin A Φ φ [a] agar va faqat agar B Φ φ [a] yo'q sonli modellarning barcha A, B juftliklari uchun mavjud Lform modul T ga teng bo'lgan formulalar ψ.

Natijada birinchi marta isbotlangan Evert Uillem Bet.

Manbalar

  • Xodjes V. Qisqa model nazariyasi. Kembrij universiteti matbuoti, 1997 yil.