Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01256362n
Noun Concept
Categories: Model theory, Mathematical logic, Mathematical proofs
EN
model theory  History of model theory  homogeneous model  model-theoretic  model-theoretic approach
EN
In mathematical logic, model theory is the study of the relationship between formal theories, and their models. Wikipedia
Definitions
Relations
Sources
EN
In mathematical logic, model theory is the study of the relationship between formal theories, and their models. Wikipedia
A branch of mathematical logic, in which a model is a structure that satisfies a set of logical sentences Wikipedia Disambiguation
Study of classes of mathematical structures from the perspective of mathematical logic Wikidata
IS A
symbolic logic
HAS PART
descriptive complexity theory
interpretation
joint embedding property
Löwenheim–Skolem theorem
Spectrum of a theory
+4 relations
HAS KIND
computable model theory
finite model theory
inner model theory
STUDIES
theory
Wikipedia
EN
model theory
Wikidata
EN
model theory
Wikipedia Redirections
EN
History of model theory, homogeneous model, model-theoretic, model-theoretic approach, model theoretic, Model Theory, theory of models

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License