- #1

- 2

- 0

How do you prove the decidability of the empty theory and theory of linear orders?

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

- Thread starter zeberdee
- Start date

- #1

- 2

- 0

How do you prove the decidability of the empty theory and theory of linear orders?

- #2

HallsofIvy

Science Advisor

Homework Helper

- 41,847

- 967

Uh, what **is** the "empty theory"?

- #3

- 2

- 0

- #4

- 147

- 0

The theory of linear orders should be decidable using quantifier elimination.

Share: