Second-order quantifiers and the complexity of theories

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

61 Scopus citations

Original language	English
Pages (from-to)	229-303
Number of pages	75
Journal	Notre Dame Journal of Formal Logic
Volume	26
Issue number	3
DOIs	https://doi.org/10.1305/ndjfl/1093870870
State	Published - Jul 1985

Access to Document

@article{87bdb5e59747492890c6fcf32c631dd9,

title = "Second-order quantifiers and the complexity of theories",

author = "Baldwin, \{J. T.\} and S. Shelah",

year = "1985",

month = jul,

doi = "10.1305/ndjfl/1093870870",

language = "אנגלית",

volume = "26",

pages = "229--303",

journal = "Notre Dame Journal of Formal Logic",

issn = "0029-4527",

publisher = "Duke University Press",

number = "3",

}

TY - JOUR

T1 - Second-order quantifiers and the complexity of theories

AU - Baldwin, J. T.

AU - Shelah, S.

PY - 1985/7

Y1 - 1985/7

UR - https://www.scopus.com/pages/publications/84972502540

U2 - 10.1305/ndjfl/1093870870

DO - 10.1305/ndjfl/1093870870

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:84972502540

SN - 0029-4527

VL - 26

SP - 229

EP - 303

JO - Notre Dame Journal of Formal Logic

JF - Notre Dame Journal of Formal Logic

IS - 3

ER -