Elimination of quantifiers for a theory of real closed rings

DOI10.1016/J.APAL.2024.103494MaRDI QIDQ6614037

Jorge I. Guier

Publication date: 7 October 2024

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

elimination of quantifiersprojectabilitydivisibility relationsreal closed ringsradical relation

Mathematics Subject Classification ID

Ordered rings, algebras, modules (06F25) Model theory of ordered structures; o-minimality (03C64) Divisibility and factorizations in commutative rings (13A05) Quantifier elimination, model completeness, and related topics (03C10) Real algebra (13J30)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Real closed rings. II. Model theory
• Model theory and spectra
• Model theory.
• Model-completeness and elimination of quantifiers for subdirect products of structures
• Groupes et anneaux reticules
• Elementary properties of minimal and maximal points in Zariski spectra
• The representation of biregular rings by sheaves
• Convex lattice-ordered subrings of von Neumann regular \(f\)-rings
• Existentially closed domains with radical relations.
• The first order properties of products of algebraic systems
• REAL CLOSED RINGS AND ORDERED VALUATION RING
• The basic theory of real closed spaces
• Model-completeness for sheaves of structures
• Sheaf Constructions and Their Elementary Properties
• Spectral Spaces
• Boolean products of real closed valuation rings and fields

This page was built for publication: Elimination of quantifiers for a theory of real closed rings

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