Zlatan Damnjanovic

MaRDI QIDQ190297zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On elementary theories of weighted and labelled trees Journal of Logic and Computation	2026-04-02	Paper
TREE THEORY: INTERPRETABILITY BETWEEN WEAK FIRST-ORDER THEORIES OF TREES The Bulletin of Symbolic Logic	2024-02-23	Paper
MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE THEORIES Journal of Symbolic Logic	2022-11-18	Paper
Mutual Interpretability of Weak Essentially Undecidable Theories (available as arXiv preprint)	2021-04-14	Paper
Mutual interpretability of Robinson arithmetic and adjunctive set theory with extensionality The Bulletin of Symbolic Logic	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 Notre Dame Journal of Formal Logic	2001-07-17	Paper
Elementary realizability Journal of Philosophical Logic	1997-11-05	Paper
Minimal readability of intuitionistic arithmetic and elementary analysis Journal of Symbolic Logic	1997-01-13	Paper
Elementary functions and loop programs Notre Dame Journal of Formal Logic	1996-02-20	Paper
Strictly primitive recursive realizability, I Journal of Symbolic Logic	1995-07-20	Paper

Research outcomes over time

This page was built for person: Zlatan Damnjanovic