About: Definable real number

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Real number uniquely specified by description

Property	Value
dbo:description	real number uniquely specified by description (en) 能够以有限的文字描述出来的数 (zh)
dbo:thumbnail	wiki-commons:Special:FilePath/Square_root_of_2_triangle.svg?width=300
dbo:wikiPageWikiLink	dbr:Chaitin's_constant dbr:Constructible_universe dbr:Class_(set_theory) dbr:Countable_set dbr:Cantor's_diagonal_argument dbc:Set_theory dbr:Real_number dbr:Set_theory dbr:Cardinality dbr:Analytical_hierarchy dbr:Free_variable dbr:Specker_sequence dbr:Pi dbr:Formal_language dbr:Zermelo–Fraenkel_set_theory dbr:Doubling_the_cube dbr:Arithmetical_hierarchy dbr:Computable_number dbr:Constructible_number dbr:Alan_Turing dbr:Tarski's_undefinability_theorem dbr:E_(mathematical_constant) dbr:Von_Neumann_universe dbr:Field_extension dbr:Georg_Cantor's_first_set_theory_article dbr:Polynomial dbr:Model_theory dbr:Entscheidungsproblem dbr:Algebraic_number dbr:Almost_everywhere dbr:Ordinal_definable_set dbr:Dedekind_cut dbr:Second-order_arithmetic dbr:Natural_number dbr:Algorithmically_random_sequence dbr:One dbr:Predicate_(logic) dbr:Peano_arithmetic dbr:Zero dbr:Berry's_paradox dbr:File:Algebraicszoom.png dbr:Countably_many dbr:Algebraic_numbers dbr:Nonconstructive_proof dbr:File:Square_root_of_2_triangle.svg dbr:Transcendental_numbers
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:R dbt:Pi dbt:Number_systems dbt:Mvar dbt:Main_article dbt:Short_description
dct:subject	dbc:Set_theory
gold:hypernym	dbr:Φ
rdfs:label	Definable real number (en) Difinebla nombro (eo) 定義可能実数 (ja) 정의 가능한 수 (ko) 可定义数 (zh)
owl:sameAs	freebase:Definable real number wikidata:Definable real number dbpedia-zh:Definable real number dbpedia-ja:Definable real number dbpedia-ko:Definable real number dbpedia-eo:Definable real number dbpedia-global:Definable real number dbr:Definable real number
prov:wasDerivedFrom	wikipedia-en:Definable_real_number?oldid=1217988988&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Square_root_of_2_triangle.svg wiki-commons:Special:FilePath/Algebraicszoom.png
foaf:isPrimaryTopicOf	wikipedia-en:Definable_real_number
is dbo:wikiPageDisambiguates of	dbr:Definable
is dbo:wikiPageRedirects of	dbr:Definable_number dbr:Definable_numbers dbr:Undefinable_number dbr:Undefinable_numbers dbr:Arithmetical_number
is dbo:wikiPageWikiLink of	dbr:Chaitin's_constant dbr:List_of_types_of_numbers dbr:Real_number dbr:Skolem's_paradox dbr:Constructible_number dbr:Mathematical_constant dbr:List_of_mathematical_logic_topics dbr:Definable dbr:Definable_number dbr:Definable_numbers dbr:Undefinable_number dbr:Undefinable_numbers dbr:Arithmetical_number
is foaf:primaryTopic of	wikipedia-en:Definable_real_number