Showing 1–1 of 1 results for author: Vermeil, M

On Tameness, Measurability and the Independence Property

Authors: Lothar Sebastian Krapp, Matthieu Vermeil, Laura Wirth

Abstract: In the area of Tame Geometry, different model-theoretic tameness conditions are established and their relationships are analyzed. We construct a subfield $K$ of the real numbers that lacks several of such tameness properties. As our main result, we present a first-order formula in the language of rings that defines a non-Borel set in $K$. Moreover, $K$ has the independence property and admits both… ▽ More In the area of Tame Geometry, different model-theoretic tameness conditions are established and their relationships are analyzed. We construct a subfield $K$ of the real numbers that lacks several of such tameness properties. As our main result, we present a first-order formula in the language of rings that defines a non-Borel set in $K$. Moreover, $K$ has the independence property and admits both archimedean and non-archimedean orderings. △ Less

Submitted 30 June, 2025; v1 submitted 10 June, 2025; originally announced June 2025.

Comments: 19 pages

MSC Class: Primary 03C64; 28A05; Secondary 12L12; 12J15; 03C40; 03C45; 54H05