どうもAaronです。 今日は普段やっている(というか体調不良と新生活の忙しさという口実で三日坊主中の)「算術の夢の楽園」ではなく単発です。 表題にもある通り非有界稠密全順序構造には-categorical、即ち任意の可算モデルが(同型(当然だがここでは順序同型…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。