scientific article; zbMATH DE number 3827861

MaRDI QIDQ3674655zbMATH OpenFDO

Authors Wim Ruitenburg

Publication date 1982

zbMATH Keywords

field extensionintegral domainunique factorization domainsHeyting fieldsheaf modelsHeyting domainintuitionistic field with apartness relation

Mathematics Subject Classification ID

Polynomials in general fields (irreducibility, etc.) (12E05) Algebraic field extensions (12F05) Commutative rings defined by factorization properties (e.g., atomic, factorial, half-factorial) (13F15) Integral domains (13G05) Intuitionistic mathematics (03F55) Applications of logic to commutative algebra (13L05) Connections between field theory and logic (12L99)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3674655)