Diferencia entre revisiones de «Jerarquía aritmética»

 

Si una fórmula <math>\phi</math> es lógicamente equivalente a una fórmula que posee solo [[cuantificadores acotados]] entonces <math>\phi</math> se asigna a las clasificaciones <math>\Sigma^0_0</math> y <math>\Pi^0_0</math>.

 

Las clasificaciones <math>\Sigma^0_n</math> y <math>\Pi^0_n</math> se definen en forma inductiva para todo número natural ''n'' utilizando las siguientes reglas: