Претрага
Резултати
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
Simple groups and the number of countable models [2013]
Tanović, Predrag
Isomorphic and strongly connected components [2014]
Kurilić, Miloš
Completeness theorem for propositional probabilistic models whose measures have only finite ranges [2004]
Đordević, Radosav; Rašković, Miodrag; Ognjanović, Zoran
A connection between cut elimination and normalization
[2006]
Borisavljević, Mirjana
Sequent calculus for classical logic probabilized [2018]
Boričić, Marija
Филтери
По типу
- 22