タルスキの定理
タルスキの定理
- 選択公理についてのタルスキの定理
- タルスキの定義不可能性定理
- 実閉体の理論の完全性についてのタルスキの定理
- Knaster–Tarski の定理（タルスキの不動点定理と呼ばれることもある）
- Tarski–Seidenberg の定理
- いくつかの不動点定理（通常 Kleene の不動点定理の変種）は、これらの用法は限定的であるものの、 Tarski–Kantorovitch の不動点原理、あるいは Tarski–Kantorovitch の定理と呼ばれる。
- Tarski–Vaught test
関連項目
- アルフレト・タルスキに因んで名づけられている物事の一覧
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.