實閉體
real closed field
実閉体 - Wikipedia
實代數的數體
計算可能實數
體
計算可能数 - Wikipedia
定義可能実数 - Wikipedia#計算可能実数
計算可能解析学 - Wikipedia
定義可能實數體
定義可能実数 - Wikipedia
實數
體
$ \R
超實數 (hyperreal number)
體
$ ^*\R
準超實數 (super-real number)
體
實係數 Puiseux 級數體
Puiseux series - Wikipedia