Journal of Symbolic Logic

Interpreting Second-Order Logic in the Monadic Theory of Order

Yuri Gurevich and Saharon Shelah

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.

Abstract

Under a weak set-theoretic assumption we interpret second-order logic in the monadic theory of order.

Article information

Source
J. Symbolic Logic, Volume 48, Issue 3 (1983), 816-828.

Dates
First available in Project Euclid: 6 July 2007

Permanent link to this document
https://projecteuclid.org/euclid.jsl/1183741342

Mathematical Reviews number (MathSciNet)
MR716644

Zentralblatt MATH identifier
0559.03008

JSTOR
links.jstor.org

Citation

Gurevich, Yuri; Shelah, Saharon. Interpreting Second-Order Logic in the Monadic Theory of Order. J. Symbolic Logic 48 (1983), no. 3, 816--828. https://projecteuclid.org/euclid.jsl/1183741342


Export citation