11 relations: Analytic set, Analytical hierarchy, Baire space (set theory), Cantor space, Complement (set theory), Descriptive set theory, Effective descriptive set theory, Effective Polish space, Polish space, Real line, Springer Science+Business Media.
Analytic set
In descriptive set theory, a subset of a Polish space X is an analytic set if it is a continuous image of a Polish space.
New!!: Projective hierarchy and Analytic set · See more »
Analytical hierarchy
In mathematical logic and descriptive set theory, the analytical hierarchy is an extension of the arithmetical hierarchy.
New!!: Projective hierarchy and Analytical hierarchy · See more »
Baire space (set theory)
In set theory, the Baire space is the set of all infinite sequences of natural numbers with a certain topology.
New!!: Projective hierarchy and Baire space (set theory) · See more »
Cantor space
In mathematics, a Cantor space, named for Georg Cantor, is a topological abstraction of the classical Cantor set: a topological space is a Cantor space if it is homeomorphic to the Cantor set.
New!!: Projective hierarchy and Cantor space · See more »
Complement (set theory)
In set theory, the complement of a set refers to elements not in.
New!!: Projective hierarchy and Complement (set theory) · See more »
Descriptive set theory
In mathematical logic, descriptive set theory (DST) is the study of certain classes of "well-behaved" subsets of the real line and other Polish spaces.
New!!: Projective hierarchy and Descriptive set theory · See more »
Effective descriptive set theory
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).
New!!: Projective hierarchy and Effective descriptive set theory · See more »
Effective Polish space
In mathematical logic, an effective Polish space is a complete separable metric space that has a computable presentation.
New!!: Projective hierarchy and Effective Polish space · See more »
Polish space
In the mathematical discipline of general topology, a Polish space is a separable completely metrizable topological space; that is, a space homeomorphic to a complete metric space that has a countable dense subset.
New!!: Projective hierarchy and Polish space · See more »
Real line
In mathematics, the real line, or real number line is the line whose points are the real numbers.
New!!: Projective hierarchy and Real line · See more »
Springer Science+Business Media
Springer Science+Business Media or Springer, part of Springer Nature since 2015, is a global publishing company that publishes books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing.
New!!: Projective hierarchy and Springer Science+Business Media · See more »