Претрага
Резултати
Reversibility of extreme relational structures [2020]
Kurilić, MilošOmitting types and AF algebras [2014]
Carlson, Kevin; Cheung, Enoch; Farah, IlijasBaumgartner’s isomorphism problem for ℵ2 -dense suborders of R [2017]
Moore, Justin Tatch; Todorčević, StevoSimple types in discretely ordered structures
[2014]
Ilić, Dejan Theories with constants and three countable models [2007]
Tanović, PredragA connection between cut elimination and normalization
[2006]
Borisavljević, Mirjana Sequent calculus for classical logic probabilized [2018]
Boričić, MarijaEquality of proofs for linear equality [2008]
Došen, KostaMultiplicative finite embeddability vs divisibility of ultrafilters [2021]
Šobot BorisOn constants and the strict order property [2006]
Tanović, PredragФилтери
По типу
- 22