MSC2020 · 03C07

Basic properties of first-order languages and structures

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