The following are the current most viewed articles on Wikipedia within Wikipedia's Finite model theory category. Think of it as a What's Hot list for Finite model theory. More info »

This is a beta release and so the figures may be a day or two out of date. We'd love to get your thoughts.

Rank	Topic	Wikipedia views
1	Model checking	254
2	Descriptive complexity theory	48
3	Finite model theory	42
4	Lindström quantifier	21
5	FO (complexity)	20
6	SO (complexity)	10
7	HO (complexity)	8
8	Łoś–Tarski preservation theorem	less than 5 views
9	Trakhtenbrot's theorem	less than 5 views

Subcategories

• Model checkers

Parent categories

• Model theory

Encyclopedia