Претрага
Резултати
Independence of Boolean algebras and forcing [2003]
Kurilic, Milos STrees and ehrenfeucht-fraïssé games [1999]
Todorčević, Stevo
; Väänänen, Jouko
A game on Boolean algebras describing the collapse of the continuum [2009]
Šobot Boris ; Kurilić M.S.
A cut-elimination proof in intuitionistic predicate logic
[1999]
Borisavljevic, Mirjana
G-dinaturality [2003]
Petrić, Zoran
Coherence for star-autonomous categories [2006]
Došen, Kosta ; Petrić, Zoran
The poset of all copies of the random graph has the 2-localization property [2016]
Kurilić, Miloš ; Todorčević, Stevo
Proofs and surfaces [2020]
Baralić, Đorđe ; Curien, Pierre Louis; Milićević, Marina; Obradović, Jovana ; Petrić, Zoran ; Zekić, Mladen ; Živaljević, Rade
Basis problem for turbulent actions I: Tsirelson submeasures [2001]
Farah, Ilijas
Can you take Komjath's inaccessible away? [2024]
Lamei Ramandi, Hossein; Todorčević, Stevo
Филтери
По типу
- 39