Indiscernibles and satisfaction classes in arithmetic.

Axiomatizations of Peano Arithmetic: a Truth-Theoretic View.

End extending models of set theory via power admissible covers.

Set theoretical analogues of the Barwise-Schlipf theorem.

Condensable models of set theory.

Initial Self-Embeddings of Models of Set Theory.

An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited.

Truth and Feasible Reducibility.

Truth, disjunction, and induction.

Zfc Proves that the class of Ordinals is not Weakly Compact for Definable Classes.

Elementary equivalence of rings with finitely generated additive groups.

Preface.

Iterated ultrapowers for the masses.

Largest initial segments pointwise fixed by automorphisms of models of set theory.

Marginalia on a Theorem of Woodin.

Unifying the model theory of first-order and second-order arithmetic via.

Preface.

A standard model of Peano arithmetic with no conservative elementary extension.

Model theory of the regularity and reflection schemes.

Automorphisms of models of arithmetic: A unified view.

Models of set theory with definable ordinals.

Leibnizian models of set theory.

Power-Like Models of Set Theory.

Trees and Keislers problem.

δ as a Continuous Function of x and ε.

Minimal elementary extensions of models of set theory and arithmetic.

Conservative Extensions of Models of Set Theory and Generalizations.

Weakly Compact Cardinals in Models of Set Theory.