In
mathematical logic
Mathematical logic is the study of logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of for ...
, an effective Polish space is a
complete
Complete may refer to:
Logic
* Completeness (logic)
* Completeness of a theory, the property of a theory that every formula in the theory's language or its negation is provable
Mathematics
* The completeness of the real numbers, which implies t ...
separable metric space
In mathematics, a metric space is a set together with a notion of ''distance'' between its elements, usually called points. The distance is measured by a function called a metric or distance function. Metric spaces are the most general settin ...
that has a
computable presentation
Computability is the ability to solve a problem in an effective manner. It is a key topic of the field of computability theory within mathematical logic and the theory of computation within computer science. The computability of a problem is clos ...
. Such spaces are studied in
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). Thus effective descriptiv ...
and in
constructive analysis
In mathematics, constructive analysis is mathematical analysis done according to some principles of constructive mathematics.
This contrasts with ''classical analysis'', which (in this context) simply means analysis done according to the (more comm ...
. In particular, standard examples of
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. Polish spaces are so named bec ...
s such as the
real line
In elementary mathematics, a number line is a picture of a graduated straight line (geometry), line that serves as visual representation of the real numbers. Every point of a number line is assumed to correspond to a real number, and every real ...
, the
Cantor set
In mathematics, the Cantor set is a set of points lying on a single line segment that has a number of unintuitive properties. It was discovered in 1874 by Henry John Stephen Smith and introduced by German mathematician Georg Cantor in 1883.
Thr ...
and the
Baire space
In mathematics, a topological space X is said to be a Baire space if countable unions of closed sets with empty interior also have empty interior.
According to the Baire category theorem, compact Hausdorff spaces and complete metric spaces are ...
are all effective Polish spaces.
Definition
An effective Polish space is a complete separable metric space ''X'' with metric ''d'' such that there is a countable dense set ''C'' = (''c''
0, ''c''
1,...) that makes the following two
relations on
computable (Moschovakis 2009:96-7):
:
:
References
*
Yiannis N. Moschovakis
Yiannis Nicholas Moschovakis ( el, Γιάννης Μοσχοβάκης; born January 18, 1938) is a set theorist, descriptive set theorist, and recursion (computability) theorist, at UCLA.
His book ''Descriptive Set Theory'' (North-Holland) is ...
, 2009, ''Descriptive Set Theory'', 2nd edition, American Mathematical Society.
Computable analysis
Effective descriptive set theory
Computability theory
{{mathlogic-stub