Blatter-Specker Theorem for ternary relations

dberwanger — Fri, 18 May 2012 11:38:55 +0200

Author(s): Makowsky

Let be a class of finite relational structures. We denote by the number of structures in over the labeled set . For any class definable in monadic second-order logic with unary and binary relation symbols, Specker and Blatter showed that, for every , the function is ultimately periodic modulo .

Question Does the Blatter-Specker Theorem hold for ternary relations.

Open Problem Garden - Blatter-Specker Theorem for ternary relations - Comments

Blatter-Specker Theorem for ternary relations