Quantifier elimination for o-minimal structures expanded by a valuational cut
Article in Annals of Pure and Applied Logic (February 2023)
The most recent citing publications are shown below. View all 2 publications that cite this research output on Dimensions.
Article in Annals of Pure and Applied Logic (February 2023)
Article in Journal of Symbolic Logic (December 2017)