Positive primitive formulae of modules over rings of semi-algebraic functions on a curve

DOI10.1007/S00153-015-0429-8zbMath1360.03076OpenAlexW1976076094MaRDI QIDQ494649

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

zbMATH Keywords

semi-algebraic functionpositive primitive formulamodule over a ringpositive primitive subgroupsemi-algebraic vector bundle

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Semialgebraic sets and related spaces (14P10) Model theory of ordered structures; o-minimality (03C64) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (1)

Whitney's extension problem in o-minimal structures

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Real closed rings. II. Model theory
• Elimination of quantifiers for modules
• Super real closed rings
• The basic theory of real closed spaces
• Definable Sets in Ordered Structures. III
• Definable Sets in Ordered Structures. I
• Definable Sets in Ordered Structures. II
• Vector Bundles and Projective Modules
• Direct product decomposition of theories of modules
• On the elementary theory of Banach algebras
• T-convexity and tame extensions
• Undecidability of Some Topological Theories
• Boolean products of real closed valuation rings and fields

This page was built for publication: Positive primitive formulae of modules over rings of semi-algebraic functions on a curve