Quantifier rank spectrum of L-infinity-omega
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 2006.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | eng |
| Published: |
Massachusetts Institute of Technology
2006
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/34269 |
| _version_ | 1826205060993908736 |
|---|---|
| author | Ackerman, Nathaniel Leedom |
| author2 | Gerald Sacks. |
| author_facet | Gerald Sacks. Ackerman, Nathaniel Leedom |
| author_sort | Ackerman, Nathaniel Leedom |
| collection | MIT |
| description | Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 2006. |
| first_indexed | 2024-09-23T13:06:08Z |
| format | Thesis |
| id | mit-1721.1/34269 |
| institution | Massachusetts Institute of Technology |
| language | eng |
| last_indexed | 2024-09-23T13:06:08Z |
| publishDate | 2006 |
| publisher | Massachusetts Institute of Technology |
| record_format | dspace |
| spelling | mit-1721.1/342692019-04-10T22:21:58Z Quantifier rank spectrum of L-infinity-omega Ackerman, Nathaniel Leedom Gerald Sacks. Massachusetts Institute of Technology. Dept. of Mathematics. Massachusetts Institute of Technology. Dept. of Mathematics. Mathematics. Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 2006. This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections. Includes bibliographical references (p. 321) and index. In Part A we will study the quantifier rank spectrum of sentences of L!1,!. We will show that there are scattered sentences with models of arbitrarily high but bounded quantifier rank. We will also consider the case of weakly scattered and almost scattered sentences, and we will make some conjectures. In Part B we will look at a new method of induction in the case of sheaves. We will then use this method to generalize the classical proof of the Suslin-Kleene Separation Theorem to the context of sheaves on a partial Grothendieck topology. by Nathaniel Leedom Ackerman. Ph.D. 2006-10-31T15:21:09Z 2006-10-31T15:21:09Z 2006 2006 Thesis http://hdl.handle.net/1721.1/34269 71015686 eng M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission. http://dspace.mit.edu/handle/1721.1/7582 321 p. 1495538 bytes 1490131 bytes application/pdf application/pdf application/pdf Massachusetts Institute of Technology |
| spellingShingle | Mathematics. Ackerman, Nathaniel Leedom Quantifier rank spectrum of L-infinity-omega |
| title | Quantifier rank spectrum of L-infinity-omega |
| title_full | Quantifier rank spectrum of L-infinity-omega |
| title_fullStr | Quantifier rank spectrum of L-infinity-omega |
| title_full_unstemmed | Quantifier rank spectrum of L-infinity-omega |
| title_short | Quantifier rank spectrum of L-infinity-omega |
| title_sort | quantifier rank spectrum of l infinity omega |
| topic | Mathematics. |
| url | http://hdl.handle.net/1721.1/34269 |
| work_keys_str_mv | AT ackermannathanielleedom quantifierrankspectrumoflinfinityomega |