Absoluteness theorems for arbitrary Polish spaces

Diego Alejandro Mejía; Ismael E. Rivera-Madrid

doi:10.15446/recolma.v53n2.85521

Veröffentlicht

2019-07-01

Absoluteness theorems for arbitrary Polish spaces

Teoremas de absolutidad para espacios polacos arbitrarios

DOI:

https://doi.org/10.15446/recolma.v53n2.85521

Schlagworte:

Mostowski's Absoluteness Theorem, Shoenfield's Absoluteness Theorem, Polish metric spaces (en)
Teorema de Absolutidad de Mostowski, Teorema de Absolutidad de Shoenfield, espacios métricos polacos (es)

Downloads

PDF (Español)

Autor/innen

Diego Alejandro Mejía Shizuoka University
Ismael E. Rivera-Madrid Institución Universitaria Pascual Bravo

Abstract (en)
Abstract (es)

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.

Mediante la codificación de espacios polacos con métricas de conjuntos contables, proponemos una interpretación de espacios métricos polacos en modelos de ZFC y extendemos el clásico Teorema de Absolutidad (para conjuntos analíticos) de Mostowski para cualquier espacio métrico polaco en general. Adicionalmente, probamos una versión general del Teorema de Absolutidad de Shoenfield.

Literaturhinweise

Miguel A. Cardona and Diego A. Mejía, On cardinal characteristics of Yorioka ideals, Math. Log. Quart. 65 (2019), no. 2, 170-199.

John D. Clemens, Isometry of Polish metric spaces, Ann. Pure Appl. Logic 163 (2012), no. 9, 1196-1209. MR 2926279

Su Gao, Invariant descriptive set theory, Pure and Applied Mathematics (Boca Raton), vol. 293, CRC Press, Boca Raton, FL, 2009. MR 2455198

Thomas Jech, Set theory, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2003, The third millennium edition, revised and expanded. MR 1940513 (2004g:03071)

Alexander S. Kechris, Classical descriptive set theory, Graduate Texts in Mathematics, vol. 156, Springer-Verlag, New York, 1995. MR 1321597 (96e:03057)

S. C. Kleene, On the forms of the predicates in the theory of constructive ordinals. II, Amer. J. Math. 77 (1955), 405-428. MR 0070595

Diego A. Mejía, Coding polish spaces, Kyoto Daigaku Surikaiseki Kenkyusho Kokyuroku (2017), no. 2050, 153-161.

Yiannis N. Moschovakis, Descriptive set theory, second ed., Mathematical Surveys and Monographs, vol. 155, American Mathematical Society, Providence, RI, 2009. MR 2526093

A. Mostowski, A class of models for second order arithmetic, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astr. Phys. 7 (1959), 401-404. (unbound insert). MR 0115908

J. R. Shoenfield, The problem of predicativity, Essays on the foundations of mathematics, Magnes Press, Hebrew Univ., Jerusalem, 1961, pp. 132-139. MR 0164886

Robert M. Solovay, A model of set-theory in which every set of reals is Lebesgue measurable, Ann. of Math. (2) 92 (1970), 1-56. MR 0265151

Zitationsvorschlag

APA

Mejía, D. A. und Rivera-Madrid, I. E. (2019). Absoluteness theorems for arbitrary Polish spaces. Revista Colombiana de Matemáticas, 53(2), 109–123. https://doi.org/10.15446/recolma.v53n2.85521

ACM

[1]

Mejía, D.A. und Rivera-Madrid, I.E. 2019. Absoluteness theorems for arbitrary Polish spaces. Revista Colombiana de Matemáticas. 53, 2 (Juli 2019), 109–123. DOI:https://doi.org/10.15446/recolma.v53n2.85521.

ACS

(1)

Mejía, D. A.; Rivera-Madrid, I. E. Absoluteness theorems for arbitrary Polish spaces. rev.colomb.mat 2019, 53, 109-123.

ABNT

MEJÍA, D. A.; RIVERA-MADRID, I. E. Absoluteness theorems for arbitrary Polish spaces. Revista Colombiana de Matemáticas, [S. l.], v. 53, n. 2, p. 109–123, 2019. DOI: 10.15446/recolma.v53n2.85521. Disponível em: https://revistas.unal.edu.co/index.php/recolma/article/view/85521. Acesso em: 22 jan. 2025.

Chicago

Mejía, Diego Alejandro, und Ismael E. Rivera-Madrid. 2019. „Absoluteness theorems for arbitrary Polish spaces“. Revista Colombiana De Matemáticas 53 (2):109-23. https://doi.org/10.15446/recolma.v53n2.85521.

Harvard

Mejía, D. A. und Rivera-Madrid, I. E. (2019) „Absoluteness theorems for arbitrary Polish spaces“, Revista Colombiana de Matemáticas, 53(2), S. 109–123. doi: 10.15446/recolma.v53n2.85521.

IEEE

[1]

D. A. Mejía und I. E. Rivera-Madrid, „Absoluteness theorems for arbitrary Polish spaces“, rev.colomb.mat, Bd. 53, Nr. 2, S. 109–123, Juli 2019.

MLA

Mejía, D. A., und I. E. Rivera-Madrid. „Absoluteness theorems for arbitrary Polish spaces“. Revista Colombiana de Matemáticas, Bd. 53, Nr. 2, Juli 2019, S. 109-23, doi:10.15446/recolma.v53n2.85521.

Turabian

Mejía, Diego Alejandro, und Ismael E. Rivera-Madrid. „Absoluteness theorems for arbitrary Polish spaces“. Revista Colombiana de Matemáticas 53, no. 2 (Juli 1, 2019): 109–123. Zugegriffen Januar 22, 2025. https://revistas.unal.edu.co/index.php/recolma/article/view/85521.

Vancouver

1.

Mejía DA, Rivera-Madrid IE. Absoluteness theorems for arbitrary Polish spaces. rev.colomb.mat [Internet]. 1. Juli 2019 [zitiert 22. Januar 2025];53(2):109-23. Verfügbar unter: https://revistas.unal.edu.co/index.php/recolma/article/view/85521