scientific article; zbMATH DE number 3827861

MaRDI QIDQ3674655zbMATH OpenFDO

Authors Wim Ruitenburg

Publication date 1982

zbMATH Keywords

field extensionHeyting domainHeyting fieldintegral domainintuitionistic field with apartness relationsheaf modelsunique factorization domains

Mathematics Subject Classification ID

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

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)