どうもAaronです。 今回は何かの証明とかではなく自分が創始した数学ゲーム、「基礎概念実装ゲーム」の布教です。基礎概念実装ゲームは「普段数学やプログラムであまりにも当たり前に使っている概念や操作」を「より簡単な概念や操作」から作ってみよう、と…

どうもAaronです。 今日は普段やっている(というか体調不良と新生活の忙しさという口実で三日坊主中の)「算術の夢の楽園」ではなく単発です。 表題にもある通り非有界稠密全順序構造には-categorical、即ち任意の可算モデルが(同型(当然だがここでは順序同型…