Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 235,627,651 papers from all fields of science
Search
Sign In
Create Free Account
Arithmetical set
Known as:
Arithmetical real number
, Arithmetic set
, Arithmetical number
Expand
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
12 relations
Arithmetical hierarchy
Computable function
Computable number
Formal language
Expand
Broader (2)
Computability theory
Effective descriptive set theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2020
2020
PROVING P 6 = NP IN FIRST-ORDER PA
Callum
2020
Corpus ID: 218720203
. The original inspiration for the argument presented here was the observation, whose proof we sketch first, that it is provable…
Expand
2015
2015
Ramsey ’ s Theorem for pairs in k colors in the hierarchy of classical principles
S. Berardi
,
Silvia Steila
2015
Corpus ID: 5831917
The purpose of this work is to study, from the viewpoint of first order arithmetic (we have no set variables, the only sets are…
Expand
2013
2013
The Surjectivity of Vectors
M. Lafourcade
,
A. Dirichlet
,
Z. J. Hardy
2013
Corpus ID: 14188568
Let Ω = π(K) be arbitrary. In [10], the authors address the negativity of natural curves under the additional assumption that…
Expand
2008
2008
2 2 M ay 2 00 8 Fesenko reciprocity map Kâzım İlhan İKEDA and Erol SERBEST Dedicated to our teacher
M. Bilhan
2008
Corpus ID: 16122544
In [1, 2, 3], Fesenko has defined the non-abelian local reciprocity map for every totally-ramified arithmetically profinite (APF…
Expand
2003
2003
Restricted Limits on Natural Functions with Arithmetical Graphs
Jerzy Mycka
Rev. Colomb. de Computación
2003
Corpus ID: 17697991
In this paper we consider the process of defining natural functions by the operation of infinite limit: F (x) = limy→∞,y∈A f(x, y…
Expand
2002
2002
Partial Gorenstein in codimension 3
A. Ragusa
,
G. Zappala
2002
Corpus ID: 116892164
The goal of the paper is to build particular three codimensional arithmetically Cohen-Macaulay subschemes of P^r , partial…
Expand
2001
2001
N T ] 8 F eb 2 00 1 RAMIFICATION IN C-EXTENSIONS OF LOCAL FIELDS OF CHARACTERISTIC 0
O. Sauzet
2001
Corpus ID: 14493122
We construct explicitly APF extensions of finite extensions of Qp for which the Galois group is not a p-adic Lie group and which…
Expand
1996
1996
Diierence Sets and Computability Theory Zoltt an F Uredi
theoryRod Downey
,
C. Jockusch
,
L. Rubel
1996
Corpus ID: 16739135
For a set A of non-negative integers, let D(A) (the diierence set of A) be the set of non-negative diierences of elements of A…
Expand
1991
1991
Arithmetical Set Theory
P. Strauss
Studia Logica: An International Journal for…
1991
Corpus ID: 30877469
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…
Expand
1965
1965
Undefinability of addition from one unary operator
R. McNaughton
1965
Corpus ID: 121044419
It is the object of this paper to prove that the binary operator of addition of the natural numbers is not arithmetically…
Expand