Positive primitive formulae of modules over rings of semi-algebraic functions on a curve
DOI10.1007/S00153-015-0429-8zbMATH Open1360.03076OpenAlexW1976076094MaRDI QIDQ494649FDOQ494649
Authors: Laura R. Phillips 
Publication date: 1 September 2015
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-015-0429-8
Recommendations
semi-algebraic functionpositive primitive formulamodule over a ringpositive primitive subgroupsemi-algebraic vector bundle
Model-theoretic algebra (03C60) Model theory of ordered structures; o-minimality (03C64) Semialgebraic sets and related spaces (14P10) Quantifier elimination, model completeness, and related topics (03C10)
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?)
- Purity, spectra and localisation.
- Definable Sets in Ordered Structures. III
- Definable Sets in Ordered Structures. I
- Definable Sets in Ordered Structures. II
- Vector Bundles and Projective Modules
- T-convexity and tame extensions
- Undecidability of Some Topological Theories
- Elimination of quantifiers for modules
- The basic theory of real closed spaces
- Super real closed rings
- Direct product decomposition of theories of modules
- On the elementary theory of Banach algebras
- Boolean products of real closed valuation rings and fields
- Real closed rings. II. Model theory
Cited In (1)
This page was built for publication: Positive primitive formulae of modules over rings of semi-algebraic functions on a curve
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q494649)
