Search




Research outputs

Equality of proofs for linear equality   [2008]

Došen, Kosta  ; Petrić, Zoran  

Reversibility of extreme relational structures   [2020]

Kurilić, Miloš  ; Morača, Nenad

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  

Omitting types and AF algebras   [2014]

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

Sequent calculus for classical logic probabilized   [2018]

Boričić, Marija  

Maximally embeddable components   [2013]

Kurilić, Miloš  

Collapsing ω2 with semi-proper forcing   [2018]

Todorčević, Stevo  

Multiplicative finite embeddability vs divisibility of ultrafilters   [2021]

Šobot Boris  

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

Borisavljevic, Mirjana P  

Filters

By type