Uncountable models with interesting second-order properties.

From Peano's Parlour
Jump to: navigation, search