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.
No references recorded for this publication.
No citations of this publication recorded.