Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

If You Use a Screen Reader

This content is available through Read Online (Free) program, which relies on page scans. Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.

Local-Global Properties of Positive Primitive Formulas in the Theory of Spaces of Orderings

M. Marshall
The Journal of Symbolic Logic
Vol. 71, No. 4 (Dec., 2006), pp. 1097-1107
Stable URL: http://www.jstor.org/stable/27588504
Page Count: 11
  • Read Online (Free)
  • Download ($10.00)
  • Subscribe ($19.50)
  • Cite this Item
Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.
Local-Global Properties of Positive Primitive Formulas in the Theory of Spaces of Orderings
Preview not available

Abstract

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\in \Pi _{i=1}^{n}\,D\langle 1,a_{i}\rangle $. Formulas of this type with n = 3 are the simplest sort of pp formula not covered by the result, and are also the source of the recent counterexamples in [9] and [19].

Page Thumbnails

  • Thumbnail: Page 
1097
    1097
  • Thumbnail: Page 
1098
    1098
  • Thumbnail: Page 
1099
    1099
  • Thumbnail: Page 
1100
    1100
  • Thumbnail: Page 
1101
    1101
  • Thumbnail: Page 
1102
    1102
  • Thumbnail: Page 
1103
    1103
  • Thumbnail: Page 
1104
    1104
  • Thumbnail: Page 
1105
    1105
  • Thumbnail: Page 
1106
    1106
  • Thumbnail: Page 
1107
    1107