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