Co-theory of sorted profinite groups for PAC structures

DOI10.1142/S0219061322500301OpenAlexW2946335497MaRDI QIDQ6132765FDOQ6132765

Authors Daniel Max Hoffmann, Junguk Lee

Publication date 14 July 2023

Published in Journal of Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1905.09748

zbMATH Keywords

Galois groupsKim-independencepseudo-algebraically closed structures

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Abstract model theory (03C95) Properties of classes of models (03C52)

Abstract: We achieve several results. First, we develop a variant of the theory of absolute Galois groups in the context of many sorted structures. Second, we provide a method for coding absolute Galois groups of structures, so they can be interpreted in some monster model with an additional predicate. Third, we prove the "Weak Independence Theorem" for PAC substructures of an ambient structure with nfcp and the property B(3). Fourth, we describe Kim-dividing in these PAC substructures and show several results related to the SOPn hierarchy. Fifth, we characterize the algebraic closure in PAC structures

Cites work

• scientific article; zbMATH DE number 1002918 (Why is no real title available?)
• scientific article; zbMATH DE number 3973001 (Why is no real title available?)
• scientific article; zbMATH DE number 3732018 (Why is no real title available?)
• scientific article; zbMATH DE number 1478717 (Why is no real title available?)
• scientific article; zbMATH DE number 858680 (Why is no real title available?)
• scientific article; zbMATH DE number 2220970 (Why is no real title available?)
• A course in model theory
• Amalgamation functors and boundary properties in simple theories
• Amalgamation of types in pseudo-algebraically closed fields and applications
• Decidability and undecidability theorems for PAC-fields
• Elementary equivalence theorem for PAC structures
• Field Arithmetic
• Generic structures and simple theories
• Model theoretic dynamics in Galois fashion
• Model theory of difference fields
• Model theory of fields with virtually free group actions
• Model theory of profinite groups having the Iwasawa property
• Model theory.
• ON SIMPLICITY OF BOUNDED PSEUDOALGEBRAICALLY CLOSED STRUCTURES
• On Galois groups and PAC substructures
• On Kim-independence
• On PAC and bounded substructures of a stable structure
• On model-theoretic tree properties
• On the \(n\)-uniqueness of types in rosy theories
• Perfect pseudo-algebraically closed fields are algebraically bounded.
• Properties of forking in ω-free pseudo-algebraically closed fields
• Pseudo algebraically closed fields with non-archimedean real valuations
• Simplicity theory
• Solving diophantine problems modulo every prime
• Stable theories with a new predicate
• The elementary theory of algebraic fields of finite corank
• The elementary theory of finite fields
• The ultraproduct construction

Cited in

(3)

• Note on the uniqueness of a universal SEP-cover
• On the antichain tree property
• THE EMBEDDING PROPERTY FOR SORTED PROFINITE GROUPS

This page was built for publication: Co-theory of sorted profinite groups for PAC structures

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