logo móvil
Contáctanos

sobre conjuntos proyectivos efectivamente indiscernibles y el axioma de Leibniz-Mycielski

Autores: Enayat, Ali; Kanovei, Vladimir; Lyubetsky, Vassily

Idioma: Inglés

Editor: MDPI

Año: 2021

Descargar PDF

Acceso abierto

Artículo científico
2021

sobre conjuntos proyectivos efectivamente indiscernibles y el axioma de Leibniz-Mycielski


Categoría

Matemáticas

Subcategoría

Matemáticas generales

Palabras clave

Conjuntos proyectivos
Números reales
Modelos
Teoría de conjuntos
Relación de equivalencia
Universo constructible

Licencia

CC BY-SA – Atribución – Compartir Igual

Consultas: 37

Citaciones: Sin citaciones


Descripción
Se presentan ejemplos de conjuntos proyectivos de números reales efectivamente indiscernibles en varios modelos de teoría de conjuntos. Demostramos que es cierto, en extensiones genéricas de Miller y Laver del universo constructible, que existe una relación de equivalencia de lightface en el conjunto de todos los reales no constructibles, con exactamente dos clases de equivalencia, ninguna de las cuales es ordinalmente definible, y por lo tanto las clases son OD-indiscernibles. Se obtiene un resultado similar pero algo más débil para extensiones de Silver. El otro resultado principal es que para cualquier , comenzando con 2, la existencia de un par de conjuntos OD-indiscernibles disjuntos y numerables, cuya relación de equivalencia asociada pertenece a lightface, no implica la existencia de dicho par con la relación asociada en o en una clase inferior.

Otros recursos que podrían interesarte

Temas Virtualpro