Zlatan Damnjanovic

Publication Activity (10 Years)

Years Active: 1991-2023
Publications (10 Years): 3

Top Topics

Top Venues

Bull. Symb. Log.

Publications

Zlatan Damnjanovic
Tree Theory: interpretability between Weak First-order Theories of Trees. Bull. Symb. Log. 29 (4) (2023)
Zlatan Damnjanovic
Mutual Interpretability of Weak Essentially Undecidable Theories. J. Symb. Log. 87 (4) (2022)
Zlatan Damnjanovic
Mutual interpretability of Robinson Arithmetic and Adjunctive Set Theory with Extensionality. Bull. Symb. Log. 23 (4) (2017)
Zlatan Damnjanovic
Strictly Primitive Recursive Realizability, II. Completeness with Respect to Iterated Reflection and a Primitive Recursive ω-Rule. Notre Dame J. Formal Log. 39 (3) (1998)
Zlatan Damnjanovic
Elementary realizability. J. Philos. Log. 26 (3) (1997)
Zlatan Damnjanovic
Minimal Realizability of Intuitionistic Arithmetic and Elementary Analysis. J. Symb. Log. 60 (4) (1995)
Zlatan Damnjanovic
Strictly Primitive Recursive Realizability, I. J. Symb. Log. 59 (4) (1994)
Zlatan Damnjanovic
Elementary Functions and LOOP Programs. Notre Dame J. Formal Log. 35 (4) (1994)
James Cain, Zlatan Damnjanovic
On the Weak Kleene Scheme in Kripke's Theory of Truth. J. Symb. Log. 56 (4) (1991)