Una condición necesaria para la existencia de cero sostenido

Ponente(s): Edgar Alonso Velenzuela

Siguiendo el articulo de Silver: On indecomposable ultrafilters and zero sharp, se presentan los ultrafiltros no desmontables (indecomposables) y se ve que dada se existencia sobre un inaccesible fuerte se desprende la existencia de una clase cofinal C de indiscernibles, para el universo contruible de Gödel, tales que cada definible lo es en términos de elementos de dicha clase, es decir 0#.