Absoluteness theorems for arbitrary Polish spaces
ABSTRACT. By coding Polish metric spaces with metrics on countable sets, we propose an interpretation of Polish metric spaces in models of ZFC and extend Mostowski's classical theorem of absoluteness of analytic sets for any Polish metric space in general. In addition, we prove a general version of Shoenfield's absoluteness theorem.
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Digital revista |
| Language: | English |
| Published: |
Universidad Nacional de Colombia y Sociedad Colombiana de Matemáticas
2019
|
| Online Access: | http://www.scielo.org.co/scielo.php?script=sci_arttext&pid=S0034-74262019000200109 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|