フォローしませんか？
シェア
まなか
2023年6月13日 00:16
The existence of an algebraic closure can be proven using ultraproducts. This is quite interesting as an example of the application of model theory.
2023年6月6日 19:57
直積の一般化として約積というものが知られている．大雑把に言えば約積とは直積をフィルターというものを使って同値関係で割ったものである． 約積の具体例を考えているときに，有限個の構造の約積は，結局直積になることに気がついた．そのことについて記しておく．
