Zlatan Damnjanovic

Available identifiers

zbMath Open damnjanovic.zlatanMaRDI QIDQ190297

List of research outcomes

Publication	Date of Publication	Type
TREE THEORY: INTERPRETABILITY BETWEEN WEAK FIRST-ORDER THEORIES OF TREES	2024-02-23	Paper
MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE THEORIES	2022-11-18	Paper
Mutual Interpretability of Weak Essentially Undecidable Theories	2021-04-14	Paper
Mutual interpretability of Robinson arithmetic and adjunctive set theory with extensionality	2018-05-17	Paper
From Strings to Sets	2017-01-25	Paper
Strictly primitive recursive realizability. II: Completeness with respect to iterated reflection and a primitive recursive \(\omega\)-rule	2001-07-17	Paper
Elementary realizability	1997-11-05	Paper
Minimal readability of intuitionistic arithmetic and elementary analysis	1997-01-13	Paper
Elementary functions and loop programs	1996-02-20	Paper
Strictly primitive recursive realizability, I	1995-07-20	Paper

Research outcomes over time

This page was built for person: Zlatan Damnjanovic