Insights Blog
-- Browse All Articles --
Physics Articles
Physics Tutorials
Physics Guides
Physics FAQ
Math Articles
Math Tutorials
Math Guides
Math FAQ
Education Articles
Education Guides
Bio/Chem Articles
Technology Guides
Computer Science Tutorials
Forums
Trending
Log in
Register
What's new
Latest activity
Register
Menu
Log in
Register
Navigation
More options
Style variation
System
Light
Dark
Contact us
Close Menu
JavaScript is disabled. For a better experience, please enable JavaScript in your browser before proceeding.
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
.
Forums
zeberdee
Recent content by zeberdee
Z
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
May 23, 2009
Forum:
Set Theory, Logic, Probability, Statistics
Z
Proving Decidability of Empty Theory & Linear Orders
How do you prove the decidability of the empty theory and theory of linear orders?
zeberdee
Thread
May 23, 2009
Empty
Theory
Replies: 3
Forum:
Set Theory, Logic, Probability, Statistics
Forums
zeberdee
Back
Top