Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Definable_real_number> ?p ?o }
Showing triples 1 to 86 of
86
with 100 triples per page.
- Definable_real_number abstract "A real number a is first-order definable in the language of set theory, without parameters, if there is a formula φ in the language of set theory, with one free variable, such that a is the unique real number such that φ(a) holds in the standard model of set theory (see Kunen 1980:153). For the purposes of this article, such reals will be called simply definable numbers. This should not be understood to be standard terminology.Note that this definition cannot be expressed in the language of set theory itself.".
- Definable_real_number wikiPageExternalLink Turing.pdf.
- Definable_real_number wikiPageID "8361".
- Definable_real_number wikiPageLength "7575".
- Definable_real_number wikiPageOutDegree "48".
- Definable_real_number wikiPageRevisionID "683780487".
- Definable_real_number wikiPageWikiLink 0_(number).
- Definable_real_number wikiPageWikiLink 1_(number).
- Definable_real_number wikiPageWikiLink Alan_Turing.
- Definable_real_number wikiPageWikiLink Algebraic_number.
- Definable_real_number wikiPageWikiLink Almost_all.
- Definable_real_number wikiPageWikiLink Analytical_hierarchy.
- Definable_real_number wikiPageWikiLink Arithmetical_hierarchy.
- Definable_real_number wikiPageWikiLink Berry_paradox.
- Definable_real_number wikiPageWikiLink Cantors_diagonal_argument.
- Definable_real_number wikiPageWikiLink Category:Set_theory.
- Definable_real_number wikiPageWikiLink Cauchy_sequence.
- Definable_real_number wikiPageWikiLink Chaitins_constant.
- Definable_real_number wikiPageWikiLink Complete_metric_space.
- Definable_real_number wikiPageWikiLink Complete_space.
- Definable_real_number wikiPageWikiLink Complex_number.
- Definable_real_number wikiPageWikiLink Computable_number.
- Definable_real_number wikiPageWikiLink Constructible_number.
- Definable_real_number wikiPageWikiLink Constructible_universe.
- Definable_real_number wikiPageWikiLink Countable_set.
- Definable_real_number wikiPageWikiLink Countably_infinite.
- Definable_real_number wikiPageWikiLink Dedekind_cut.
- Definable_real_number wikiPageWikiLink E_(mathematical_constant).
- Definable_real_number wikiPageWikiLink Entscheidungsproblem.
- Definable_real_number wikiPageWikiLink Field_(mathematics).
- Definable_real_number wikiPageWikiLink Free_variable.
- Definable_real_number wikiPageWikiLink Free_variables_and_bound_variables.
- Definable_real_number wikiPageWikiLink Gödel_number.
- Definable_real_number wikiPageWikiLink Gödel_numbering.
- Definable_real_number wikiPageWikiLink Halting_problem.
- Definable_real_number wikiPageWikiLink Illimited_number.
- Definable_real_number wikiPageWikiLink Infinitesimal.
- Definable_real_number wikiPageWikiLink Infinitesimal_number.
- Definable_real_number wikiPageWikiLink Internal_set_theory.
- Definable_real_number wikiPageWikiLink Language_of_arithmetic.
- Definable_real_number wikiPageWikiLink Limit_of_a_sequence.
- Definable_real_number wikiPageWikiLink Mathematical_constant.
- Definable_real_number wikiPageWikiLink Natural_number.
- Definable_real_number wikiPageWikiLink Non-standard_analysis.
- Definable_real_number wikiPageWikiLink One.
- Definable_real_number wikiPageWikiLink Ordinal_number.
- Definable_real_number wikiPageWikiLink Pi.
- Definable_real_number wikiPageWikiLink Predicate_(logic).
- Definable_real_number wikiPageWikiLink Predicate_(mathematical_logic).
- Definable_real_number wikiPageWikiLink Rational_number.
- Definable_real_number wikiPageWikiLink Real_number.
- Definable_real_number wikiPageWikiLink Set_(mathematics).
- Definable_real_number wikiPageWikiLink Set_Theory:_An_Introduction_to_Independence_Proofs.
- Definable_real_number wikiPageWikiLink Set_theory.
- Definable_real_number wikiPageWikiLink Uncountable_set.
- Definable_real_number wikiPageWikiLink ZFC.
- Definable_real_number wikiPageWikiLink Zermelo–Fraenkel_set_theory.
- Definable_real_number wikiPageWikiLink Zero.
- Definable_real_number wikiPageWikiLink Zero_sharp.
- Definable_real_number wikiPageWikiLinkText "Definable number".
- Definable_real_number wikiPageWikiLinkText "Definable real number".
- Definable_real_number wikiPageWikiLinkText "definable numbers".
- Definable_real_number wikiPageWikiLinkText "definable real number".
- Definable_real_number wikiPageWikiLinkText "numbers that cannot be defined".
- Definable_real_number date "July 2014".
- Definable_real_number hasPhotoCollection Definable_real_number.
- Definable_real_number reason "See http://mathoverflow.net/a/44129".
- Definable_real_number wikiPageUsesTemplate Template:Citation.
- Definable_real_number wikiPageUsesTemplate Template:Disputed.
- Definable_real_number wikiPageUsesTemplate Template:Expert-subject.
- Definable_real_number wikiPageUsesTemplate Template:No_footnotes.
- Definable_real_number wikiPageUsesTemplate Template:Original_research.
- Definable_real_number wikiPageUsesTemplate Template:Pi.
- Definable_real_number wikiproject "Mathematics".
- Definable_real_number subject Category:Set_theory.
- Definable_real_number hypernym u03A6.
- Definable_real_number comment "A real number a is first-order definable in the language of set theory, without parameters, if there is a formula φ in the language of set theory, with one free variable, such that a is the unique real number such that φ(a) holds in the standard model of set theory (see Kunen 1980:153). For the purposes of this article, such reals will be called simply definable numbers.".
- Definable_real_number label "Definable real number".
- Definable_real_number sameAs Difinebla_nombro.
- Definable_real_number sameAs 정의_가능한_수.
- Definable_real_number sameAs m.02b78.
- Definable_real_number sameAs Q3893614.
- Definable_real_number sameAs Q3893614.
- Definable_real_number sameAs 可定义数.
- Definable_real_number wasDerivedFrom Definable_real_number?oldid=683780487.
- Definable_real_number isPrimaryTopicOf Definable_real_number.