|
Yimu Yin (尹一木) Pure and Applied Logic
program at Articles 5. Quantifier
elimination in adelic structures
over algebraically closed valued fields, draft. 4. On logical characterization of henselianity, submitted, arXiv:0705.0395 [math.LO]. 3. Quantifier elimination and real closed ordered fields with a predicate for the powers of two, master thesis. This article contains two unpublished results: (a) the equivalence of two quantifier elimination tests for countable theories and (b) a complete axiomatization of the elementary theory of the reals with a predicate for the Fibonacci numbers. 2. (with J. Avigad) Quantifier elimination for the reals with a predicate for the powers of two, in Theoretical Computer Science, Volume 370, Issues 1-3, 12 February 2007, Pages 48-59, arXiv:cs/0610117v1 [cs.LO]. 1. (with U.
Abraham) A note on the Engelking-Karlowicz
theorem, to appear in Acta
Mathematica Hungarica. Notes 2. Solutions to the exercises in Atiyah and MacDonald’s Introduction to Commutative Algebra: Chapter 1, Chapter 2, Chapter 3, Chapter 4, Chapter 5, Chapter 6, Chapter 7, Chapter 8, Chapter 9, Chapter 10, Chapter 11. 1. Some basic facts about I[λ] ideal. These notes on I[λ] are based on Shelah's talks in Jerusalem from 12/94 to 03/95, as recorded by James Cummings.
|
