{"id":{"repo_id":"mit","oai_identifier":"oai:dspace.mit.edu:1721.1/34269"},"canonical_url":"https://search.dev.ndltd.org/etd/mit/oai:dspace.mit.edu:1721.1/34269","repository":{"repo_id":"mit","name":"MIT","base_url":"https://dspace.mit.edu/oai/request"},"display":{"title":"Quantifier rank spectrum of L-infinity-omega","abstract":"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.","abstract_html":"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.","abstract_has_math":false,"creators":["Ackerman, Nathaniel Leedom"],"institution":"Massachusetts Institute of Technology","degree_name":null,"degree_level":null,"degree_discipline":null,"degree_department":"Massachusetts Institute of Technology. Dept. of Mathematics.","school":null,"contributors":[],"advisors":["Gerald Sacks."],"committee_chairs":[],"committee_members":[],"year":2006,"date_issued":"2006","date_published":"2006","updated_at":"2026-07-22T22:21:45Z","subjects":["Mathematics."],"languages":["eng"],"rights":["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."],"rights_urls":["http://dspace.mit.edu/handle/1721.1/7582"],"identifier_entries":[]},"links":{"outbound_url":"http://hdl.handle.net/1721.1/34269","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Gerald Sacks."]},{"key":"dc:contributor.department","label":"Department","values":["Massachusetts Institute of Technology. Dept. of Mathematics."]},{"key":"dc:contributor.other","label":"Dc Contributor Other","values":["Massachusetts Institute of Technology. Dept. of Mathematics."]},{"key":"dc:creator","label":"Author","values":["Ackerman, Nathaniel Leedom"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2006-10-31T15:21:09Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2006-10-31T15:21:09Z"]},{"key":"dc:date.issued","label":"Date","values":["2006"]},{"key":"dc:publisher","label":"Institution","values":["Massachusetts Institute of Technology"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Mathematics."]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language.iso","label":"Language (ISO)","values":["eng"]},{"key":"dc:rights","label":"Dc Rights","values":["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."]},{"key":"dc:rights.uri","label":"Rights URI","values":["http://dspace.mit.edu/handle/1721.1/7582"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["http://hdl.handle.net/1721.1/34269"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["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."]},{"key":"dc:description.abstract","label":"Abstract","values":["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."]},{"key":"dc:description.degree","label":"Dc Description Degree","values":["Ph.D."]},{"key":"dc:format.mimetype","label":"Dc Format Mimetype","values":["application/pdf"]},{"key":"dc:title","label":"Title","values":["Quantifier rank spectrum of L-infinity-omega"]}]}],"canonical_facts":{"dc:contributor.advisor":["Gerald Sacks."],"dc:contributor.department":["Massachusetts Institute of Technology. Dept. of Mathematics."],"dc:contributor.other":["Massachusetts Institute of Technology. Dept. of Mathematics."],"dc:creator":["Ackerman, Nathaniel Leedom"],"dc:date.accessioned":["2006-10-31T15:21:09Z"],"dc:date.available":["2006-10-31T15:21:09Z"],"dc:date.issued":["2006"],"dc:description":["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."],"dc:description.abstract":["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."],"dc:description.degree":["Ph.D."],"dc:format.mimetype":["application/pdf"],"dc:identifier.uri":["http://hdl.handle.net/1721.1/34269"],"dc:language.iso":["eng"],"dc:publisher":["Massachusetts Institute of Technology"],"dc:rights":["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."],"dc:rights.uri":["http://dspace.mit.edu/handle/1721.1/7582"],"dc:subject":["Mathematics."],"dc:title":["Quantifier rank spectrum of L-infinity-omega"],"dc:type":["Thesis"]},"updated_at":"2026-07-22T22:21:45Z"}