MODEL THEORETIC PROPERTIES OF METRIC VALUED FIELDS
نویسندگان
چکیده
منابع مشابه
Model Theoretic Properties of Metric Valued Fields
We study model theoretic properties of valued fields (equipped with a real-valued multiplicative valuation), viewed as metric structures in continuous first order logic. For technical reasons we prefer to consider not the valued field (K, |·|) directly, but rather the associated projective spaces KP, as bounded metric structures. We show that the class of (projective spaces over) metric valued ...
متن کاملcontrol of the optical properties of nanoparticles by laser fields
در این پایان نامه، درهمتنیدگی بین یک سیستم نقطه کوانتومی دوگانه(مولکول نقطه کوانتومی) و میدان مورد مطالعه قرار گرفته است. از آنتروپی ون نیومن به عنوان ابزاری برای بررسی درهمتنیدگی بین اتم و میدان استفاده شده و تاثیر پارامترهای مختلف، نظیر تونل زنی(که توسط تغییر ولتاژ ایجاد می شود)، شدت میدان و نسبت دو گسیل خودبخودی بر رفتار درجه درهمتنیدگی سیستم بررسی شده اشت.با تغییر هر یک از این پارامترها، در...
15 صفحه اولModel Theory of Valued Fields
We give a proposal for future development of the model theory of valued fields. We also summarize recent results on p-adic numbers. Let K be a valued field with a valuation map v : K → G ∪ {∞} to an ordered group 1 G; this is a map satisfying (i) v(x) = ∞ if and only if x = 0; (ii) v(xy) = v(x) + v(y) for all x, y ∈ K; (iii) v(x + y) ≥ min{v(x), v(y)} for all x, y ∈ K. We write R for the valuat...
متن کاملModel Theory of Valued fields
These notes focus mainly on the model theory of algebraically closed valued fields (loosely referred to as ACVF). This subject begins with work by A. Robinson in the 1950s (see the proof of model completeness of algebraically closed valued fields in [41]). Thus, it predates the major work of Ax-Kochen and Ershov around 1963; and, unlike the latter (and much subsequent work on quantifier elimina...
متن کاملClassifying model-theoretic properties
In 2004 Csima, Hirschfeldt, Knight, and Soare [1] showed that a set A ≤T 0′ is nonlow2 if and only if A is prime bounding, i.e. for every complete atomic decidable theory T , there is a prime model M computable in A. The authors presented nine seemingly unrelated predicates of a set A, and showed that they are equivalent for ∆2 sets. Some of these predicates, such as prime bounding, and others ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Symbolic Logic
سال: 2014
ISSN: 0022-4812,1943-5886
DOI: 10.1017/jsl.2014.16