- #1

- 2

- 0

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

- 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,833

- 961

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

- #3

- 2

- 0

- #4

- 147

- 0

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

- Last Post

- Replies
- 15

- Views
- 8K

- Last Post

- Replies
- 20

- Views
- 5K

- Last Post

- Replies
- 10

- Views
- 1K

- Last Post

- Replies
- 3

- Views
- 8K

- Last Post

- Replies
- 7

- Views
- 3K

- Last Post

- Replies
- 24

- Views
- 14K

- Last Post

- Replies
- 10

- Views
- 3K

- Last Post

- Replies
- 12

- Views
- 7K

- Last Post

- Replies
- 3

- Views
- 2K

- Last Post

- Replies
- 4

- Views
- 2K