- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Relative elimination of quantifiers for Henselian valued fields
Annals of Pure and Applied Logic 53 (1):51-74 (1991)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
ALLEN, B., Arithmetizing Uniform NC BASARAB, SA, Relative elimination of quantifiers for Hen-selian valued fields BUSS, SR, The undecidability of k-provability GALLIER, JH, What's so special about Kruskal's theorem and.A. Nesin, A. Pillay & V. Razenj - 1991 - Annals of Pure and Applied Logic 53:297.
Burden in Henselian valued fields.Pierre Touchard - 2023 - Annals of Pure and Applied Logic 174 (10):103318.
Quantifier elimination on some pseudo-algebraically closed valued fields.Jizhan Hong - 2023 - Annals of Pure and Applied Logic 174 (1):103170.
Dimension of definable sets, algebraic boundedness and Henselian fields.Lou Van den Dries - 1989 - Annals of Pure and Applied Logic 45 (2):189-209.
Imaginaries in real closed valued fields.Timothy Mellor - 2006 - Annals of Pure and Applied Logic 139 (1):230-279.
Relative decidability and definability in henselian valued fields.Joseph Flenner - 2011 - Journal of Symbolic Logic 76 (4):1240-1260.
Burden of Henselian Valued Fields in the Denef–Pas Language.Peter Sinclair - 2022 - Notre Dame Journal of Formal Logic 63 (4):463-480.
On the structure of certain valued fields.Junguk Lee & Wan Lee - 2021 - Annals of Pure and Applied Logic 172 (4):102927.
Substructures and uniform elimination for p-adic fields.Luc Bélair - 1988 - Annals of Pure and Applied Logic 39 (1):1-17.
Erratum to “Elimination of unbounded quantifiers for some poly-regular groups of infinite rank” [Ann. Pure Appl. Logic 149 (1–3) (2007) 40–80]. [REVIEW]Philip Scowcroft - 2013 - Annals of Pure and Applied Logic 164 (1):65.
Analytics
Added to PP
2014-01-16
Downloads
16 (#905,992)
6 months
4 (#1,006,062)
2014-01-16
Downloads
16 (#905,992)
6 months
4 (#1,006,062)
Historical graph of downloads
Citations of this work
Model theory of adeles I.Jamshid Derakhshan & Angus Macintyre - 2022 - Annals of Pure and Applied Logic 173 (3):103074.
Burden in Henselian valued fields.Pierre Touchard - 2023 - Annals of Pure and Applied Logic 174 (10):103318.
A p-minimal structure without definable Skolem functions.Pablo Cubides Kovacsics & Kien Huu Nguyen - 2017 - Journal of Symbolic Logic 82 (2):778-786.
Stably embedded submodels of Henselian valued fields.Pierre Touchard - 2023 - Archive for Mathematical Logic 63 (3):279-315.
References found in this work
Real closed rings II. model theory.Gregory Cherlin & Max A. Dickmann - 1983 - Annals of Pure and Applied Logic 25 (3):213-231.
On definable subsets of p-adic fields.Angus MacIntyre - 1976 - Journal of Symbolic Logic 41 (3):605-610.
Diophantine Problems Over Local Fields I.James Ax & Simon Kochen - 1971 - Journal of Symbolic Logic 36 (4):683-684.
On the elementary theory of Hensel fields.Volker Weispfenning - 1976 - Annals of Mathematical Logic 10 (1):59.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-2nz2h uwo