Camerlo, Riccardo and Kechris, Alexander S. (2000) Countable structures with a fixed group of automorphisms. Israel Journal of Mathematics, 117 (1). pp. 105-124. ISSN 0021-2172. doi:10.1007/BF02773566. https://resolver.caltech.edu/CaltechAUTHORS:20130521-095650096
Full text is not posted in this repository. Consult Related URLs below.
Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechAUTHORS:20130521-095650096
Abstract
We prove that, given a countable group G, the set of countable structures (for a suitable language L)U_G whose automorphism group is isomorphic to G is a complete coanalytic set and if G ≄ H then U_G is Borel inseparable from U_H . We give also a model theoretic interpretation of this result. We prove, in contrast, that the set of countable structures for L whose automorphism group is isomorphic to ℤ_p^ℕ ,p a prime number, is Π^1_1&Σ^1_1-complete.
Item Type: | Article | |||||||||
---|---|---|---|---|---|---|---|---|---|---|
Related URLs: |
| |||||||||
Additional Information: | © 2000 Springer-Verlag. Received October 25, 1998. We wish to thank R. Dougherty, G. Hjorth, A. Marcone and S. Solecki for their important help and suggestions. In particular A. Marcone helped us in clearing the presentation of the main construction, which is now more perspicuous than in an earlier draft of the paper. | |||||||||
Issue or Number: | 1 | |||||||||
DOI: | 10.1007/BF02773566 | |||||||||
Record Number: | CaltechAUTHORS:20130521-095650096 | |||||||||
Persistent URL: | https://resolver.caltech.edu/CaltechAUTHORS:20130521-095650096 | |||||||||
Official Citation: | Camerlo, R. & Kechris, A.S. Isr. J. Math. (2000) 117: 105. https://doi.org/10.1007/BF02773566 | |||||||||
Usage Policy: | No commercial reproduction, distribution, display or performance rights in this work are provided. | |||||||||
ID Code: | 38595 | |||||||||
Collection: | CaltechAUTHORS | |||||||||
Deposited By: | Ruth Sustaita | |||||||||
Deposited On: | 21 May 2013 17:40 | |||||||||
Last Modified: | 09 Nov 2021 23:38 |
Repository Staff Only: item control page