Browse Dissertations and Theses - Mathematics by Author "Lawton, Linda Barker"

  • Lawton, Linda Barker (2002)
    Given an (undecidable) elementary theory of a computability-theoretic structure, it is natural to ask how much of the theory is decidable. An AE-sentence is a sentence in prenex normal form with all universal quantifiers ...


    application/pdfPDF (3MB)Restricted to U of Illinois