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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
The relations between the classes of positive and strongly positive arithmetical sets are investigated. Some simplified form for… (More)
Is this relevant?
2017
2017
Philosophers of science since Nagel have been interested in the links between intertheoretic reduction and explanation… (More)
Is this relevant?
2012
2012
An open question in reverse mathematics is whether the cohesive principle, $\COH$, is implied by the stable form of Ramsey's… (More)
Is this relevant?
2011
2011
Systems of equations with sets of integers as unknowns are considered. It is shown that the class of sets representable by unique… (More)
  • table 1
Is this relevant?
2010
2010
Systems of equations with sets of integers as unknowns are considered. It is shown that the class of sets representable by unique… (More)
  • table 1
  • figure 1
  • table 2
  • table 3
  • table 4
Is this relevant?
2004
2004
Given a set A of natural numbers, let dðAÞ 1⁄4 fðy xÞ j xoyAAg and let mðAÞ 1⁄4 minðdðAÞÞ: The set A is said to be pseudo… (More)
Is this relevant?
2003
2003
We prove that for every countable ordinal α one cannot decide whether a given infinitary rational relation is in the Borel class 
Is this relevant?
2003
2003
In this paper we consider the process of defining natural functions by the operation of infinite limit: F (x̄) = limy→∞,y∈A f(x… (More)
Is this relevant?
1991
1991
It is well known that number theory can be interpreted in the usual set theories, e.g. ZF, NF and their extensions. The problem I… (More)
Is this relevant?
1970
1970
Introduction. A computable field is one whose elements may be placed in one-one correspondence with the natural numbers in such a… (More)
Is this relevant?