{"id":{"repo_id":"mit","oai_identifier":"oai:dspace.mit.edu:1721.1/29286"},"canonical_url":"https://search.dev.ndltd.org/etd/mit/oai:dspace.mit.edu:1721.1/29286","repository":{"repo_id":"mit","name":"MIT","base_url":"https://dspace.mit.edu/oai/request"},"display":{"title":"Zariski structures and simple theories","abstract":"In this thesis, I consider generalisations of geometric stability theory to minimal Lascar Strong Types definable in simple theories. Positively, we show that the conditions of linearity and 1-basedness are equivalent for such types. Negatively, we construct an example which is locally modular but not affine using a generalistion of the generic predicate. We obtain reducibility results leading to a proof that in any w-categorical, 1-based non-trivial simple theory a vector space over a finite field is interpretable and I prove natural generalisations of some of the above results for regular types. I then consider some of these ideas in the context of the conjectured non-finite axiomatisability of any w-categorical simple theory. In the non-linear Zariski structure context, I consider Zilber's axiomatization in stable examples, and then in the case of the simple theory given by an algebraically closed field with a generic predicate. Comparing Zariski structure methods with corresponding techniques in algebraic geometry, I show the notions of etale morphism and unramified Zariski cover essentially coincide for smooth algebraic varieties, show the equivalence of branching number and multiplicity in the case of smooth projective curves and give a proof of defining tangency for curves using multiplicities. Finally, I give a partial results in the model theory of fields which supports extending the Zariski structure method to simple theories.","abstract_html":"In this thesis, I consider generalisations of geometric stability theory to minimal Lascar Strong Types definable in simple theories. Positively, we show that the conditions of linearity and 1-basedness are equivalent for such types. Negatively, we construct an example which is locally modular but not affine using a generalistion of the generic predicate. We obtain reducibility results leading to a proof that in any w-categorical, 1-based non-trivial simple theory a vector space over a finite field is interpretable and I prove natural generalisations of some of the above results for regular types. I then consider some of these ideas in the context of the conjectured non-finite axiomatisability of any w-categorical simple theory. In the non-linear Zariski structure context, I consider Zilber's axiomatization in stable examples, and then in the case of the simple theory given by an algebraically closed field with a generic predicate. Comparing Zariski structure methods with corresponding techniques in algebraic geometry, I show the notions of etale morphism and unramified Zariski cover essentially coincide for smooth algebraic varieties, show the equivalence of branching number and multiplicity in the case of smooth projective curves and give a proof of defining tangency for curves using multiplicities. Finally, I give a partial results in the model theory of fields which supports extending the Zariski structure method to simple theories.","abstract_has_math":false,"creators":["De Piro, Tristram D. P. (Tristram Denholm P.), 1974-"],"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":["Byungham Kim."],"committee_chairs":[],"committee_members":[],"year":2003,"date_issued":"2003","date_published":"2003","updated_at":"2026-07-22T22:22:11Z","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/29286","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Byungham Kim."]},{"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":["De Piro, Tristram D. P. (Tristram Denholm P.), 1974-"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2005-10-14T19:39:11Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2005-10-14T19:39:11Z"]},{"key":"dc:date.issued","label":"Date","values":["2003"]},{"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/29286"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 2003.","Includes bibliographical references (p. 130-133)."]},{"key":"dc:description.abstract","label":"Abstract","values":["In this thesis, I consider generalisations of geometric stability theory to minimal Lascar Strong Types definable in simple theories. Positively, we show that the conditions of linearity and 1-basedness are equivalent for such types. Negatively, we construct an example which is locally modular but not affine using a generalistion of the generic predicate. We obtain reducibility results leading to a proof that in any w-categorical, 1-based non-trivial simple theory a vector space over a finite field is interpretable and I prove natural generalisations of some of the above results for regular types. I then consider some of these ideas in the context of the conjectured non-finite axiomatisability of any w-categorical simple theory. In the non-linear Zariski structure context, I consider Zilber's axiomatization in stable examples, and then in the case of the simple theory given by an algebraically closed field with a generic predicate. Comparing Zariski structure methods with corresponding techniques in algebraic geometry, I show the notions of etale morphism and unramified Zariski cover essentially coincide for smooth algebraic varieties, show the equivalence of branching number and multiplicity in the case of smooth projective curves and give a proof of defining tangency for curves using multiplicities. Finally, I give a partial results in the model theory of fields which supports extending the Zariski structure method to simple theories."]},{"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":["Zariski structures and simple theories"]}]}],"canonical_facts":{"dc:contributor.advisor":["Byungham Kim."],"dc:contributor.department":["Massachusetts Institute of Technology. Dept. of Mathematics."],"dc:contributor.other":["Massachusetts Institute of Technology. Dept. of Mathematics."],"dc:creator":["De Piro, Tristram D. P. (Tristram Denholm P.), 1974-"],"dc:date.accessioned":["2005-10-14T19:39:11Z"],"dc:date.available":["2005-10-14T19:39:11Z"],"dc:date.issued":["2003"],"dc:description":["Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 2003.","Includes bibliographical references (p. 130-133)."],"dc:description.abstract":["In this thesis, I consider generalisations of geometric stability theory to minimal Lascar Strong Types definable in simple theories. Positively, we show that the conditions of linearity and 1-basedness are equivalent for such types. Negatively, we construct an example which is locally modular but not affine using a generalistion of the generic predicate. We obtain reducibility results leading to a proof that in any w-categorical, 1-based non-trivial simple theory a vector space over a finite field is interpretable and I prove natural generalisations of some of the above results for regular types. I then consider some of these ideas in the context of the conjectured non-finite axiomatisability of any w-categorical simple theory. In the non-linear Zariski structure context, I consider Zilber's axiomatization in stable examples, and then in the case of the simple theory given by an algebraically closed field with a generic predicate. Comparing Zariski structure methods with corresponding techniques in algebraic geometry, I show the notions of etale morphism and unramified Zariski cover essentially coincide for smooth algebraic varieties, show the equivalence of branching number and multiplicity in the case of smooth projective curves and give a proof of defining tangency for curves using multiplicities. Finally, I give a partial results in the model theory of fields which supports extending the Zariski structure method to simple theories."],"dc:description.degree":["Ph.D."],"dc:format.mimetype":["application/pdf"],"dc:identifier.uri":["http://hdl.handle.net/1721.1/29286"],"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":["Zariski structures and simple theories"],"dc:type":["Thesis"]},"updated_at":"2026-07-22T22:22:11Z"}