Logic — math, philosophy & computational aspects

logic, math, philosophy, math games, math help, mathematical logic, philosophy of education, math facts
30
Nov

axiomatisability of monadic second order theories

Question:  does anyone know whether the following theories are
axiomatisable?

(1)  The monadic (second order) theory of partial orders.

(2)  The monadic (second order) theory of trees.

Thanks

Philip Kremer

No Comments




Place your comment

You must be logged in to post a comment.