scientific article
From MaRDI portal
Publication:3674655
zbMath0523.03047MaRDI QIDQ3674655
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
integral domainfield extensionunique factorization domainsHeyting fieldsheaf modelsHeyting domainintuitionistic field with apartness relation
Algebraic field extensions (12F05) Polynomials in general fields (irreducibility, etc.) (12E05) Connections between field theory and logic (12L99) Integral domains (13G05) Applications of logic to commutative algebra (13L05) Commutative rings defined by factorization properties (e.g., atomic, factorial, half-factorial) (13F15) Intuitionistic mathematics (03F55)