Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem
Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem
Details
- OL Work ID
- OL28312742W
Subjects
Computable functionsDecidability (mathematical logic)Logic, symbolic and mathematical