The paper has two main points. Firstly, it is shown that all the theory of forking can be developed in a possibly unstable theory, but with respect to any Booleanly closed set of stable formulas. A crucial point is the following. Let X be a stable definable set (i.e. X is defined by \(\vartheta(\bar x,\bar a)\) where \(\vartheta(\bar x,\bar y)\) does not have the order property); then we have the following characterization- definition: X does not fork over A if some positive Boolean combination of A-conjugates of X is nonempty and A-definable. Secondly, the notion of a canonical base of a family of types is introduced, and necessary and sufficient conditions are given for suitable families to have canonical bases.
- A note on forking and normalization
- scientific article; zbMATH DE number 3843729
- scientific article; zbMATH DE number 1296386
- Forking in finite models
- Bases for finite fields and a canonical decomposition for a normal basis generator
- On canonical bases and internality criteria
- scientific article; zbMATH DE number 3811645
- þ-Forking and Stable Forking
- The stable forking conjecture and generic structures
- \(\aleph _ 0\)-categorical, \(\aleph _ 0\)-stable structures
- A survey of basic stability theory, with particular emphasis on orthogonality and regular types
- An introduction to forking
- Classification theory and the number of non-isomorphic models
- Forking and Pushouts in Modules
- Fundamentals of forking
- scientific article; zbMATH DE number 3833933 (Why is no real title available?)
- scientific article; zbMATH DE number 3843729 (Why is no real title available?)
- On nontrivial types of U-rank 1
- Ranks and definability in superstable theories
- Two conjectures regarding the stability of ω-categorical theories
- Measures and forking
- Stable theories, pseudoplanes and the number of countable models
- Groups definable in local fields and pseudo-finite fields
- A model and its subset: The uncountable case
- Canonical forking in AECs
- Stable types in rosy theories
- Scott analysis of pseudotypes
- scientific article; zbMATH DE number 3843729 (Why is no real title available?)
- Closed sets and chain conditions in stable theories
- A note on forking and normalization
- scientific article; zbMATH DE number 4059372 (Why is no real title available?)
- A Generalization of Forking
- Definable FN Bases
- scientific article; zbMATH DE number 1827966 (Why is no real title available?)
- On atomic or saturated sets
- Forking and Incomplete Types
- Forking and independence in o-minimal theories
- þ-Forking and Stable Forking
- Stable domination and weight
- Stabilizers, measures, and IP sets
- Powerful types in small theories
- Forking types and rank functions in stable theories
This page was built for publication: Forking, normalization and canonical bases
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1085155)
