Publication | Closed Access

Model-complete theories of pseudo-algebraically closed fields

Automated ReasoningFinite FieldModel TheoryFinite Model TheoryModel-complete Theories