Zum Inhalt springen

Kategorie:Modelltheorie der Prädikatenlogik/Definitionen

Aus Wikiversity

< Kategorie:Modelltheorie der Prädikatenlogik

Diese Kategorie ist eine mathematische Definitions-Kategorie.

Unterkategorien

Diese Kategorie enthält die folgenden 3 Unterkategorien (3 insgesamt):

S

Substitutionstheorie der Prädikatenlogik/Definitionen (2 S)

T

Theorie der elementaren Äquivalenz/Definitionen (1 K, 1 S)
Theorie der Homomorphismen (Prädikatenlogik)/Definitionen (6 S)

Seiten in der Kategorie „Modelltheorie der Prädikatenlogik/Definitionen“

Folgende 9 Seiten sind in dieser Kategorie, von 9 insgesamt.

A

Prädikatenlogik/Allgemeingültig/Jedes Modell/Definition

E

Prädikatenlogik/Erfüllbar/Durch Modell/Definition

F

G

Mathematische Logik/Modellbeziehung/Definition

I

Alphabet erster Stufe/A/Struktur/Belegung/Interpretation/Definition

N

Modell/Nichtstandardmodell/Definition

T

Alphabet erster Stufe/A/Interpretation für Terme/Definition

U

Alphabet erster Stufe/A/Umbelegung und Uminterpretation/Definition

Abgerufen von „https://de.wikiversity.org/w/index.php?title=Kategorie:Modelltheorie_der_Prädikatenlogik/Definitionen&oldid=389047“