Quantifier elimination on some pseudo-algebraically closed valued fields

Annals of Pure and Applied Logic 174 (1):103170 (2023)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2022.103170

Other Versions

No versions found

Links

PhilArchive



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

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

Imaginaries in real closed valued fields.Timothy Mellor - 2006 - Annals of Pure and Applied Logic 139 (1):230-279.
Quantifier elimination for the theory of algebraically closed valued fields with analytic structure.Yalin Firat Çelikler - 2007 - Mathematical Logic Quarterly 53 (3):237-246.
Algebraically closed field with pseudo-exponentiation.B. Zilber - 2005 - Annals of Pure and Applied Logic 132 (1):67-95.
Intersections of algebraically closed fields.C. J. Ash & John W. Rosenthal - 1986 - Annals of Pure and Applied Logic 30 (2):103-119.
Geometric axioms for existentially closed Hasse fields.Piotr Kowalski - 2005 - Annals of Pure and Applied Logic 135 (1-3):286-302.
Pseudo real closed fields, pseudo p-adically closed fields and NTP2.Samaria Montenegro - 2017 - Annals of Pure and Applied Logic 168 (1):191-232.
Integration in algebraically closed valued fields.Yimu Yin - 2011 - Annals of Pure and Applied Logic 162 (5):384-408.
Model-complete theories of pseudo-algebraically closed fields.William H. Wheeler - 1979 - Annals of Mathematical Logic 17 (3):205-226.
Special transformations in algebraically closed valued fields.Yimu Yin - 2010 - Annals of Pure and Applied Logic 161 (12):1541-1564.
Relative elimination of quantifiers for Henselian valued fields.Serban A. Basarab - 1991 - Annals of Pure and Applied Logic 53 (1):51-74.

Analytics

Added to PP
2022-07-21

Downloads
18 (#1,108,484)

6 months
5 (#1,012,768)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

On model-theoretic tree properties.Artem Chernikov & Nicholas Ramsey - 2016 - Journal of Mathematical Logic 16 (2):1650009.
A geometric introduction to forking and thorn-forking.Hans Adler - 2009 - Journal of Mathematical Logic 9 (1):1-20.
The independence relation in separably closed fields.G. Srour - 1986 - Journal of Symbolic Logic 51 (3):715-725.

Add more references