Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:27268529n
Noun Concept
Categories: Universal algebra, Mathematical structures, Mathematical logic, Model theory, Articles with short description
EN
structure  model  homomorphism problem  interpretation function  many-sorted structure
EN
In universal algebra and in model theory, a structure consists of a set along with a collection of finitary operations and relations that are defined on it. Wikipedia
English:
mathematical logic
model theory
Definitions
Relations
Sources
EN
In universal algebra and in model theory, a structure consists of a set along with a collection of finitary operations and relations that are defined on it. Wikipedia
The algebraic structures studied in model theory Wikipedia Disambiguation
Term in universal algebra and in model theory Wikidata
IS A
rudiment
PART OF
model theory
universal algebra
HAS KIND
inner model
mouse
variety
substructure
HAS INSTANCE
Herbrand structure
STUDIED BY
category theory
Wikipedia
EN
structure (mathematical logic)
Wikidata
EN
Structure (mathematical logic)
Wikipedia Redirections
EN
homomorphism problem, interpretation function, many-sorted structure, model (in logic), One-sorted structure, relational structure, sort (mathematical logic), Structure (model theory)

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