Претрага
Резултати
Equality of proofs for linear equality [2008]
Došen, KostaOn constants and the strict order property [2006]
Tanović, PredragDoes weak quasi-o-minimality behave better than weak o-minimality?
[2022]
Moconja, Slavko Theories with constants and three countable models [2007]
Tanović, PredragMultiplicative finite embeddability vs divisibility of ultrafilters [2021]
Šobot BorisTwo measures for proving Gentzen's Hauptsatz without mix
[2003]
Borisavljevic, Mirjana P Collapsing ω2 with semi-proper forcing [2018]
Todorčević, StevoSimple groups and the number of countable models [2013]
Tanović, PredragCompleteness theorem for propositional probabilistic models whose measures have only finite ranges [2004]
Đordević, Radosav; Rašković, Miodrag; Ognjanović, ZoranIsomorphic and strongly connected components [2014]
Kurilić, MilošФилтери
По типу
- 22