Positive primitive formulae of modules over rings of semi-algebraic functions on a curve (Q494649): Difference between revisions

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.

0 references

zbMATH Keywords

module over a ring

0 references

semi-algebraic function

0 references

positive primitive formula

0 references

positive primitive subgroup

0 references

semi-algebraic vector bundle

0 references

reviewed by

B. Sh. Kulpeshov

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/s00153-015-0429-8

0 references

cites work

Elimination of quantifiers for modules

0 references

Q3770650

0 references

On the elementary theory of Banach algebras

0 references

Real closed rings. II. Model theory

0 references

Direct product decomposition of theories of modules

0 references

Undecidability of Some Topological Theories

0 references

Boolean products of real closed valuation rings and fields

0 references

Q4003410

0 references

Definable Sets in Ordered Structures. II

0 references

Q4215784

0 references

Definable Sets in Ordered Structures. I

0 references

Definable Sets in Ordered Structures. III

0 references

Q3632824

0 references

The basic theory of real closed spaces

0 references

Vector Bundles and Projective Modules

0 references

Super real closed rings

0 references

Q4392286

0 references

<i>T</i>-convexity and tame extensions

0 references

Identifiers

zbMATH Open document ID

1360.03076

0 references

DOI

10.1007/s00153-015-0429-8

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:494649

@@ Property / 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.
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C60
@@ Property / Mathematics Subject Classification ID: 03C60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+P10
@@ Property / Mathematics Subject Classification ID: 14P10 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C64
@@ Property / Mathematics Subject Classification ID: 03C64 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C10
@@ Property / Mathematics Subject Classification ID: 03C10 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6477392
@@ Property / zbMATH DE Number: 6477392 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+module over a ring
@@ Property / zbMATH Keywords: module over a ring / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+semi-algebraic function
@@ Property / zbMATH Keywords: semi-algebraic function / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+positive primitive formula
@@ Property / zbMATH Keywords: positive primitive formula / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+positive primitive subgroup
@@ Property / zbMATH Keywords: positive primitive subgroup / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+semi-algebraic vector bundle
@@ Property / zbMATH Keywords: semi-algebraic vector bundle / rank @@
+Normal rank
@@ Property / reviewed by @@
+B. Sh. Kulpeshov
@@ Property / reviewed by: B. Sh. Kulpeshov / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00153-015-0429-8
+Normal rank
@@ Property / OpenAlex ID @@
+W1976076094
@@ Property / OpenAlex ID: W1976076094 / rank @@
+Normal rank
@@ Property / cites work @@
+Elimination of quantifiers for modules
@@ Property / cites work: Elimination of quantifiers for modules / rank @@
+Normal rank
@@ Property / cites work @@
+Q3770650
@@ Property / cites work: Q3770650 / rank @@
+Normal rank
@@ Property / cites work @@
+On the elementary theory of Banach algebras
@@ Property / cites work: On the elementary theory of Banach algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Real closed rings. II. Model theory
@@ Property / cites work: Real closed rings. II. Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Direct product decomposition of theories of modules
+Normal rank
@@ Property / cites work @@
+Undecidability of Some Topological Theories
@@ Property / cites work: Undecidability of Some Topological Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean products of real closed valuation rings and fields
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+Definable Sets in Ordered Structures. II
@@ Property / cites work: Definable Sets in Ordered Structures. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Definable Sets in Ordered Structures. I
@@ Property / cites work: Definable Sets in Ordered Structures. I / rank @@
+Normal rank
@@ Property / cites work @@
+Definable Sets in Ordered Structures. III
@@ Property / cites work: Definable Sets in Ordered Structures. III / rank @@
+Normal rank
@@ Property / cites work @@
+Q3632824
@@ Property / cites work: Q3632824 / rank @@
+Normal rank
@@ Property / cites work @@
+The basic theory of real closed spaces
@@ Property / cites work: The basic theory of real closed spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Vector Bundles and Projective Modules
@@ Property / cites work: Vector Bundles and Projective Modules / rank @@
+Normal rank
@@ Property / cites work @@
+Super real closed rings
@@ Property / cites work: Super real closed rings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4392286
@@ Property / cites work: Q4392286 / rank @@
+Normal rank
@@ Property / cites work @@
+<i>T</i>-convexity and tame extensions
@@ Property / cites work: <i>T</i>-convexity and tame extensions / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:494649