Search




Research outputs

Equality of proofs for linear equality   [2008]

Došen, Kosta  ; Petrić, Zoran  

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

Moconja, Slavko  ; Tanović, Predrag  

On constants and the strict order property   [2006]

Tanović, Predrag  

Simple groups and the number of countable models   [2013]

Tanović, Predrag  

Maximally embeddable components   [2013]

Kurilić, Miloš  

Collapsing ω2 with semi-proper forcing   [2018]

Todorčević, Stevo  

A connection between cut elimination and normalization   [2006]

Borisavljević, Mirjana  

Multiplicative finite embeddability vs divisibility of ultrafilters   [2021]

Šobot Boris  

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

Borisavljevic, Mirjana P  

Antichains of copies of ultrahomogeneous structures   [2022]

Kurilić Miloš  ; Kuzeljević Boriša  

Filters

By type