Finite undecidability in PAC and PRC fields

DOI10.1016/J.APAL.2024.103465MaRDI QIDQ6584954

Could not fetch data.

Publication date: 8 August 2024

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

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

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

Cites Work

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

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)