タルスキの定理
表示
タルスキの定理
- 選択公理についてのタルスキの定理
- タルスキの定義不可能性定理
- 実閉体の理論の完全性についてのタルスキの定理
- Knaster–Tarski の定理(タルスキの不動点定理と呼ばれることもある)
- Tarski–Seidenberg の定理
- いくつかの不動点定理(通常 Kleene の不動点定理の変種)は、これらの用法は限定的であるものの、 Tarski–Kantorovitch の不動点原理、あるいは Tarski–Kantorovitch の定理と呼ばれる。
- Tarski–Vaught test