On the Weak Kleene Scheme in Kripke's Theory of Truth. - James Cain 001; Zlatan Damnjanovic (J. Symb. Log., 1991)

Strictly Primitive Recursive Realizability, I. - Zlatan Damnjanovic (J. Symb. Log., 1994)

Elementary Functions and LOOP Programs. - Zlatan Damnjanovic (Notre Dame J. Formal Log., 1994)

Minimal Realizability of Intuitionistic Arithmetic and Elementary Analysis. - Zlatan Damnjanovic (J. Symb. Log., 1995)

Elementary realizability. - Zlatan Damnjanovic (J. Philos. Log., 1997)

Strictly Primitive Recursive Realizability, II. Completeness with Respect to Iterated Reflection and a Primitive Recursive ω-Rule. - Zlatan Damnjanovic (Notre Dame J. Formal Log., 1998)

Mutual interpretability of Robinson Arithmetic and Adjunctive Set Theory with Extensionality. - Zlatan Damnjanovic (Bull. Symb. Log., 2017)

Mutual Interpretability of Weak Essentially Undecidable Theories. - Zlatan Damnjanovic (J. Symb. Log., 2022)

Tree Theory: interpretability between Weak First-order Theories of Trees. - Zlatan Damnjanovic (Bull. Symb. Log., 2023)