scientific article; zbMATH DE number 763370

MaRDI QIDQ4834997zbMATH OpenFDO

Authors Marcel Erné

Publication date 22 June 1995

Full work available at URL https://eudml.org/doc/22085

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

axiom of choiceconservative prime idealKrull's maximal ideal theorem for unique factorization domainspseudo-localization by a primrose

Mathematics Subject Classification ID

Axiom of choice and related propositions (03E25) Polynomials over commutative rings (13B25) Rings of fractions and localization for commutative rings (13B30)

Cited in

(10)

• Maximal ideals in countable rings, constructively
• On the Weihrauch degree of the additive Ramsey theorem
• Hilbert's tenth problem for term algebras with a substitution operator
• Complemented subsets and Boolean-valued, partial functions
• Defining long words succinctly in FO and MSO
• On the first-order parts of problems in the Weihrauch degrees
• Algorithmically random series
• Ideal presentations and numberings of some classes of effective quasi-Polish spaces
• Lower bounds on () and other properties of -register machines
• Reifying dynamical algebra: maximal ideals in countable rings, constructively

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 Q4834997)