- 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
Substructures and uniform elimination for p-adic fields
Annals of Pure and Applied Logic 39 (1):1-17 (1988)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Polytopes and simplexes in p-adic fields.Luck Darnière - 2017 - Annals of Pure and Applied Logic 168 (6):1284-1307.
An undecidability result for the asymptotic theory of p-adic fields.Konstantinos Kartas - 2023 - Annals of Pure and Applied Logic 174 (2):103203.
Rationality of p-adic poincaré series: uniformity in p.Angus Macintyre - 1990 - Annals of Pure and Applied Logic 49 (1):31-74.
Denseness results in the theory of algebraic fields.Sylvy Anscombe, Philip Dittmann & Arno Fehm - 2021 - Annals of Pure and Applied Logic 172 (8):102973.
Definably topological dynamics of p-adic algebraic groups.Jiaqi Bao & Ningyuan Yao - 2022 - Annals of Pure and Applied Logic 173 (4):103077.
On the elimination of imaginaries from certain valued fields.Philip Scowcroft & Angus Macintyre - 1993 - Annals of Pure and Applied Logic 61 (3):241-276.
Relative elimination of quantifiers for Henselian valued fields.Serban A. Basarab - 1991 - Annals of Pure and Applied Logic 53 (1):51-74.
Quantifier elimination on some pseudo-algebraically closed valued fields.Jizhan Hong - 2023 - Annals of Pure and Applied Logic 174 (1):103170.
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.
The theory of modules of separably closed fields 2.Pilar Dellunde, Françoise Delon & Françoise Point - 2004 - Annals of Pure and Applied Logic 129 (1-3):181-210.
Analytics
Added to PP
2014-01-16
Downloads
172 (#22,391)
6 months
3 (#1,723,834)
2014-01-16
Downloads
172 (#22,391)
6 months
3 (#1,723,834)
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.
Topological differential fields.Nicolas Guzy & Françoise Point - 2010 - Annals of Pure and Applied Logic 161 (4):570-598.
Some supplements to Feferman–Vaught related to the model theory of adeles.Jamshid Derakhshan & Angus Macintyre - 2014 - Annals of Pure and Applied Logic 165 (11):1639-1679.
More on imaginaries in p-adic fields.Philip Scowcroft - 1997 - Journal of Symbolic Logic 62 (1):1-13.
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.
Elimination of Quantifiers in Algebraic Structures.Angus Macintyre, Kenneth Mckenna, Lou van den Dries, L. P. D. van den Dries, Bruce I. Rose & M. Boffa - 1985 - Journal of Symbolic Logic 50 (4):1079-1080.
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-68866f4b87-6mvtb uwo