Finite model theory

Rarity: Common

The most frequent rarity: most Wikipedia articles become Commons.

Rarity follows how well known the article is: its views on the French and English Wikipedia over a year, and the number of languages it exists in.

At a glance

Class

Notion

Domain

Beliefs and thought

In collections

Nobody has pulled it yet.

What Wikipedia says

Finite model theory is a subarea of model theory. Model theory is the branch of logic which deals with the relation between a formal language (syntax) and its interpretations (semantics). Finite model theory is a restriction of model theory to interpretations on finite structures, which have a finite universe.

Excerpt from the Wikipedia article “Finite model theory”, under the CC BY-SA 4.0 license. Read the article on Wikipedia