\(\Pi^0_1\) classes and degrees of theories. (English) Zbl 0262.02041
MSC:
03D30 | Other degrees and reducibilities in computability and recursion theory |
03B25 | Decidability of theories and sets of sentences |
03B99 | General logic |
03D30 | Other degrees and reducibilities in computability and recursion theory |
03B25 | Decidability of theories and sets of sentences |
03B99 | General logic |