Compact fragments of higher order logic

J. Malitz, M. Rubin

Research output: Contribution to journalArticlepeer-review

2 Scopus citations


Fragments of nth order logic extending Logic are shown to be countably compact and axiomatizable in the ω1 interpretation under [omitted formula]. A classification of higher order quantifiers with respect to compactness is begun.

Original languageEnglish
Pages (from-to)219-238
Number of pages20
JournalStudies in Logic and the Foundations of Mathematics
Issue numberC
StatePublished - 1 Jan 1980
Externally publishedYes

ASJC Scopus subject areas

  • Logic


Dive into the research topics of 'Compact fragments of higher order logic'. Together they form a unique fingerprint.

Cite this