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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Zlatan Damnjanovic