University of SaskatchewanHARVEST
  • Login
  • Submit Your Work
  • About
    • About HARVEST
    • Guidelines
    • Browse
      • All of HARVEST
      • Communities & Collections
      • By Issue Date
      • Authors
      • Titles
      • Subjects
      • This Collection
      • By Issue Date
      • Authors
      • Titles
      • Subjects
    • My Account
      • Login
      JavaScript is disabled for your browser. Some features of this site may not work without it.
      View Item 
      • HARVEST
      • Electronic Theses and Dissertations
      • Graduate Theses and Dissertations
      • View Item
      • HARVEST
      • Electronic Theses and Dissertations
      • Graduate Theses and Dissertations
      • View Item

      The pp conjecture in the theory of spaces of orderings

      Thumbnail
      View/Open
      thesisfinal.pdf (573.2Kb)
      Date
      2007-09-18
      Author
      Gladki, Pawel
      Type
      Thesis
      Degree Level
      Doctoral
      Metadata
      Show full item record
      Abstract
      The notion of spaces of orderings was introduced by Murray Marshall in the 1970's and provides an abstract framework for studying orderings on fields and the reduced theory of quadratic forms over fields. The structure of a space of orderings (X, G) is completely determined by the group structure of G and the quaternary relation (a_1, a_2) = (a_3, a_4) on G -- the groups with additional structure arising in this way are called reduced special groups. The theory of reduced special groups, in turn, can be conveniently axiomatized in the first order language L_SG. Numerous important notions in this theory, such as isometry, isotropy, or being an element of a value set of a form, make an extensive use of, so called, positive primitive formulae in the language L_SG. Therefore, the following question, which can be viewed as a type of very general and highly abstract local-global principle, is of great importance:Is it true that if a positive primitive formula holds in every finite subspace of a space of orderings, then it also holds in the whole space?This problem is now known as the pp conjecture. The answer to this question is affirmative in many cases, although it has always seemed unlikely that the conjecture has a positive solution in general. In this thesis, we discuss, discovered by us, first counterexamples for which the pp conjecture fails. Namely, we classify spaces of orderings of function fields of rational conics with respect to the pp conjecture, and show for which of such spaces the conjecture fails, and then we disprove the pp conjecture for the space of orderings of the field R(x,y). Some other examples, which can be easily obtained from the developed theory, are also given. In addition, we provide a refinement of the result previously obtained by Vincent Astier and Markus Tressl, which shows that a pp formula fails on a finite subspace of a space of orderings, if and only if a certain family of formulae is verified.
      Degree
      Doctor of Philosophy (Ph.D.)
      Department
      Mathematics and Statistics
      Program
      Mathematics and Statistics
      Supervisor
      Marshall, Murray
      Copyright Date
      September 2007
      URI
      http://hdl.handle.net/10388/etd-09172007-135219
      Subject
      spaces of orderings
      forms over real fields
      Collections
      • Graduate Theses and Dissertations
      University of Saskatchewan

      University Library

      © University of Saskatchewan
      Contact Us | Disclaimer | Privacy