Answer by Will Boney for Compatibility of Łośian phenomena in second-order logic
I'm not sure I have a definitive answer, but three nice observations that are too long for comments:If you relax from ultrafilters to extenders (seen as directed systems of ultrafilters), then there's...
View ArticleCompatibility of Łośian phenomena in second-order logic
(Throughout, all ultrafilters are nonprincipal.)Given a property $P$ - really, a sentence in some appropriate logic - say that a ultrafilter $\mathcal{U}$ on a cardinal $\kappa$averages $P$ iff for...
View Article
More Pages to Explore .....