Positive primitive formulae of modules over rings of semi-algebraic functions on a curve
type: Item
instance of: scholarly article
title: Positive primitive formulae of modules over rings of semi-algebraic functions on a curve
zbMATH Open document ID: 1360.03076
author: Laura R. Phillips
published in: Archive for Mathematical Logic
publication date: 2015-09-01T00:00:00Z
review text: The paper concerns the study of the model theory for modules over rings of continuous semi-algebraic functions. The main result of the paper is a criterion for membership of positive primitive subgroups of a free module over the ring of continuous semi-algebraic functions. In addition, the author gives some generalizations of this result to arbitrary modules over the ring. At last, the author presents a quantifier elimination result to the level of positive primitive formulas.
Mathematics Subject Classification ID: 03C60
Mathematics Subject Classification ID: 14P10
Mathematics Subject Classification ID: 03C64
Mathematics Subject Classification ID: 03C10
zbMATH DE Number: 6477392
zbMATH Keywords: module over a ring
zbMATH Keywords: semi-algebraic function
zbMATH Keywords: positive primitive formula
zbMATH Keywords: positive primitive subgroup
zbMATH Keywords: semi-algebraic vector bundle
reviewed by: B. Sh. Kulpeshov
MaRDI profile type: Publication
full work available at URL: s00153-015-0429-8
OpenAlex ID: W1976076094
cites work: Elimination of quantifiers for modules
cites work: Q3770650
cites work: On the elementary theory of Banach algebras
cites work: Real closed rings. II. Model theory
cites work: Direct product decomposition of theories of modules
cites work: Undecidability of Some Topological Theories
cites work: Boolean products of real closed valuation rings and fields
cites work: Q4003410
cites work: Definable Sets in Ordered Structures. II
cites work: Q4215784
cites work: Definable Sets in Ordered Structures. I
cites work: Definable Sets in Ordered Structures. III
cites work: Q3632824
cites work: The basic theory of real closed spaces
cites work: Vector Bundles and Projective Modules
cites work: Super real closed rings
cites work: Q4392286
cites work: T-convexity and tame extensions
DOI: 10.1007/S00153-015-0429-8
description: scientific article; zbMATH DE number 6477392