A structure theorem for semibounded sets in the reals
From MaRDI portal
Publication:4032861
DOI10.2307/2275430zbMath0768.03019OpenAlexW2144694995MaRDI QIDQ4032861
Publication date: 1 April 1993
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275430
quantifier eliminationbounded setsemilinear setdefinability strengthadditive structures over the realssemibounded set
Related Items (16)
Reducts of some structures over the reals ⋮ Semi-bounded relations in ordered modules ⋮ Integration of positive constructible functions against Euler characteristic and dimension ⋮ Cell decomposition for semibounded \(p\)-adic sets ⋮ Definable Tietze extension property in o-minimal expansions of ordered groups ⋮ Product cones in dense pairs ⋮ Structure theorems in tame expansions of o-minimal structures by a dense set ⋮ Structure theorems for o-minimal expansions of groups ⋮ Reducts of \(p\)-adically closed fields ⋮ Coverings by open cells ⋮ Expansions of o-minimal structures by fast sequences ⋮ Fusing o-minimal structures ⋮ Locally injective maps in o-minimal structures without poles are surjective ⋮ Definable group extensions in semi-bounded o-minimal structures ⋮ Non-standard lattices and o-minimal groups ⋮ Cell decomposition and definable functions for weakp-adic structures
Cites Work
This page was built for publication: A structure theorem for semibounded sets in the reals