Logical theories of trees
Summary Trees occur naturally in many mathematical settings as important partial orders yet no systematic study of their rst-order theories exists. We investigate some of the rst-order theories of trees. The two problems which motivate the thesis are (i) the rst-order de nability of sets with...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | en |
| Published: |
2011
|
| Online Access: | http://hdl.handle.net/10539/9150 |