Recent content by zeberdee
-
Z
Graduate Proving Decidability of Empty Theory & Linear Orders
By empty theory I mean the theory In the empty language ( ie no non logical symbols ) with no axioms.- zeberdee
- Post #3
- Forum: Set Theory, Logic, Probability, Statistics
-
Z
Graduate Proving Decidability of Empty Theory & Linear Orders
How do you prove the decidability of the empty theory and theory of linear orders?- zeberdee
- Thread
- Empty Theory
- Replies: 3
- Forum: Set Theory, Logic, Probability, Statistics