Skip to main content

Timeline for Non-principal ultrafilters on ω

Current License: CC BY-SA 2.5

8 events
when toggle format what by license comment
Feb 20, 2010 at 22:17 comment added François G. Dorais @Joel: No, they don't use large cardinals.
Feb 20, 2010 at 6:38 comment added Cory Knapp Thanks, indeed, François. That gives a more solid answer to my first question.
Feb 20, 2010 at 6:00 comment added Joel David Hamkins Thanks, François! Do Pincus and Solovay use an inaccessible cardinal in that model (i.e. "the Solovay model")? Or can one do it starting just from ZFC? And do you know models that have ultrafilters on omega, but not on higher cardinals?
Feb 20, 2010 at 5:49 comment added François G. Dorais A model of DC without ultrafilters on omega was produced by David Pincus and Bob Solovay in Definability of measures and ultrafilters (J. Symb. Logic 42, 1977). I think models without ultrafilters were produced earlier by Andreas Blass, but I don't recall the status of DC in that case.
Feb 20, 2010 at 5:26 vote accept Cory Knapp
Feb 20, 2010 at 5:26 comment added Cory Knapp Thanks. The article led me in exactly the direction I was looking.
Feb 20, 2010 at 5:23 history edited Joel David Hamkins CC BY-SA 2.5
added 962 characters in body; added 251 characters in body; added 1 characters in body
Feb 20, 2010 at 5:12 history answered Joel David Hamkins CC BY-SA 2.5