On the number of automorphism of uncontable models
Logic
2016-09-06 v1
Abstract
Let s(A) denote the number of automorphisms of a model A of power omega_1. We derive a necessary and sufficient condition in terms of trees for the existence of an A with omega_1 < s(A) < 2^{omega_1}. We study the sufficiency of some conditions for s(A)=2^{omega_1}. These conditions are analogous to conditions studied by D.Kueker in connection with countable models.
Keywords
Cite
@article{arxiv.math/9301205,
title = {On the number of automorphism of uncontable models},
author = {Saharon Shelah and Heikki Tuuri and Jouko Väänänen},
journal= {arXiv preprint arXiv:math/9301205},
year = {2016}
}