Σ1-靜態邏輯作為一種ℵ1-抽象基本類別

本文證明了 Σ1-靜態邏輯可以形成一個 ℵ1-抽象基本類別，這意味著抽象基本類別的框架超越了 L∞,∞ 的表達能力，就像抽象基本類別超越了 L∞,ω 的表達能力一樣。