Modellkompis

Från Rilpedia

Version från den 7 november 2006 kl. 18.12 av Thoasp (Diskussion)
(skillnad) ← Äldre version | Nuvarande version (skillnad) | Nyare version → (skillnad)
Hoppa till: navigering, sök
Wikipedia_letter_w.pngTexten från svenska WikipediaWikipedialogo_12pt.gif
rpsv.header.diskuteraikon2.gif
icon_anmal.gif
rp-wp-sv.gif

Modellkompis, inom modellteorin sägs en teori S vara en modellkompis till en teori T om:

  1. Varje modell för T går att inbädda i en modell för S
  2. Varje modell för S går att inbädda i en modell för T
  3. S är modellfullständig

Ett relaterat begrepp är modellkomplettering.

Hämtad från "https://sv.rilpedia.org/wiki/Modellkompis"
Personliga verktyg