The following pages link to Zlatan Damnjanovic (Q190297):
Displayed 10 items.
- Elementary realizability (Q1362589) (← links)
- Elementary functions and loop programs (Q1903128) (← links)
- Strictly primitive recursive realizability, I (Q4323037) (← links)
- MUTUAL INTERPRETABILITY OF ROBINSON ARITHMETIC AND ADJUNCTIVE SET THEORY WITH EXTENSIONALITY (Q4640303) (← links)
- Minimal readability of intuitionistic arithmetic and elementary analysis (Q4876321) (← links)
- MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE THEORIES (Q5052004) (← links)
- Strictly primitive recursive realizability. II: Completeness with respect to iterated reflection and a primitive recursive \(\omega\)-rule (Q5937826) (← links)
- TREE THEORY: INTERPRETABILITY BETWEEN WEAK FIRST-ORDER THEORIES OF TREES (Q6199173) (← links)
- From Strings to Sets (Q6282430) (← links)
- Mutual Interpretability of Weak Essentially Undecidable Theories (Q6365351) (← links)