MSC2020 · 03D45

Theory of numerations, effectively presented structures

Theory of numerations, effectively presented structures [See also 03C57] \{For intuitionistic and similar approaches, see 03F55\}

Counts include all statuses and descendants. Classifications are editorial or inferred from community fields, not an AMS assessment of the problem.

Mapped problems

No published problems have been assigned to this subject yet. Related articles below are a starting point for review.

These are selected sources for the parent class. Article coverage is a first reviewed selection, and may not cover this exact subcategory.

Association for Symbolic Logic / Cambridge

Logic and foundations