Translator Disclaimer
December 2004 Coordinatisation by binding groups and unidimensionality in simple theories
Ziv Shami
J. Symbolic Logic 69(4): 1221-1242 (December 2004). DOI: 10.2178/jsl/1102022220

Abstract

In a simple theory with elimination of finitary hyperimaginaries if tp(a) is real and analysable over a definable set Q, then there exists a finite sequence (ai | i≤ n*)⊆ dcleq(a) with an*=a such that for every i≤ n*, if pi=tp(ai/{aj | j<i}) then Aut(pi/Q) is type-definable with its action on pi𝒞. A unidimensional simple theory eliminates the quantifier ∃ and either interprets (in 𝒞eq) an infinite type-definable group or has the property that ACL(Q)=𝒞 for every infinite definable set Q.

Citation

Download Citation

Ziv Shami. "Coordinatisation by binding groups and unidimensionality in simple theories." J. Symbolic Logic 69 (4) 1221 - 1242, December 2004. https://doi.org/10.2178/jsl/1102022220

Information

Published: December 2004
First available in Project Euclid: 2 December 2004

zbMATH: 1081.03030
MathSciNet: MR2135664
Digital Object Identifier: 10.2178/jsl/1102022220

Rights: Copyright © 2004 Association for Symbolic Logic

JOURNAL ARTICLE
22 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.69 • No. 4 • December 2004
Back to Top