SELF-REFERENCE IN ARITHMETIC I
نویسندگان
چکیده
منابع مشابه
Self-reference in Arithmetic∗
AGödel sentence is oen described as a sentence saying about itself that it is not provable and a Henkin sentence as a sentence stating its own provability. We discuss what it couldmean for a sentence to ascribe to itself a property such as provability or unprovability. e starting point will be the answer Kreisel gave to Henkin’s problem. We describe how the properties of the supposedly self-re...
متن کاملSelf-similar fractals and arithmetic dynamics
The concept of self-similarity on subsets of algebraic varieties is defined by considering algebraic endomorphisms of the variety as `similarity' maps. Self-similar fractals are subsets of algebraic varieties which can be written as a finite and disjoint union of `similar' copies. Fractals provide a framework in which, one can unite some results and conjectures in Diophantine g...
متن کاملAnalysis on Arithmetic Schemes . I
A shift invariant measure on a two dimensional local field, taking values in formal power series over reals, is introduced and discussed. Relevant elements of analysis, including analytic duality, are developed. As a two dimensional local generalization of the works of Tate and Iwasawa a local zeta integral on the topological Milnor K 2-group of the field is introduced and its properties are st...
متن کاملMoments for Primes in Arithmetic Progressions, I
The second moment ∑ q≤Q q ∑ a=1 ( ψ(x; q, a)− ρ(x; q, a) )2 is investigated with the novel approximation ρ(x; q, a) = ∑ n≤x n≡a (mod q) FR(n),
متن کاملSelf reference in word definitions
Dictionaries are inherently circular in nature. A given word is linked to a set of alternative words (the definition) which in turn point to further descendants. Iterating through definitions in this way, one typically finds that definitions loop back upon themselves. The graph formed by such definitional relations is our object of study. By eliminating those links which are not in loops, we ar...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Review of Symbolic Logic
سال: 2014
ISSN: 1755-0203,1755-0211
DOI: 10.1017/s1755020314000288