Modellfullständig

Från Rilpedia

Version från den 19 januari 2009 kl. 23.42 av Pieter Kuiper (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

Inom modellteori sägs en teori T vara modellfullständig om varje modell är existentiellt sluten.

Exempel:

  1. Teorin för algebraiskt slutna kroppar är modellfullständig.
  2. Teorin för täta linjära ordningar utan ändpunkter är modellfullständig.
  3. Teorin för slumpgrafen är modellfullständig.
  4. Teorin för differentiellt slutna kroppar är modellfullständig.

Givet en teori T, är man ofta intresserad av huruvida den har en modellkomplettering och en modellkompis.


AND ANSI.svg Denna artikel om logik är bara påbörjad. Du kan hjälpa till genom att utöka den.
Hämtad från "https://sv.rilpedia.org/wiki/Modellfullst%C3%A4ndig"
Personliga verktyg
På andra språk