Aritmetika aro

El Vikipedio, la libera enciklopedio
Saltu al: navigado, serĉo

En matematika logiko aritmetika aro estas kalkulebla aro kiu povas esti difinita per formulo de aritmetiko de la unua ordo. La aritmetikaj aroj estas orditaj en la aritmetika hierarkio.

Funkcio

f:\subseteq \mathbb{N}^k \to \mathbb{N}

estas nomita kiel aritmetike difinebla se la grafikaĵo de f estas aritmetika aro.

Ekzemploj[redakti | redakti fonton]

Propraĵoj[redakti | redakti fonton]

  • La komplemento de aritmetika aro estas aritmetika aro
  • La nombro de aritmetikaj aroj estas kalkulebla.

Vidu ankaŭ[redakti | redakti fonton]