Претрага
Резултати
Reversibility of extreme relational structures [2020]
Kurilić, Miloš
; Morača, Nenad
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
Theories with constants and three countable models [2007]
Tanović, Predrag
A connection between cut elimination and normalization
[2006]
Borisavljević, Mirjana
Sequent calculus for classical logic probabilized [2018]
Boričić, Marija
Equality of proofs for linear equality [2008]
Došen, Kosta ; Petrić, Zoran
Multiplicative finite embeddability vs divisibility of ultrafilters [2021]
Šobot Boris
On constants and the strict order property [2006]
Tanović, Predrag
Филтери
По типу
- 22