Publication:4063403

03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations

03B25: Decidability of theories and sets of sentences

03E35: Consistency and independence results

03D25: Recursively (computably) enumerable sets and degrees