Zlatan Damnjanovic

According to our database, Zlatan Damnjanovic authored at least 9 papers between 1991 and 2023.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

2023

Tree Theory: interpretability between Weak First-order Theories of Trees.

Zlatan Damnjanovic

Bull. Symb. Log., December, 2023

2022

Mutual Interpretability of Weak Essentially Undecidable Theories.

Zlatan Damnjanovic

J. Symb. Log., December, 2022

2017

Mutual interpretability of Robinson Arithmetic and Adjunctive Set Theory with Extensionality.

Zlatan Damnjanovic

Bull. Symb. Log., 2017

1998

Strictly Primitive Recursive Realizability, II. Completeness with Respect to Iterated Reflection and a Primitive Recursive ω-Rule.

Zlatan Damnjanovic

Notre Dame J. Formal Log., 1998

1997

Elementary realizability.

Zlatan Damnjanovic

J. Philos. Log., 1997

1995

Minimal Realizability of Intuitionistic Arithmetic and Elementary Analysis.

Zlatan Damnjanovic

J. Symb. Log., 1995

1994

Elementary Functions and LOOP Programs.

Zlatan Damnjanovic

Notre Dame J. Formal Log., 1994

Strictly Primitive Recursive Realizability, I.

Zlatan Damnjanovic

J. Symb. Log., 1994

1991

On the Weak Kleene Scheme in Kripke's Theory of Truth.

James Cain, Zlatan Damnjanovic

J. Symb. Log., 1991