Претрага
Резултати
Equality of proofs for linear equality [2008]
Došen, Kosta
; Petrić, Zoran
Multiplicative finite embeddability vs divisibility of ultrafilters [2021]
Šobot Boris
Two measures for proving Gentzen's Hauptsatz without mix (✓) [2003]
Borisavljevic, Mirjana P
Collapsing ω2 with semi-proper forcing [2018]
Todorčević, Stevo
A note on countable models of 1-based theories [2002]
Tanović, Predrag
Stable theories without dense forking chains [1992]
Herwig, Bernhard; Loveys, James; Pillay, Anand; Tanović, Predrag ; Wagner, O.
Maximally embeddable components [2013]
Kurilić, Miloš
A connection between cut elimination and normalization [2006]
Borisavljević, Mirjana
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
Филтери
По типу
- 22