Association for Symbolic Logic / Cambridge
Logic and foundations
MSC2020 · 03Hxx
Nonstandard models
Nonstandard models [See also 03C62]
0 mapped entries · Browse and filter all →
Counts include all statuses and descendants. Classifications are editorial or inferred from community fields, not an AMS assessment of the problem.
Subcategories
Mapped problems
No published problems have been assigned to this subject yet. Related articles below are a starting point for review.
Journals & articles in MSC 03
These are selected sources for the parent class. Article coverage is a first reviewed selection, and may not cover this exact subcategory.
- The complexity of propositional proofs
2007 · 2 questions extracted
MSC2020 © Mathematical Reviews (AMS) and zbMATH · CC BY-NC-SA 4.0 · Official PDF, page 11