Effective Polish space
id:
effective-polish-space-261-10028043
title:
Effective Polish space
text:
In mathematical logic, an effective Polish space is a complete separable metric space that has a computable presentation. Such spaces are studied in effective descriptive set theory and in constructive analysis. In particular, standard examples of Polish spaces such as the real line, the Cantor set and the Baire space are all effective Polish spaces.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Effective_Polish_space
date created:
date modified:
2024-03-06T07:45:14Z
main entity:
{"identifier":"Q5347243","url":"https://www.wikidata.org/entity/Q5347243"}
image:
fields total:
13
integrity:
13