Finite undecidability in PAC and PRC fields

DOI10.1016/J.APAL.2024.103465MaRDI QIDQ6584954zbMATH OpenFDO

Authors Brian Tyrrell

Publication date 8 August 2024

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.APAL.2024.103465

zbMATH Keywords

undecidabilityaxiomatisabilitypseudo-algebraically closed fieldspseudo-real closed fields

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Decidability and field theory (12L05) Model theory of fields (12L12) Other nonalgebraically closed ground fields in algebraic geometry (14G27)

Cites work

• scientific article; zbMATH DE number 3957249 (Why is no real title available?)
• scientific article; zbMATH DE number 3730274 (Why is no real title available?)
• scientific article; zbMATH DE number 3779289 (Why is no real title available?)
• scientific article; zbMATH DE number 9826 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1250549 (Why is no real title available?)
• scientific article; zbMATH DE number 478433 (Why is no real title available?)
• scientific article; zbMATH DE number 1478717 (Why is no real title available?)
• scientific article; zbMATH DE number 1425669 (Why is no real title available?)
• Characterizing rosy theories
• Cohomology theory of Artin-Schreier structures
• Decidable theories of pseudo-\(p\)-adic closed fields
• Definability and decidability in infinite algebraic extensions
• Definability and decidability problems in number theory. Abstracts from the workshop held October 23--29, 2016
• Einige unentscheidbare Körpertheorien
• Field Arithmetic
• Groups and fields with \(\mathrm{NTP}_{2}\)
• On a question of Abraham Robinson
• On the cohomological dimension of Artin-Schreier structures
• Properties of forking in ω-free pseudo-algebraically closed fields
• Pseudo real closed fields, pseudo \(p\)-adically closed fields and \(\mathrm{NTP}_{2}\)
• Simple unstable theories
• Some theorems on definability and decidability
• Superrosy fields and valuations
• THE ELEMENTARY THEORY OF LARGE FIELDS OF TOTALLY -ADIC NUMBERS
• The Undecidability of Algebraic Rings and Fields
• The absolute Galois group of a pseudo p-adically closed field.
• The algebraic nature of the elementary theory of PRC fields
• The undecidability of pseudo real closed fields
• Torsion elements and centralizers in free products of profinite groups.
• Two theorems on regularly r-closed fields.
• Undecidability and Definability for the Theory of Global Fields
• Undecidability of pseudo \(p\)-adically closed fields
• Undecidability of regularly closed fields
• Uniform first-order definitions in finitely generated fields

This page was built for publication: Finite undecidability in PAC and PRC fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6584954)