All Intermediate Logics with Extra Axions in One Variable, Except Eight, Are Not Strongly omega-Complete

Camillo Fiorentini. All Intermediate Logics with Extra Axions in One Variable, Except Eight, Are Not Strongly omega-Complete. Journal of Symbolic Logic, 65(4):1576-1604, 2000.

Abstract

Abstract is missing.