Compact fragments of higher order logic

J. Malitz; M. Rubin

doi:10.1016/S0049-237X(09)70488-4

Compact fragments of higher order logic

J. Malitz, M. Rubin

Research output: Contribution to journal › Article › peer-review

2 Scopus citations

Abstract

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

Original language	English
Pages (from-to)	219-238
Number of pages	20
Journal	Studies in Logic and the Foundations of Mathematics
Volume	99
Issue number	C
DOIs	https://doi.org/10.1016/S0049-237X(09)70488-4
State	Published - 1 Jan 1980
Externally published	Yes

ASJC Scopus subject areas

Logic

Access to Document

10.1016/S0049-237X(09)70488-4

Cite this

@article{31990ae7d6564ff9aa78de656720e16c,

title = "Compact fragments of higher order logic",

abstract = "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.",

author = "J. Malitz and M. Rubin",

year = "1980",

month = jan,

day = "1",

doi = "10.1016/S0049-237X(09)70488-4",

language = "English",

volume = "99",

pages = "219--238",

journal = "Studies in Logic and the Foundations of Mathematics",

issn = "0049-237X",

publisher = "Elsevier B.V.",

number = "C",

}

TY - JOUR

T1 - Compact fragments of higher order logic

AU - Malitz, J.

AU - Rubin, M.

PY - 1980/1/1

Y1 - 1980/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=77956974953&partnerID=8YFLogxK

U2 - 10.1016/S0049-237X(09)70488-4

DO - 10.1016/S0049-237X(09)70488-4

M3 - Article

AN - SCOPUS:77956974953

SN - 0049-237X

VL - 99

SP - 219

EP - 238

JO - Studies in Logic and the Foundations of Mathematics

JF - Studies in Logic and the Foundations of Mathematics

IS - C

ER -

Compact fragments of higher order logic

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this