Search




Research outputs

Independence of Boolean algebras and forcing   [2003]

Kurilic, Milos S

G-dinaturality   [2003]

Petrić, Zoran  

Coherence for star-autonomous categories   [2006]

Došen, Kosta  ; Petrić, Zoran  

Medial commutativity   [2007]

Došen, Kosta  ; Petrić, Zoran  

Probabilistic temporal logic with countably additive semantics   [2023]

Doder, Dragan; Ognjanović, Zoran  

Can you take Komjath's inaccessible away?   [2024]

Lamei Ramandi, Hossein; Todorčević, Stevo  

Syntax for split preorders   [2013]

Došen, Kosta  ; Petrić, Zoran  

Corson reflections   [2021]

Farah, Ilijas ; Magidor, Menachem

Coherence in linear predicate logic   [2009]

Došen, Kosta  ; Petrić, Zoran  

Forcing with copies of the Rado and Henson graphs   [2023]

Guzmán, Osvaldo; Todorčević, Stevo  

Filters

By type