Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
We pose thirty conjectures on arithmetical sequences, most of which are about monotonicity of sequences of the form $(\root n\of… Expand
Highly Cited
2011
Highly Cited
2011
Constructing a representation in which students express their domain understanding can help them improve their knowledge. Many… Expand
2006
2006
Pocklington certificates are known to provide short proofs of primality. We show how to perform this in the framework of formal… Expand
  • figure 1
  • figure 2
  • figure 3
2003
2003
  • O. Finkel
  • RAIRO Theor. Informatics Appl.
  • 2003
  • Corpus ID: 10250495
We prove that for every countable ordinal a one cannot decide whether a given infinitary rational relation is in the Borel class… Expand
1993
1993
Abstract We investigate the defining power of stratified and hierarchical logic programs. As an example for the treatment of… Expand
1970
1970
Introduction. A computable field is one whose elements may be placed in one-one correspondence with the natural numbers in such a… Expand
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… Expand
1951
1951
If F is a field, and a is an element of F, we say that a is arithmetically definable in F if there is a formula containing one… Expand