@dblp

A General Model Completeness Result for Expansions of the Real Ordered Field.

. Ann. Pure Appl. Log., 95 (1-3): 185-227 (1998)

Links and resources

Tags