Претрага
Резултати
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
Филтери
По типу
- 22