Ideales no analíticos en $\omega$

Question

Me gustaría reunir ejemplos de ideales NO analíticos sobre $\omega$ .

Sin embargo, no he encontrado nada en los libros y documentos que he consultado.

¿Alguien podría decirme alguna referencia?

Answer 1

Todo ideal primo no principal sobre $\omega$ es a la vez no medible por Lebesgue y no tiene la propiedad de Baire, por lo que no puede ser analítica.

Answer 2

Acabamos de presentar un documento, http://arxiv.org/pdf/1510.05699v1.pdf En la sección 2 se pueden encontrar ejemplos de ideales coanalíticos bastante naturales (y más).