| http://dbpedia.org/ontology/abstract
|
Effective descriptive set theory is the br … Effective descriptive set theory is the branch of descriptive set theory dealing with sets of reals having lightface definitions; that is, definitions that do not require an arbitrary real parameter (Moschovakis 1980). Thus effective descriptive set theory combines descriptive set theory with recursion theory.criptive set theory with recursion theory.
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://archive.org/details/descriptivesetth0000mosc +
, https://www.math.ucla.edu/~ynm/books.htm +
, https://archive.org/details/recursiveaspects0000mans/page/124 +
|
| http://dbpedia.org/ontology/wikiPageID
|
3244136
|
| http://dbpedia.org/ontology/wikiPageLength
|
3393
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1079500843
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Category:Effective_descriptive_set_theory +
, http://dbpedia.org/resource/Cantor_set +
, http://dbpedia.org/resource/Set_%28mathematics%29 +
, http://dbpedia.org/resource/Metric_space +
, http://dbpedia.org/resource/Complete_metric_space +
, http://dbpedia.org/resource/Parameter +
, http://dbpedia.org/resource/Arithmetical_hierarchy +
, http://dbpedia.org/resource/Stephen_Cole_Kleene +
, http://dbpedia.org/resource/Andrzej_Mostowski +
, http://dbpedia.org/resource/Peano_axioms +
, http://dbpedia.org/resource/Separable_space +
, http://dbpedia.org/resource/Lightface +
, http://dbpedia.org/resource/Real_number +
, http://dbpedia.org/resource/Real_line +
, http://dbpedia.org/resource/Constructive_analysis +
, http://dbpedia.org/resource/Baire_space_%28set_theory%29 +
, http://dbpedia.org/resource/Descriptive_set_theory +
, http://dbpedia.org/resource/Bounded_quantifier +
, http://dbpedia.org/resource/Computable_presentation +
, http://dbpedia.org/resource/Recursion_theory +
, http://dbpedia.org/resource/Logically_equivalent +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Settheory-stub +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Main +
, http://dbpedia.org/resource/Template:Cite_book +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Effective_descriptive_set_theory +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Branch +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Effective_descriptive_set_theory?oldid=1079500843&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Effective_descriptive_set_theory +
|
| owl:sameAs |
http://www.wikidata.org/entity/Q5347253 +
, http://rdf.freebase.com/ns/m.090wdr +
, http://dbpedia.org/resource/Effective_descriptive_set_theory +
, https://global.dbpedia.org/id/4jFP7 +
|
| rdf:type |
http://dbpedia.org/ontology/Organisation +
|
| rdfs:comment |
Effective descriptive set theory is the br … Effective descriptive set theory is the branch of descriptive set theory dealing with sets of reals having lightface definitions; that is, definitions that do not require an arbitrary real parameter (Moschovakis 1980). Thus effective descriptive set theory combines descriptive set theory with recursion theory.criptive set theory with recursion theory.
|
| rdfs:label |
Effective descriptive set theory
|
