An undecidability result for the asymptotic theory of p-adic fields

Annals of Pure and Applied Logic 174 (2):103203 (2023)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2022.103203

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,154

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

Polytopes and simplexes in p-adic fields.Luck Darnière - 2017 - Annals of Pure and Applied Logic 168 (6):1284-1307.
Substructures and uniform elimination for p-adic fields.Luc Bélair - 1988 - Annals of Pure and Applied Logic 39 (1):1-17.
Denseness results in the theory of algebraic fields.Sylvy Anscombe, Philip Dittmann & Arno Fehm - 2021 - Annals of Pure and Applied Logic 172 (8):102973.
Nonconvergence, undecidability, and intractability in asymptotic problems.Kevin J. Compton, C. Ward Henson & Saharon Shelah - 1987 - Annals of Pure and Applied Logic 36:207.
Rationality of p-adic poincaré series: uniformity in p.Angus Macintyre - 1990 - Annals of Pure and Applied Logic 49 (1):31-74.
Finite undecidability in PAC and PRC fields.Brian Tyrrell - 2024 - Annals of Pure and Applied Logic 175 (10):103465.
Definably topological dynamics of p-adic algebraic groups.Jiaqi Bao & Ningyuan Yao - 2022 - Annals of Pure and Applied Logic 173 (4):103077.
Undecidability of some elementary theories over pac fields.Gregory Cherlin & Moshe Jarden - 1986 - Annals of Pure and Applied Logic 30 (2):137-163.
COMPTON, KJ, HENSON, CW and SHELAH, S., Noncon-vergence, undecidability and intractability in asymptotic problems DI PRISCO, CA and LLOPIS, J., On some extensions of the projective hierarchy. [REVIEW]Cw Henson - 1987 - Annals of Pure and Applied Logic 36:315.
Pseudo real closed fields, pseudo p-adically closed fields and NTP2.Samaria Montenegro - 2017 - Annals of Pure and Applied Logic 168 (1):191-232.

Analytics

Added to PP
2022-10-15

Downloads
14 (#1,264,352)

6 months
5 (#1,015,253)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

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.

Add more references