# Arithmetical set

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2017

2017

- Computer Science and Information Technologies…
- 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

- Synthese
- 2017

Philosophers of science since Nagel have been interested in the links between intertheoretic reduction and explanation… (More)

Is this relevant?

2012

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

- Theory of Computing Systems
- 2011

Systems of equations with sets of integers as unknowns are considered. It is shown that the class of sets representable by unique… (More)

Is this relevant?

2010

2010

- STACS
- 2010

Systems of equations with sets of integers as unknowns are considered. It is shown that the class of sets representable by unique… (More)

Is this relevant?

2004

2004

- J. Comb. Theory, Ser. A
- 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

- ITA
- 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

- Revista Colombiana de Computación
- 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

- Studia Logica
- 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

- 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?