Skip to search formSkip to main contentSkip to account menu

Arithmetical set

Known as: Arithmetical real number, Arithmetic set, Arithmetical number 
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… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Let Ω = π(K) be arbitrary. In [10], the authors address the negativity of natural curves under the additional assumption that… 
2012
2012
We pose thirty conjectures on arithmetical sequences, most of which are about monotonicity of sequences of the form $(\root n\of… 
Highly Cited
2011
Highly Cited
2011
Constructing a representation in which students express their domain understanding can help them improve their knowledge. Many… 
2008
2008
In recent papers, Fesenko has defined the non-abelian local reciprocity map for every totally-ramified arithmetically profinite… 
2006
2006
Pocklington certificates are known to provide short proofs of primality. We show how to perform this in the framework of formal… 
1993
1993
  • Gerhard JägerR. Stärk
  • The Journal of Logic Programming
  • 1993
  • Corpus ID: 15092836
1970
1970
Introduction. A computable field is one whose elements may be placed in one-one correspondence with the natural numbers in such a… 
Highly Cited
1968
Highly Cited
1968
This paper presents some new theorems concerning recursively enumerable (r.e.) sets. The aim of the paper is to advance the…