Access the full text.
Sign up today, get DeepDyve free for 14 days.
Deirdre Haskell, D. Macpherson (1994)
Cell Decompositions of C-Minimal StructuresAnn. Pure Appl. Log., 66
Deirdre Haskell, E. Hrushovski, D. Macpherson (2011)
Unexpected imaginaries in valued fields with analytic structureThe Journal of Symbolic Logic, 78
J. Holly (1995)
Canonical forms for definable subsets of algebraically closed and real closed valued fieldsJournal of Symbolic Logic, 60
D. Macpherson, C. Steinhorn (1996)
On Variants of o-MinimalityAnn. Pure Appl. Log., 79
A. Macintyre (1976)
On definable subsets of p-adic fieldsJournal of Symbolic Logic, 41
Deirdre Haskell, E. Hrushovski, D. Macpherson (2006)
Definable sets in algebraically closed valued fields: elimination of imaginaries, 2006
L. Lipshitz, Z. Robinson (1998)
One-dimensional fibers of rigid subanalytic setsJournal of Symbolic Logic, 63
Publisher's Note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations
Let T be a theory. If T eliminates ∃∞\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\exists ^\infty $$\end{document}, it need not follow that Teq\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$T^{\mathrm {eq}}$$\end{document} eliminates ∃∞\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\exists ^\infty $$\end{document}, as shown by the example of the p-adics. We give a criterion to determine whether Teq\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$T^{\mathrm {eq}}$$\end{document} eliminates ∃∞\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\exists ^\infty $$\end{document}. Specifically, we show that Teq\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$T^{\mathrm {eq}}$$\end{document} eliminates ∃∞\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\exists ^\infty $$\end{document} if and only if ∃∞\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\exists ^\infty $$\end{document} is eliminated on all interpretable sets of “unary imaginaries.” This criterion can be applied in cases where a full description of Teq\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$T^{\mathrm {eq}}$$\end{document} is unknown. As an application, we show that Teq\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$T^{\mathrm {eq}}$$\end{document} eliminates ∃∞\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\exists ^\infty $$\end{document} when T is a C-minimal expansion of ACVF.
Archive for Mathematical Logic – Springer Journals
Published: May 1, 2022
Keywords: Uniform finiteness; Interpretable sets; C-minimality; 03C07; 03C68
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.