Recent
Talks at Conferences and Seminars
CUNY
Logic Workshop (NY, NY 2004), Ultraproducts and
first-order theories of Noetherian local rings.
Regional
AMS Meeting, special session 'Commutative Algebra and Algebraic
Geometry' (Lawrenceville, NJ 2004), Applications
of the purity of
non-standard Frobenius.
Regional
AMS Meeting, special session 'Theory of Rings and Modules' (Athens, OH
2004), Local
rings of finite embedding dimension.
OU-OSU
Ring Theory Seminar (OSU, OH 2004), Ultraproducts of Noetherian
local rings.
NYCCT
Math. Colloquium (NY, NY 2004), An undergraduate proof of the
Tarski-Seidenberg Theorem.
XXIIth SLALM (San Jose, Costa Rica
2004), The existential theory of Lefschetz
rings with applications
to commutative algebra.
CUNY
Logic Workshop (NY, NY 2003), Maps and existential theories.
Commutative
Algebra: Presentations by Young Researchers (UT 2003)The use of non-standard Frobenius in
commutative algebra.
Algebraic
Geometry Seminar (OSU, OH 2003), The Cohen-Macaulay property of
quotient singularities in mixed characteristic.
OU-OSU
Ring Theory Seminar (OSU, OH 2003), Singularity
theory beyond the Noetherian realm.
Algebraic
Geometry Seminar (OSU, OH 2003), Log-terminal singularities and
vanishing
theorems.
Model Theory
Seminar (Berkeley, CA 2002), Mixed characteristic homological
theorems in
low degrees.
MSRI
Algebra Seminar (Berkeley, CA 2002), Tight closure and big
Cohen-Macaulay
algebras in characteristic zero using ultraproducts.
Logic
Seminar at Wesleyan (Middletown, CT 2002), Difference rings and the
Hochster-Roberts Theorem on rings of invariants.
CUNY
Arithmetical Geometry Seminar (New York, NY 2002), The Frobenius in
characteristic zero and its use in commutative algebra and singularity
theory.
Logic Seminar
at Rutgers
(New Brunswick, NJ 2002), The Ax-Kochen-Ershov Principle and
Asymptotical
Homological Conjectures (abstract).
Bronx
Comm. Coll. Colloquium (Bronx, NY 2002), An undergraduate proof of
the
Tarski-Seidenberg Theorem.
Rutgers
Commutative
and Computational Algebra Seminar (New Brunswick, NJ 2002), Balanced
big
Cohen-Macaulay Algebras.
CUNY
Logic Workshop (New York, NY 2002),
Gauges, ultraproducts and uniform bounds (abstract).
CUNY
Logic Workshop (New York, NY 2002),
Non-standard methods for proving Briancon-Skoda (abstract).
Rutgers
Commutative
and Computational Algebra Seminar (New Brunswick, NJ 2002), Betti
Numbers of the Absolute Integral Closure.
Lecture
series on Rigid analytic geometry
at Paris VII (Paris, France 2002).
Logic
Seminar (Paris, France 2002), Non-standard methods in commutative
algebra.
Algebraic
Geometry Seminar (OSU, OH 2002), The constructible nature of
singularity
defects.
Ohio
State-Denison
Mathematics Conference (Granville, OH 2002), Big Cohen-Macaulay
Algebras
(abstract).
Algebra
Seminar at Univ. of Minnesota (Minneapolis, MN 2002), The use of
non-standard Frobenius in tight closure.
Midwest Model
Theory
Conference (Chicago, IL 2002), Lefschetz categories, the
Ax-Kochen-Ershov Principle and transfer from prime to mixed
characteristic (abstract).
OU-OSU
Ring Theory seminar (Columbus, OH 2002), Deformational Local
Algebra (abstract).
OSU
Algebraic Model Theory seminar (Lima, OH 2002), The use of
non-standard
Frobenius in local algebra(abstract).
Model Theory
Conference
(Birmingham, UK 2002), The use of non-standard Frobenius in tight
closure
theory(abstract).
Algebraic
Geometry Seminar (OSU, OH 2002), Quotient singularities are rational.
AMS
Meeting, special session 'Set Theory and Classification Problems' (San
Diego,
CA 2002), Existential Lefschetz Principles for Power Series Rings
and Artin
Approximation.
Algebra
Seminar (Leuven, Belgium 2001), Non-standard tight closure and the
Hochster-Roberts theorem.
Model
Theory Seminar (Berkeley, CA 2001), The use of the non-standard
Frobenius in
tight closure.
OU-OSU
Ring Theory Seminar (Lima, OH 2001), The completion of a flat module.
Regional
AMS Meeting, special session 'Commutative Algebra' (Columbus, OH 2001),
Non-standard
tight closure and symbolic powers.
Rutgers
Commutative and Computational Algebra Seminar (New Brunswick, NJ 2001),
A
non-standard tight closure proof of the Hochster-Roberts Theorem.
Summer
AMS-SMF Meeting (Lyon, France 2001), Application of the Ax-Kochen
principle
to power series with integer coefficients.
IPM
Algebra Seminar (Tehran, Iran 2001), Non-standard tight closure.
IPM
Logic Seminar (Tehran, Iran 2001), Cell Decomposition in t-minimal
structures.
Meeting
of CMS (Saskatoon, Canada 2001), Determining the number of
equations of an
affine curve.
Commutative
Algebra Conference (Columbia, MO 2001), How the singular locus
determines
the category of finitely generated modules.
ASL
Conference at Upenn (Philadelphia, PA 2001), Cell Decomposition in
Tame
Topologies.
Logic
Seminar at Rutgers (New Brunswick, NJ 2001), Non-standard Tight
Closure.
Rutgers
Commutative and Computational Algebra Seminar (New Brunswick, NJ 2001),
Effective
bounds on the number of defining equations on surfaces.
Logic
Seminar at Rutgers (New Brunswick, NJ 2000), Symbolic powers and
the
Lefschetz principle.
Logic
Seminar at Rutgers (New Brunswick, NJ 2000), On the decidability of
the
existential theory of $\mathbb F_p[[t]]$.
Friday
Seminar at CUNY (New York, NY 2000), Tame Topology and t-minimality.
Logic
Seminar at OSU (Columbus, OH 2000), Definability, Uniformity and
Transfer. A
logician's view on algebra and geometry.
Logic
Seminar at Rutgers (New Brunswick, NJ 2000), lecture series on Asymptotical
definability in algebra.
Oberwolfach
Model Theory Meeting (Oberwolfach, Germany 2000), Constructible
Invariants.