Model Theory Vs. Computability Theory
Here's the dirt on how these objects relate to one another:
Model theorists are sometimes interested in the computational complexity of the set of statements needed to axiomatize a given theory.
Related Relations
- Real Analysis
- Complex Analysis
- Abstract Algebra
- Abstract Algebra Vs. Real Analysis
- Abstract Algebra Vs. Complex Analysis
- Abstract Algebra Vs. Topology
- Abstract Algebra Vs. Set Theory
- Abstract Algebra Vs. Number Theory
- Abstract Algebra Vs. Computability Theory
- Abstract Algebra Vs. Graph Theory
- Abstract Algebra Vs. Model Theory
- Abstract Algebra Vs. Linear Algebra
- Abstract Algebra Vs. Category Theory
- Topology
- Set Theory
- Number Theory
- Computability Theory
- Graph Theory
- Model Theory
- Linear Algebra
- Category Theory