Co-theory of sorted profinite groups for PAC structures

DOI10.1142/S0219061322500301arXiv1905.09748OpenAlexW2946335497MaRDI QIDQ6132765FDOQ6132765

Authors: Daniel Max Hoffmann, Junguk Lee 

Publication date: 14 July 2023

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

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

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)

Cites Work

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

Cited In (3)

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

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)