Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Definable_real_number> ?p ?o. }
Showing items 1 to 15 of
15
with 100 items 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 wikiPageRevisionID "586735071".
- Definable_real_number hasPhotoCollection Definable_real_number.
- Definable_real_number subject Category:Set_theory.
- 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 label "可定义数".
- Definable_real_number sameAs 정의_가능한_수.
- Definable_real_number sameAs m.02b78.
- Definable_real_number sameAs Q3893614.
- Definable_real_number sameAs Q3893614.
- Definable_real_number wasDerivedFrom Definable_real_number?oldid=586735071.
- Definable_real_number isPrimaryTopicOf Definable_real_number.