On NIP and invariant measures (Q550563): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / review text | |||
Summary: We study forking, Lascar strong types, Keisler measures and definable groups, under an assumption of NIP (not the independence property), continuing aspects of the paper [\textit{E. Hrushovski, Y. Peterzil} and \textit{A. Pillay}, J. Am. Math. Soc. 21, No.~2, 563--596 (2008; Zbl 1134.03024)]. Among the key results are (i) if \(p = \text{tp}(b/A)\) does not fork over \(A\) then the Lascar strong type of \(b\) over \(A\) coincides with the compact strong type of \(b\) over \(A\) and any global nonforking extension of \(p\) is Borel-definable over bdd(\(A)\), (ii) analogous statements for Keisler measures and definable groups, including the fact that \(G^{000} = G^{00}\) for \(G\) definably amenable, (iii) definitions, characterizations and properties of ``generically stable'' types and groups, (iv) uniqueness of invariant (under the group action) Keisler measures on groups with finitely satisfiable generics, (v) a proof of the compact domination conjecture for (definably compact) commutative groups in o-minimal expansions of real closed fields. | |||
Property / review text: Summary: We study forking, Lascar strong types, Keisler measures and definable groups, under an assumption of NIP (not the independence property), continuing aspects of the paper [\textit{E. Hrushovski, Y. Peterzil} and \textit{A. Pillay}, J. Am. Math. Soc. 21, No.~2, 563--596 (2008; Zbl 1134.03024)]. Among the key results are (i) if \(p = \text{tp}(b/A)\) does not fork over \(A\) then the Lascar strong type of \(b\) over \(A\) coincides with the compact strong type of \(b\) over \(A\) and any global nonforking extension of \(p\) is Borel-definable over bdd(\(A)\), (ii) analogous statements for Keisler measures and definable groups, including the fact that \(G^{000} = G^{00}\) for \(G\) definably amenable, (iii) definitions, characterizations and properties of ``generically stable'' types and groups, (iv) uniqueness of invariant (under the group action) Keisler measures on groups with finitely satisfiable generics, (v) a proof of the compact domination conjecture for (definably compact) commutative groups in o-minimal expansions of real closed fields. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03C45 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03C64 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5919470 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
forking | |||
Property / zbMATH Keywords: forking / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Lascar strong types | |||
Property / zbMATH Keywords: Lascar strong types / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Keisler measures | |||
Property / zbMATH Keywords: Keisler measures / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
definable groups | |||
Property / zbMATH Keywords: definable groups / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
NIP | |||
Property / zbMATH Keywords: NIP / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
o-minimal expansions of real closed fields | |||
Property / zbMATH Keywords: o-minimal expansions of real closed fields / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 0710.2330 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Paires de structures O-minimales / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: O-minimal spectra, infinitesimal subgroups and cohomology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A descending chain condition for groups definable in o-minimal structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Supersimple theories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Forking and Dividing in NTP<sub>2</sub> theories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Forking and independence in o-minimal theories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: DEFINABLY COMPACT ABELIAN GROUPS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Model theoretic connected components of groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Definable sets in algebraically closed valued fields: elimination of imaginaries / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5440999 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Coordinatisation and canonical bases in simple theories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Embedded o-minimal structures / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Revision as of 07:15, 4 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On NIP and invariant measures |
scientific article |
Statements
On NIP and invariant measures (English)
0 references
12 July 2011
0 references
Summary: We study forking, Lascar strong types, Keisler measures and definable groups, under an assumption of NIP (not the independence property), continuing aspects of the paper [\textit{E. Hrushovski, Y. Peterzil} and \textit{A. Pillay}, J. Am. Math. Soc. 21, No.~2, 563--596 (2008; Zbl 1134.03024)]. Among the key results are (i) if \(p = \text{tp}(b/A)\) does not fork over \(A\) then the Lascar strong type of \(b\) over \(A\) coincides with the compact strong type of \(b\) over \(A\) and any global nonforking extension of \(p\) is Borel-definable over bdd(\(A)\), (ii) analogous statements for Keisler measures and definable groups, including the fact that \(G^{000} = G^{00}\) for \(G\) definably amenable, (iii) definitions, characterizations and properties of ``generically stable'' types and groups, (iv) uniqueness of invariant (under the group action) Keisler measures on groups with finitely satisfiable generics, (v) a proof of the compact domination conjecture for (definably compact) commutative groups in o-minimal expansions of real closed fields.
0 references
forking
0 references
Lascar strong types
0 references
Keisler measures
0 references
definable groups
0 references
NIP
0 references
o-minimal expansions of real closed fields
0 references