Engineering↗
Ultraproducts and Jonsson's Lemma
Ultraproducts in the algebraic setting, congruence-distributive varieties, Jónsson's lemma and its proof strategy, and the consequences for finitely generated varieties.
Every page in the KEVOS library tagged ultraproduct. 2 pages.
Ultraproducts in the algebraic setting, congruence-distributive varieties, Jónsson's lemma and its proof strategy, and the consequences for finitely generated varieties.
Ultraproducts as reduced products over an ultrafilter, Łoś's theorem and its proof, ultrapowers and the elementary embedding, and the applications to compactness and non-standar…