scientific article; zbMATH DE number 3827861

zbMATH Open0523.03047MaRDI QIDQ3674655FDOQ3674655

Authors: Wim Ruitenburg 

Publication date: 1982

Title of this publication is not available (Why is that?)

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)