CaltechAUTHORS
  A Caltech Library Service

Countable structures with a fixed group of automorphisms

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. 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:
URLURL TypeDescription
http://dx.doi.org/10.1007/BF02773566DOIArticle
https://rdcu.be/bPMafPublisherFree ReadCube access
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
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:03 Oct 2019 04:58

Repository Staff Only: item control page