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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.