{"id":{"repo_id":"east-anglia","oai_identifier":"oai:ueaeprints.uea.ac.uk:52062"},"canonical_url":"https://search.dev.ndltd.org/etd/east-anglia/oai:ueaeprints.uea.ac.uk:52062","repository":{"repo_id":"east-anglia","name":"University of East Anglia","base_url":"https://ueaeprints.uea.ac.uk/cgi/oai2"},"display":{"title":"Independence in exponential fields","abstract":"Zilber constructed a class of exponential�fields CFSK,CCP whose models have exponential-algebraic properties similar to the classical complex field with exponentiation Cexp. In this thesis we study this class and the more general classes ECFSK, also defined by Zilber, and ECF, studied by Zilber and Kirby. We investigate stable-like behaviour modulo arithmetic in these classes by developing a unique independence relation for each class, and in ECF we use this relation to examine types. We provide an exposition of exponential fields that is more model theoretic and type-oriented than preceding work. We then investigate the types in ECF that are orthogonal to the kernel. New ideas presented include a characterisation of these types, and the definition of a grounding set; these results allow us to�find su�fficient conditions to prove that a type over a set uniquely extends to a type over the smallest strong ELA-sub�field containing that set. For each class we define a ternary relation on subsets, and prove that these relations are independence relations, with properties akin to non-forking independence in first order theories. Applying work of Kangas, Hyttinen and Kes�al�a, we prove that in ECFSK our independence notion is the unique independence relation for this class, and that our independence notion in ECFSK,CCP is exactly the canonical independence relation for this class derived from the pre-geometry. Assuming the conjecture known as CIT, we use our independence relation in ECF to prove that types orthogonal to the kernel are exactly the generically stable types.","abstract_html":"Zilber constructed a class of exponential�fields CFSK,CCP whose models have exponential-algebraic properties similar to the classical complex field with exponentiation Cexp. In this thesis we study this class and the more general classes ECFSK, also defined by Zilber, and ECF, studied by Zilber and Kirby. We investigate stable-like behaviour modulo arithmetic in these classes by developing a unique independence relation for each class, and in ECF we use this relation to examine types. We provide an exposition of exponential fields that is more model theoretic and type-oriented than preceding work. We then investigate the types in ECF that are orthogonal to the kernel. New ideas presented include a characterisation of these types, and the definition of a grounding set; these results allow us to�find su�fficient conditions to prove that a type over a set uniquely extends to a type over the smallest strong ELA-sub�field containing that set. For each class we define a ternary relation on subsets, and prove that these relations are independence relations, with properties akin to non-forking independence in first order theories. Applying work of Kangas, Hyttinen and Kes�al�a, we prove that in ECFSK our independence notion is the unique independence relation for this class, and that our independence notion in ECFSK,CCP is exactly the canonical independence relation for this class derived from the pre-geometry. Assuming the conjecture known as CIT, we use our independence relation in ECF to prove that types orthogonal to the kernel are exactly the generically stable types.","abstract_has_math":false,"creators":["Henderson, Robert S."],"institution":"University of East Anglia","degree_name":"phd","degree_level":"doctoral","degree_discipline":null,"degree_department":null,"school":null,"contributors":[],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2014,"date_issued":"2014-11","date_published":"2014-11","updated_at":"2026-07-24T02:12:06Z","subjects":[],"languages":["en"],"rights":[],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":null,"outbound_label":null,"outbound_source":null},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:creator","label":"Author","values":["Henderson, Robert S."]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2014-11"]},{"key":"dc:date.issued","label":"Date","values":["2014-11"]},{"key":"dc:publisher.department","label":"Dc Publisher Department","values":["School of Mathematics"]},{"key":"dc:publisher.institution","label":"Dc Publisher Institution","values":["University of East Anglia"]},{"key":"dc:relation.isreferencedby","label":"Dc Relation Isreferencedby","values":["https://ueaeprints.uea.ac.uk/id/eprint/52062/"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]},{"key":"dc:type.qualificationlevel","label":"Dc Type Qualificationlevel","values":["doctoral"]},{"key":"dc:type.qualificationname","label":"Dc Type Qualificationname","values":["phd"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["en"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://ueaeprints.uea.ac.uk/id/eprint/52062/1/2014HendersonRSPhD.pdf"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["Zilber constructed a class of exponential�fields CFSK,CCP whose models have exponential-algebraic properties similar to the classical complex field with exponentiation Cexp. In this thesis we study this class and the more general classes ECFSK, also defined by Zilber, and ECF, studied by Zilber and Kirby. We investigate stable-like behaviour modulo arithmetic in these classes by developing a unique independence relation for each class, and in ECF we use this relation to examine types. We provide an exposition of exponential fields that is more model theoretic and type-oriented than preceding work. We then investigate the types in ECF that are orthogonal to the kernel. New ideas presented include a characterisation of these types, and the definition of a grounding set; these results allow us to�find su�fficient conditions to prove that a type over a set uniquely extends to a type over the smallest strong ELA-sub�field containing that set. For each class we define a ternary relation on subsets, and prove that these relations are independence relations, with properties akin to non-forking independence in first order theories. Applying work of Kangas, Hyttinen and Kes�al�a, we prove that in ECFSK our independence notion is the unique independence relation for this class, and that our independence notion in ECFSK,CCP is exactly the canonical independence relation for this class derived from the pre-geometry. Assuming the conjecture known as CIT, we use our independence relation in ECF to prove that types orthogonal to the kernel are exactly the generically stable types."]},{"key":"dc:format","label":"Dc Format","values":["application/pdf"]},{"key":"dc:title","label":"Title","values":["Independence in exponential fields"]}]}],"canonical_facts":{"dc:creator":["Henderson, Robert S."],"dc:date":["2014-11"],"dc:date.issued":["2014-11"],"dc:description.abstract":["Zilber constructed a class of exponential�fields CFSK,CCP whose models have exponential-algebraic properties similar to the classical complex field with exponentiation Cexp. In this thesis we study this class and the more general classes ECFSK, also defined by Zilber, and ECF, studied by Zilber and Kirby. We investigate stable-like behaviour modulo arithmetic in these classes by developing a unique independence relation for each class, and in ECF we use this relation to examine types. We provide an exposition of exponential fields that is more model theoretic and type-oriented than preceding work. We then investigate the types in ECF that are orthogonal to the kernel. New ideas presented include a characterisation of these types, and the definition of a grounding set; these results allow us to�find su�fficient conditions to prove that a type over a set uniquely extends to a type over the smallest strong ELA-sub�field containing that set. For each class we define a ternary relation on subsets, and prove that these relations are independence relations, with properties akin to non-forking independence in first order theories. Applying work of Kangas, Hyttinen and Kes�al�a, we prove that in ECFSK our independence notion is the unique independence relation for this class, and that our independence notion in ECFSK,CCP is exactly the canonical independence relation for this class derived from the pre-geometry. Assuming the conjecture known as CIT, we use our independence relation in ECF to prove that types orthogonal to the kernel are exactly the generically stable types."],"dc:format":["application/pdf"],"dc:identifier.uri":["https://ueaeprints.uea.ac.uk/id/eprint/52062/1/2014HendersonRSPhD.pdf"],"dc:language":["en"],"dc:publisher.department":["School of Mathematics"],"dc:publisher.institution":["University of East Anglia"],"dc:relation.isreferencedby":["https://ueaeprints.uea.ac.uk/id/eprint/52062/"],"dc:title":["Independence in exponential fields"],"dc:type":["Thesis"],"dc:type.qualificationlevel":["doctoral"],"dc:type.qualificationname":["phd"]},"updated_at":"2026-07-24T02:12:06Z"}