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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,829

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

Denseness results in the theory of algebraic fields.Sylvy Anscombe, Philip Dittmann & Arno Fehm - 2021 - Annals of Pure and Applied Logic 172 (8):102973.
A version of p-adic minimality.Raf Cluckers & Eva Leenknegt - 2012 - Journal of Symbolic Logic 77 (2):621-630.
A note on groups definable in the p -adic field.Anand Pillay & Ningyuan Yao - 2019 - Archive for Mathematical Logic 58 (7-8):1029-1034.
p-Adic valued logical calculi in simulations of the slime mould behaviour.Andrew Schumann - 2015 - Journal of Applied Non-Classical Logics 25 (2):125-139.
Computable valued fields.Matthew Harrison-Trainor - 2018 - Archive for Mathematical Logic 57 (5-6):473-495.
Undecidable theories.Alfred Tarski - 1953 - Amsterdam,: North-Holland Pub. Co.. Edited by Andrzej Mostowski & Raphael M. Robinson.
Existentially closed fields with holomorphy rings.Joachim Schmid - 1997 - Archive for Mathematical Logic 36 (2):127-135.
Review: Raphael M. Robinson, The Undecidability of Pure Transcendental Extensions of Real fields; Raphael M. Robinson, M. A. Tajclin, The Undecidability of the Elementary Theory of the Field of Rational Functions of One Variable with Rational Coefficients. [REVIEW]Benjamin Franklin Wells - 1966 - Journal of Symbolic Logic 31 (2):254-255.
Logics for Reasoning About Processes of Thinking with Information Coded by p-adic Numbers.Angelina Ilić Stepić & Zoran Ognjanović - 2015 - Studia Logica 103 (1):145-174.
How Much Propositional Logic Suffices for Rosser's Essential Undecidability Theorem?Guillermo Badia, Petr Cintula, Petr Hajek & Andrew Tedder - forthcoming - Review of Symbolic Logic.
The undecidability of the spatialized prisoner's dilemma.Patrick Grim - 1997 - Theory and Decision 42 (1):53-80.
How Much Propositional Logic Suffices for Rosser’s Essential Undecidability Theorem?Guillermo Badia, Petr Cintula, Petr Hajek & Andrew Tedder - forthcoming - Review of Symbolic Logic:1-18.
Cell decomposition for P‐minimal fields.Marie-Hélène Mourgues - 2009 - Mathematical Logic Quarterly 55 (5):487-492.
Cell decomposition for semibounded p-adic sets.Eva Leenknegt - 2013 - Archive for Mathematical Logic 52 (5-6):667-688.
Sur la théorie élémentaire Des corps de fonctions.Jean-Louis Duret - 1986 - Journal of Symbolic Logic 51 (4):948-956.

Analytics

Added to PP
2022-10-15

Downloads
8 (#1,316,752)

6 months
1 (#1,469,946)

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