Search




Research outputs

A connection between cut elimination and normalization   [2006]

Borisavljević, Mirjana  

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  

Reversibility of extreme relational structures   [2020]

Kurilić, Miloš  ; Morača, Nenad

Sequent calculus for classical logic probabilized   [2018]

Boričić, Marija  

Simple types in discretely ordered structures   [2014]

Ilić, Dejan  

Baumgartner’s isomorphism problem for ℵ2 -dense suborders of R   [2017]

Moore, Justin Tatch; Todorčević, Stevo  

Omitting types and AF algebras   [2014]

Carlson, Kevin; Cheung, Enoch; Farah, Ilijas ; Gerhardt-Bourke, Alexander; Hart, Bradd; Mezuman, Leanne; Sequeira, Nigel; Sherman, Alexander

Theories with constants and three countable models   [2007]

Tanović, Predrag  

Filters

By type