Local-global properties of positive primitive formulas in the theory of spaces of orderings

@article{Marshall2006LocalglobalPO,
  title={Local-global properties of positive primitive formulas in the theory of spaces of orderings},
  author={M. Marshall},
  journal={J. Symb. Log.},
  year={2006},
  volume={71},
  pages={1097-1107}
}
The paper deals with pp formulas in the language of reduced special groups, and the question of when the validity of a pp formula on each finite subspace of a space of orderings implies its global validity [18]. A large new class of pp formulas is introduced for which this is always the case, assuming the space of orderings in question has finite stability index. The paper also considers pp formulas of the special type b G YY?=\ D(\tat). Formulas of this type with n = 3 are the simplest sort of… CONTINUE READING

Topics from this paper.

References

Publications referenced by this paper.