In mathematical logic, an arithmetical set (or arithmetic set) is a set of natural numbers that can be defined by a formula of first-order Peano arithmetic. The arithmetical sets are classified by the arithmetical hierarchy. A function <math>f:\subseteq \mathbb{N}^k \to \mathbb{N}</math> is called arithmetically definable if the graph of <math>f</math> is an arithmetical set.
| Property | Value |
|---|
| dbpprop:abstract
|
- In mathematical logic, an arithmetical set (or arithmetic set) is a set of natural numbers that can be defined by a formula of first-order Peano arithmetic. The arithmetical sets are classified by the arithmetical hierarchy. A function <math>f:\subseteq \mathbb{N}^k \to \mathbb{N}</math> is called arithmetically definable if the graph of <math>f</math> is an arithmetical set.
|
| dbpprop:hasPhotoCollection
| |
| rdf:type
| |
| rdfs:comment
|
- In mathematical logic, an arithmetical set (or arithmetic set) is a set of natural numbers that can be defined by a formula of first-order Peano arithmetic. The arithmetical sets are classified by the arithmetical hierarchy. A function <math>f:\subseteq \mathbb{N}^k \to \mathbb{N}</math> is called arithmetically definable if the graph of <math>f</math> is an arithmetical set.
|
| rdfs:label
| |
| owl:sameAs
| |
| skos:subject
| |
| foaf:page
| |
| is dbpprop:redirect
of | |
| is owl:sameAs
of | |
![[RDF Data]](/statics/sw-cube.png)
