Fix an index and take the principal ultrafilter . Evaluation at the th coordinate givesso the ultraproduct has characteristic . This supplies the requested characteristic after choosing the principal point .
Articles by others on the same topic
There are currently no matching articles.