Search




Research outputs

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

Borisavljevic, Mirjana P  

Multiplicative finite embeddability vs divisibility of ultrafilters   [2021]

Šobot Boris  

A connection between cut elimination and normalization   [2006]

Borisavljević, Mirjana  

Theories with constants and three countable models   [2007]

Tanović, Predrag  

Collapsing ω2 with semi-proper forcing   [2018]

Todorčević, Stevo  

Stable theories without dense forking chains   [1992]

Herwig, Bernhard; Loveys, James; Pillay, Anand; Tanović, Predrag  ; Wagner, O.

A note on countable models of 1-based theories   [2002]

Tanović, Predrag  

Omitting types and AF algebras   [2014]

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

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

Moore, Justin Tatch; Todorčević, Stevo  

Simple types in discretely ordered structures   [2014]

Ilić, Dejan  

Filters

By type