SU\G(𝔸)/K·U

The undecidability of pseudo real closed fields

Dan Haran

Type: Article

Publication Date: 1984-02-01

Citations: 6

DOI: https://doi.org/10.1007/bf01174873

Locations

  • manuscripta mathematica - View

Similar Works

Action Title Year Authors
+ Undecidability of pseudop-adically closed fields 1992 Ido Efrat
+ Pseudo real closed fields 1981 Alexander Prestel
+ Undecidability of regularly closed fields 1981 Yu. L. Ershov
+ Pseudo algebraically closed fields with non-Archimedean real valuations 1973 Gerhard Frey
+ On the decidability of the real exponential field 1996 Angus Macintyre
A. J. Wilkie
+ Schanuel’s Conjecture and the Decidability of the Real Exponential Field 1997 A. J. Wilkie
+ A characterization of real closed fields 2006
+ Real closed fields 1968 Yean-mei Wang Chou
+ Perfect pseudo-algebraically closed fields are algebraically bounded 2003 Zoé Chatzidakis
Ehud Hrushovski
+ Imaginaries in dense pairs of real-closed fields 2017 Tsinjo Odilon Rakotonarivo
+ Dectdable theories of pseudo-Algebraically closed fields 1984 Gregory Cherlin
+ PDF Chat Quite complete real closed fields 2004 Saharon Shelah
+ Decidable theories of pseudo-p-adic closed fields 1989 Urs-Martin Künzi
+ Hyperexponentially closed fields 2022 Vincent Bagayoko
+ Indivisibility of class numbers of real quadratic function fields 2016 Jungyun Lee
Yoonjin Lee
+ THE UNDECIDABILITY OF PURE TRANSCENDENTAL EXTENSIONS OF REAL FIELDS 1964 Raphael M. Robinson
+ PDF Chat The undecidability of algebraic rings and fields 1959 Julia Robinson
+ PDF Chat The Undecidability of Algebraic Rings and Fields 1959 Julia Robinson
+ Imaginaries in real closed valued fields 2005 T. Mellor
+ Indivisibility of Class Numbers of Real Quadratic Fields 2008 Ayten Peki̇n

Works That Cite This (6)

Action Title Year Authors
+ Cohomology theory of Artin-Schreier structures 1990 Dan Haran
+ Undecidability of pseudop-adically closed fields 1992 Ido Efrat
+ PDF Chat THE ELEMENTARY THEORY OF LARGE FIELDS OF TOTALLY -ADIC NUMBERS 2015 Arno Fehm
+ Finite Undecidability in PAC and PRC Fields 2024 Brian Tyrrell
+ RRC-fields with small absolute Galois groups 1989 Yu. L. Ershov
+ Decidability of large fields of algebraic numbers 2010 Arno Fehm

Works Cited by This (3)

Action Title Year Authors
+ Pseudo real closed fields 1981 Alexander Prestel
+ Undecidability of regularly closed fields 1981 Yu. L. Ershov
+ Embedding covers and the theory of frobenius fields 1982 Dan Haran
Alexander Lubotzky