On the existence of infinitesimals

On Models Constructed by Means of the Arithmetized Completeness Theorem

Automorphisms of recursively saturated models of arithmetic

Diophantine Induction

Hilbert's tenth problem for weak theories of arithmetic

Truth in generic cuts

Infinitary definitions of equivalence relations in models of PA

A gray code for set partitions