= Lambek–Moser theorem
{wiki=Lambek–Moser_theorem}
The Lambek–Moser theorem is a result in the field of mathematical logic and category theory, specifically concerning the structure of certain types of algebraic systems. It is often cited in the context of combinatory logic and the study of proof theories. In simple terms, the theorem provides conditions under which certain kinds of structures (like categories or algebraic theories) can represent a certain type of logic system.
Back to article page