Start Logga In Skriv Artikel Om Oss
Vad söker du?
Allt om 'Error'

Error

Modellteori är en gren av den matematiska logiken. En modell är en struktur i vilken ett påstående i ett formaliserat språk har ett sanningsvärde.

Ett grundläggande modellteoretiskt resultat är kompakthetssatsen, som säger att en teori har en modell om och endast om varje ändling delmängd av teorin har den modell. Ett annat är Skolem-Löwenheims teorem som säger att en uppräknelig första ordningens teori som har en oändlig modell har modeller i alla oändliga kardinaliteter.

Modellteorin studerar främst klassen av modeller för en given teori. Enkla resultat av detta slag omfattar till exempel inbäddningsteorem.

Dessutom kan man utifrån egenskaper hos teorin uttala sig som möjligheten att ge en strukturteori för klassen av modeller. Ett relativt enkelt resultat av denna typ är att en teori som kan uttrycka ordning, dvs en teori sådan att det finns en formel P(x,y) som är en ordning på en delmängd till någon modell, inte har någon strukturteori på klassen av modeller. En sådan teori kallas instabil. Studiet av denna typ av modellteoretiska resultat kallas stabilitetsteori, en gren som grundlades av Shelah i hans avhandling från 1969. En föregångare till denna teori var Morleys bevis av Los hypotes, att en första ordningens teori som är kategorisk i någon överuppräknelig kardinalitet är kategorisk i alla överuppräkneliga kardinaliteter

Den mest utvecklade modellteorin finns för första ordningens språk. Där kan en modell beskrivas som en tupel (M,P_i,f_i,c_i) där M är en mängd, P_i en sekvens av predikat på M (delmängder till M^k), f_i är funktioner på M^k för något k, och c_i är element i M.

Redigera?

Artikeln skriven 2009-01-15 av Learning4sharing

Inga kategorier för denna artikel än...

Vi behhöver hjälp att kategorisera våra artiklar. Kan du skriva ett nyckelord för denna artikel? Du kan skriva upp till 3 olika nyckelord för denna artikel, vi uppskattar din hjälp!

Skriv nyckelord som du tycker beskriver denna artikel på ett bra sätt. Du kan ange 3 olika nyckelord för denna artikel, max 20 tecken per nyckelord.

  1. Lägg till fler
    Skriv in svaret på frågan: 10+9

Intresserad av fler artiklar?

Talteori
Cerealia
Stimulus
Klassisk betingning
Klassisk inlärning
RTFW
Johann Neumann
Stfg
RTFS

Senaste sökningarna

roque falcón har fått 1001 sökningar. Den senaste gjordes 2023-11-30 19:24:45.

reguljära primtal har fått 489 sökningar. Den senaste gjordes 2023-11-30 19:24:26.

rallyförare har fått 1124 sökningar. Den senaste gjordes 2023-11-30 19:24:07.

mjölkmaskin har fått 1312 sökningar. Den senaste gjordes 2023-11-30 19:24:00.

missionär har fått 1243 sökningar. Den senaste gjordes 2023-11-30 19:23:45.

ica väst har fått 1117 sökningar. Den senaste gjordes 2023-11-30 19:23:29.

höstdagjämning har fått 1299 sökningar. Den senaste gjordes 2023-11-30 19:23:12.

högtalare har fått 2232 sökningar. Den senaste gjordes 2023-11-30 19:22:53.

högsta domstolen har fått 921 sökningar. Den senaste gjordes 2023-11-30 19:22:32.

högmod har fått 1126 sökningar. Den senaste gjordes 2023-11-30 19:22:10.

högkultur har fått 1357 sökningar. Den senaste gjordes 2023-11-30 19:21:50.

högen har fått 1146 sökningar. Den senaste gjordes 2023-11-30 19:21:29.

Designed by: template world
Learning4sharing.nu
All Rights Reserved. 0.06 SEK

Logga in

Välkommen att redigera och skriva nya artiklar!

Ingent Konto?

Skaffa konto för att redigera och skapa nya ariklar Nytt Konto.

Ny Användare

Välkommen att redigera och skriva nya artiklar! Skapa konto nedan.


Ett verifieringsmail kommer att skickas till din E-post som du måste öppna och verifiera din E-post med

Lägg till artikel

Du är inte inloggad.

Logga In eller Skapa konto.