Finite Model Theory
Finite Model Theory studies the logical properties of structures that have a finite number of elements. It focuses on understanding the expressive power of various logical languages when restricted to finite structures, and explores the computational complexity of decision problems related to these structures.