Category:Definitions/Model Theory for Predicate Logic
Jump to navigation
Jump to search
This category contains definitions related to Model Theory for Predicate Logic.
Related results can be found in Category:Model Theory for Predicate Logic.
Model theory for predicate logic is the sub-branch of model theory that focuses on predicate logic.
In particular, the formal semantics of structures for predicate logic is studied.
Pages in category "Definitions/Model Theory for Predicate Logic"
The following 65 pages are in this category, out of 65 total.
A
C
D
E
- Definition:Elementary Embedding
- Definition:Elementary Embedding/Partial Elementary Embedding
- Definition:Elementary Equivalence
- Definition:Embedding (Model Theory)
- Equivalence of Definitions of Semantic Equivalence for Predicate Logic
- Definition:Expansion of Structure
- Definition:Extension of Structure
I
M
S
- Definition:Saturated Model
- Definition:Semantic Equivalence (Predicate Logic)
- Definition:Semantic Equivalence/Predicate Logic
- Definition:Signature (Logic)/Predicate Logic
- Definition:Stability (Model Theory)
- Definition:Stability (Model Theory)/Kappa-Stable Structure
- Definition:Stability (Model Theory)/Kappa-Stable Theory
- Definition:Stability (Model Theory)/Stable Theory
- Definition:Stability (Model Theory)/Unstable Theory
- Definition:Stable Theory
- Definition:Structure for Predicate Logic
- Definition:Structure for Predicate Logic/Formal Semantics
- Definition:Structure for Predicate Logic/Formal Semantics/Sentence
- Definition:Structure for Predicate Logic/Formal Semantics/Well-Formed Formula
- Definition:Subsignature
- Definition:Subsignature/Supersignature
- Definition:Substructure
- Definition:Supersignature