Search




Research outputs

Equality of proofs for linear equality   [2008]

Došen, Kosta  ; Petrić, Zoran  

On constants and the strict order property   [2006]

Tanović, Predrag  

Does weak quasi-o-minimality behave better than weak o-minimality?   [2022]

Moconja, Slavko  ; Tanović, Predrag  

Theories with constants and three countable models   [2007]

Tanović, Predrag  

Two measures for proving Gentzen's Hauptsatz without mix   [2003]

Borisavljevic, Mirjana P  

Collapsing ω2 with semi-proper forcing   [2018]

Todorčević, Stevo  

Simple groups and the number of countable models   [2013]

Tanović, Predrag  

Completeness theorem for propositional probabilistic models whose measures have only finite ranges   [2004]

Đordević, Radosav; Rašković, Miodrag; Ognjanović, Zoran  

Isomorphic and strongly connected components   [2014]

Kurilić, Miloš  

Филтери

По типу