Interpreting Second-Order Logic in the Monadic Theory of Order
Gurevich, Yuri ; Shelah, Saharon
J. Symbolic Logic, Tome 48 (1983) no. 1, p. 816-828 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Under a weak set-theoretic assumption we interpret second-order logic in the monadic theory of order.
Publié le : 1983-09-14
Classification:  
@article{1183741342,
     author = {Gurevich, Yuri and Shelah, Saharon},
     title = {Interpreting Second-Order Logic in the Monadic Theory of Order},
     journal = {J. Symbolic Logic},
     volume = {48},
     number = {1},
     year = {1983},
     pages = { 816-828},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183741342}
}

Gurevich, Yuri; Shelah, Saharon. Interpreting Second-Order Logic in the Monadic Theory of Order. J. Symbolic Logic, Tome 48 (1983) no. 1, pp.  816-828. http://gdmltest.u-ga.fr/item/1183741342/