Field Arithmetic And Model Theory

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Field Arithmetic And Model Theory.

• Pseudo algebraically closed field — A field in which every absolutely irreducible variety defined over the field has a rational point, imitating a key geometric consequence of algebraic closure without requiring every polynomial to split.