タルスキの定理
- (選択公理についてのタルスキの定理)
- タルスキの定義不可能性定理
- 実閉体の理論の completeness についてのタルスキの定理
- (Knaster–Tarski の定理) (sometimes referred to as Tarski's fixed point theorem)
- (Tarski–Seidenberg の定理)
- いくつかの不動点定理,通常 (Kleene の不動点定理)の変種,は Tarski–Kantorovitch の不動点原理あるいは Tarski–Kantorovitch の定理と呼ばれる although the use of this terminology is limited.
- (Tarski–Vaught test)
関連項目
- (アルフレト・タルスキに因んで名づけられている物事の一覧)