Interpreting second-order logic in the monadic theory of order

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

Access to Document

@article{8f8971956e7f4c70bcdb737447aa1826,

title = "Interpreting second-order logic in the monadic theory of order",

author = "Yuri Gurevich and Saharon Shelah",

year = "1983",

doi = "10.2307/2273475",

language = "אנגלית",

volume = "48",

pages = "816--828",

journal = "Journal of Symbolic Logic",

issn = "0022-4812",

publisher = "Cambridge University Press",

number = "3",

}

TY - JOUR

T1 - Interpreting second-order logic in the monadic theory of order

AU - Gurevich, Yuri

AU - Shelah, Saharon

PY - 1983

Y1 - 1983

U2 - 10.2307/2273475

DO - 10.2307/2273475

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

SN - 0022-4812

VL - 48

SP - 816

EP - 828

JO - Journal of Symbolic Logic

JF - Journal of Symbolic Logic

IS - 3

ER -