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…

Papers overview

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

2020

. The original inspiration for the argument presented here was the observation, whose proof we sketch ﬁrst, that it is provable…

2018

Abstract There has been a recent interest in hierarchical generalizations of classic incompleteness results. This paper provides…

2016

We analyze the logical strength of theorems on marriage problems with a fixed finite number of solutions via the techniques of…

2013

Let Ω = π(K) be arbitrary. In [10], the authors address the negativity of natural curves under the additional assumption that…

2005

Godel’s Second Incompleteness Theorem states axiom systems of sufficient strength are unable to verify their own consistency. We…

2002

The goal of the paper is to build particular three codimensional arithmetically Cohen-Macaulay subschemes of P^r , partial…

2001

We construct explicitly APF extensions of finite extensions of Qp for which the Galois group is not a p-adic Lie group and which…

1993

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…

1951

If F is a field, and α is an element of F, we say that α is arithmetically definable in F if there is a formula containing one…