Similar to 埋め込み_(数学)
ベール空間
Baire space
ベール集合
Baire set
ベールの範疇定理
Baire category theorem
飽和集合
Saturated set
ポーランド空間
Polish space
補完数直線
補有限
Cofinitenessボレル集合
Borel set
密着位相
Trivial topology
密着空間
Indiscrete space
有限交叉性
Finite intersection property
有向集合
Directed set
誘導位相
∂
∂
離散空間
Discrete space
リンデレフ空間
Lindelöf space
列型空間
Sequential space
連続写像
Continuous function
連続体 (位相空間論)
Continuum (topology)
モデル理論
Model theory
クリプキ・モデル
Kripke semanticsコンパクト性定理
Compactness theorem
算術の超準モデル
Non-standard model of arithmetic
指数体
Exponential field
指数閉体
順序指数体
Ordered exponential field初等同値性
Elementary equivalence
真の算術
True arithmetic
