subalternation
دیسه‌ای
∀α 𝜙α ⊃ ∃α 𝜙α
∀α 𝜙α ⊃ ∃α 𝜙α


تاربرگ‌های پیموده‌شده در این نشست: Upward Löwenheim-Skolem Theorem ⟩ Stephen Cole Kleene ⟩ semilattice ⟩ Saul Kripke ⟩ Stewart Shapiro