About: Arithmetical set

Property	Value
dbo:description	mathematical concept (en)
dbo:wikiPageWikiLink	dbr:First-order_arithmetic dbr:Peano_arithmetic dbr:Computable_set dbr:Computable_function dbc:Computability_theory dbr:Function_(mathematics) dbr:Mathematical_logic dbr:Arithmetical_hierarchy dbr:Sequence dbr:Complex_number dbr:Formal_language dbr:Real_number dbr:Natural_number dbr:Prime_number dbr:Complement_(set_theory) dbr:Halting_problem dbr:Set_(mathematics) dbr:Graph_of_a_function dbr:Subset dbr:Finitary_relation dbr:Computable_number dbr:Dense_order dbr:First-order_logic dbr:Tuple dbr:Finitary dbr:Well-formed_formula dbr:Countable_set dbc:Mathematical_logic_hierarchies dbc:Effective_descriptive_set_theory dbr:Turing_jump dbr:Recursively_enumerable_set dbr:Integers dbr:Chaitin's_constant_Ω dbr:Tarski's_indefinability_theorem dbr:Gödel_number dbr:Rational_numbers dbr:Real_and_imaginary_parts dbr:Order-isomorphic
dbp:wikiPageUsesTemplate	dbt:Number_systems dbt:Oclc dbt:Refimprove dbt:Short_description
dct:subject	dbc:Computability_theory dbc:Mathematical_logic_hierarchies dbc:Effective_descriptive_set_theory
rdfs:label	Arithmetical set (en) Aritmetika aro (eo) Conjunto aritmético (pt) Арифметическое множество (ru)
owl:sameAs	yago-res:Arithmetical set freebase:Arithmetical set wikidata:Arithmetical set dbpedia-pt:Arithmetical set dbpedia-ro:Arithmetical set dbpedia-ru:Arithmetical set dbpedia-eo:Arithmetical set dbpedia-global:Arithmetical set
prov:wasDerivedFrom	wikipedia-en:Arithmetical_set?oldid=1249568622&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Arithmetical_set
is dbo:wikiPageRedirects of	dbr:Arithmetic_set dbr:Arithmetical_numbers dbr:Arithmetical_real_number dbr:Arithmetically_definable dbr:Arithmetically_definable_function
is dbo:wikiPageWikiLink of	dbr:Constructive_set_theory dbr:Definable_set dbr:Turing_reduction dbr:List_of_mathematical_logic_topics dbr:Outline_of_logic dbr:Hyperarithmetical_theory dbr:List_of_types_of_sets dbr:Arithmetic_set dbr:Arithmetical_numbers dbr:Arithmetical_real_number dbr:Arithmetically_definable dbr:Arithmetically_definable_function
is foaf:primaryTopic of	wikipedia-en:Arithmetical_set