Second-order quantifiers and the complexity of theories

J. T. Baldwin, S. Shelah

Research output: Contribution to journalArticlepeer-review

52 Scopus citations
Original languageEnglish
Pages (from-to)229-303
Number of pages75
JournalNotre Dame Journal of Formal Logic
Volume26
Issue number3
DOIs
StatePublished - Jul 1985

Cite this