Model‐Completions of Theories of Finitely Additive Measures with Values in An Ordered Field

DOI10.1002/MALQ.19810273102zbMath0473.03024OpenAlexW2011478257MaRDI QIDQ3927215

Sauro Tulipani

Publication date: 1981

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19810273102

zbMATH Keywords

real-closed fieldgeneral measure spacecomplete and decidable theories

Mathematics Subject Classification ID

Axiomatic model classes (08C10) Quantifier elimination, model completeness, and related topics (03C10) Set functions, measures and integrals with values in ordered spaces (28B15)

Related Items (4)

Decision procedures for the conditions true in certain metric structures ⋮ Lattice ordered o-minimal structures ⋮ A use of the method of interpretations for decidability or undecidability of measure spaces ⋮ On the size of congruence lattices for models of theories with definability of congruences

This page was built for publication: Model‐Completions of Theories of Finitely Additive Measures with Values in An Ordered Field