Interpreting Second-order Logic in the Monadic Theory of Order
- Yuri Gurevich ,
- Saharon Shelah
July 1983, Vol 48
Under a weak set-theoretic assumption, we interpret full second-order logic in the monadic theory of order.
July 1983, Vol 48
Under a weak set-theoretic assumption, we interpret full second-order logic in the monadic theory of order.