Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03086100n
Noun Concept
Categories: Mathematical logic, Concepts in logic, Model theory
EN
type  complete type  omitting types  omitting types theorem
EN
In model theory and related areas of mathematics, a type is an object that describes how a element or finite collection of elements in a mathematical structure might behave. Wikipedia
English:
model theory
Definitions
Relations
Sources
EN
In model theory and related areas of mathematics, a type is an object that describes how a element or finite collection of elements in a mathematical structure might behave. Wikipedia
IS A
mathematical object
Wikipedia
EN
type (model theory)
Wikidata
EN
type
Wikipedia Redirections
EN
complete type, omitting types, omitting types theorem

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