[Pre]Publications
6.
Integration in algebraically closed valued fields, submitted
5.
Special transformations in algebraically closed valued fields, submitted
4.
Quantifier elimination and minimality conditions in algebraically closed valued fields, submitted
3.
Henselianity
and the Denef-Pas language, the
Journal of Symbolic Logic, Volume 74, Issue 2 (2009), 655-664. A
longer version is available at
arXiv:0705.0395.
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,
Acta Mathematica Hungarica,
2008, http://dx.doi.org/10.1007/s10474-008-7160-4.
Notes
6. Grothendieck
homomorphisms in algebraically closed valued fields III: Fourier
transform,
arXiv:0903.1097v1.
5. Grothendieck
homomorphisms in algebraically closed valued fields,
arXiv:0809.0473v1.
4. Quantifier elimination in
adelic structures over algebraically
closed valued fields.
3.
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.
2.
Quantifier
elimination and real closed ordered fields with a predicate for the
powers of two, master thesis.
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.