Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
sav08:homework08 [2008/09/15 15:56] vkuncak |
sav08:homework08 [2008/09/17 23:03] vkuncak |
||
---|---|---|---|
Line 42: | Line 42: | ||
Solution (added afterwards): | Solution (added afterwards): | ||
- | * {{sav08:laeuchlileonard66linearorder.pdf|Läuchli, H., Leonard, J.: On the elementary theory of linear order. Fund. Math. 59, 109–116 (1966)}} (Thanks to Yuri Gurevich, who also mentions that result follows from decidability of S2S) | + | * {{sav08:laeuchlileonard66linearorder.pdf|Läuchli, H., Leonard, J.: On the elementary theory of linear order. Fund. Math. 59, 109–116 (1966)}} |
- | * [[http://www.jstor.org/sici?sici=0022-4812%28196806%2933%3A2%3C287%3AOTETOL%3E2%2E0%2ECO%3B2-I&origin=euclid|review]], {{sav08:review-linearorder.pdf|review pdf}} | + | * {{sav08:rabin69s2s.pdf|Decidability of Second-Order Theories and Automata on Infinite Trees, by Michael O. Rabin}} |
Somewhat related papers: | Somewhat related papers: |