Decidable theories of pseudo-p-adic closed fields
From MaRDI portal
Publication:753869
DOI10.1007/BF01980234zbMATH Open0717.12005OpenAlexW2018922609MaRDI QIDQ753869FDOQ753869
Authors: Urs-Martin Künzi
Publication date: 1989
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01980234
Recommendations
Decidability of theories and sets of sentences (03B25) Decidability and field theory (12L05) Formally (p)-adic fields (12J12)
Cites Work
Cited In (11)
- Finite undecidability in PAC and PRC fields
- Decidability via the tilting correspondence
- An undecidability result for the asymptotic theory of \(p\)-adic fields
- On the decidability of the real field with a generic power function
- The undecidability of pseudo real closed fields
- Pseudo real closed fields, pseudo \(p\)-adically closed fields and \(\mathrm{NTP}_{2}\)
- Maximal \(RC_ \pi\)-fields
- The field of \(p\)-adic numbers with a predicate for the powers of an integer
- Groups and fields with \(\mathrm{NTP}_{2}\)
- Title not available (Why is that?)
- Elementary geometric local-global principles for fields
This page was built for publication: Decidable theories of pseudo-\(p\)-adic closed fields
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q753869)