A general model completeness result for expansions of the real ordered field
type: Item
instance of: scholarly article
title: A general model completeness result for expansions of the real ordered field
zbMATH Open document ID: 0972.03040
DOI: 10.1016/S0168-0072(98)00012-8
author: Steve Maxwell
published in: Annals of Pure and Applied Logic
publication date: 1999-06-24T00:00:00Z
Mathematics Subject Classification ID: 03C64
Mathematics Subject Classification ID: 12L12
Mathematics Subject Classification ID: 03C10
Mathematics Subject Classification ID: 12J15
zbMATH DE Number: 1308094
zbMATH Keywords: model completeness
zbMATH Keywords: o-minimal structures
zbMATH Keywords: tame systems
zbMATH Keywords: o-minimal expansion of the real ordered field
MaRDI profile type: Publication
cites work: About certain subsets of the Euclidean space
cites work: Q3837729
cites work: Complements of subanalytic sets and existential formulas for analytic functions
cites work: Definable Sets in Ordered Structures. II
cites work: Q5807665
cites work: A theorem of the complement and some new o-minimal structures
description: scientific article; zbMATH DE number 1308094