About: Effective descriptive set theory

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Effective descriptive set theory Goto Sponge NotDistinct Permalink

An Entity of Type : dbo:Organisation, within Data Space : el.dbpedia.org associated with source document(s)

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.

Attributes	Values
rdf:type	organisation
rdfs:label	Effective descriptive set theory (en)
rdfs:comment	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. (en)
sameAs	Effective descriptive set theory
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Main dbt:Settheory-stub
Subject	Effective descriptive set theory
gold:hypernym	Branch
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Effective_descriptive_set_theory?oldid=1051251225&ns=0
Wikipage page ID	3244136 (xsd:integer)
page length (characters) of wiki page	3349 (xsd:nonNegativeInteger)
Wikipage revision ID	1051251225 (xsd:integer)
Link from a Wikipage to another Wikipage	Logical equivalence Andrzej Mostowski Arithmetical hierarchy Baire space (set theory) Separable space Stephen Cole Kleene Bounded quantifier Cantor set Metric space Set (mathematics) Complete metric space Computability theory Constructive analysis Parameter Effective descriptive set theory Descriptive set theory Peano axioms Pointclass Real line Real number dbr:Computable_presentation
has abstract	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. (en)
foaf:isPrimaryTopicOf	http://en.wikipedia.org/wiki/Effective_descriptive_set_theory
is Link from a Wikipage to another Wikipage of	Arithmetical hierarchy Borel hierarchy Glossary of areas of mathematics Glossary of computer science Hyperarithmetical theory List of inventions and discoveries by women Computability theory Effective Polish space Descriptive set theory
is known for of	Yiannis N. Moschovakis
is foaf:primaryTopic of	http://en.wikipedia.org/wiki/Effective_descriptive_set_theory

Faceted Search & Find service v1.17_git151 as of Feb 20 2025

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Nov 11 2024, on Linux (x86_64-ubuntu_focal-linux-gnu), Single-Server Edition (72 GB total memory, 1 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software