En la siguiente tabla se presentara las principales extensiones de formula_3, especificando las nuevas propiedades expresables en la extensión y los límites para la complejidad computacional.