Model theory of adeles I

&
Annals of Pure and Applied Logic 173 (3):103074 (2022)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2021.103074

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,075

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

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.
Review: G. L. Cherlin, The Model-Companion of a Class of Structures; L. Lipshitz, D. Saracino, The Model Companion of the Theory of Commutative Rings Without Nilpotent Elements; Angus Macintyre, Model-Completeness for Sheaves of Structures. [REVIEW]Stephen D. Comer - 1983 - Journal of Symbolic Logic 48 (2):496-496.
Model companions of theories with an automorphism.Hirotaka Kikyo - 2000 - Journal of Symbolic Logic 65 (3):1215-1222.
G. L. Cherlin. The model-companion of a class of structures. The journal of symbolic logic, vol. 37 , pp. 546–556. - L. Lipshitz and D. Saracino. The model companion of the theory of commutative rings without nilpotent elements. Proceedings of the American Mathematical Society, vol. 38 , pp. 381–387. - Angus Macintyre. Model-completeness for sheaves of structures. Fundamenta mathematicae, vol. 81 no. 1 , pp. 73–89. [REVIEW]Stephen D. Comer - 1983 - Journal of Symbolic Logic 48 (2):496-496.
Model theory: Geometrical and set-theoretic aspects and prospects.Angus Macintyre - 2003 - Bulletin of Symbolic Logic 9 (2):197-212.
Ideal Theory: True and False. [REVIEW]Peter Stone - 2020 - Ethical Theory and Moral Practice 24 (1):375-380.
Uniting model theory and the universalist tradition of logic: Carnap’s early axiomatics.Iris Loeb - 2014 - Synthese 191 (12):2815-2833.
Saturated model theory.Gerald E. Sacks - 1972 - Reading, Mass.,: W. A. Benjamin.
Special Model Axiom in Nonstandard Set Theory.Vladimir Kanovei & Michael Reeken - 1999 - Mathematical Logic Quarterly 45 (3):371-384.
Philosophy and Model Theory.Tim Button & Sean P. Walsh - 2018 - Oxford, UK: Oxford University Press. Edited by Sean Walsh & Wilfrid Hodges.
Generic automorphisms of fields.Angus Macintyre - 1997 - Annals of Pure and Applied Logic 88 (2):165-180.
Spaces of types in positive model theory.Levon Haykazyan - 2019 - Journal of Symbolic Logic 84 (2):833-848.
In defence of (model) theory theory.Heidi Maibom - 2009 - Journal of Consciousness Studies 16 (6-8):6-8.
The Theory of Models. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 20 (1):167-167.
" The Nine-Field-Model" for Evaluation of Theoretical Constructs in Nursing: Part One. Development of a new model for nursing theory evaluation and application of this model to theory description of the SAUC model.Barbro Gustafsson & Lars Andersson - 2001 - Theoria: Journal of Nursing Theory 10 (1):10-34.

Analytics

Added to PP
2021-12-14

Downloads
24 (#658,023)

6 months
11 (#238,613)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Model theory of adeles I.Jamshid Derakhshan & Angus Macintyre - 2022 - Annals of Pure and Applied Logic 173 (3):103074.
An undecidability result for the asymptotic theory of p-adic fields.Konstantinos Kartas - 2023 - Annals of Pure and Applied Logic 174 (2):103203.

Add more citations

References found in this work

On definable subsets of p-adic fields.Angus MacIntyre - 1976 - Journal of Symbolic Logic 41 (3):605-610.
Model theory of adeles I.Jamshid Derakhshan & Angus Macintyre - 2022 - Annals of Pure and Applied Logic 173 (3):103074.
Relative elimination of quantifiers for Henselian valued fields.Serban A. Basarab - 1991 - Annals of Pure and Applied Logic 53 (1):51-74.
Substructures and uniform elimination for p-adic fields.Luc Bélair - 1988 - Annals of Pure and Applied Logic 39 (1):1-17.

View all 8 references / Add more references