Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
Čačić, Vedran; Adlešić, Tin
The Cardinal Squaring Principle and an Alternative Axiomatization of NFU // Bulletin of the Section of Logic, 52 (2023), 4; 551-581. doi: 10.18778/0138-0680.2023.25
Čačić, Vedran
Logical induction // World Logic Day 2023 Zagreb Book of Abstracts. 2023. str. 3-3
Adlešić, Tin ; Čačić, Vedran
A modern rigorous approach to stratification in NF/NFU // Logica universalis, 16 (2022), 451-468. doi: 10.1007/s11787-022-00310-y
Adlešić, Tin ; Čačić, Vedran
A modern rigorous approach to stratification in NF/NFU // 7th World Congress and School on Universal Logic - Schedule of the General Session. 2022. str. 5-5
Adlešić, Tin ; Čačić, Vedran
Formalizing assignment of types to terms in NFU. // Abstract of Contributed Talks / - , 2022, 24-25. 2022. str. 24-24
Adlešić, Tin ; Čačić, Vedran
Tarski's theorem about choice and the alternative axiomatic extension of NFU. // Abstract of Contributed Talks. 2022. str. 24-25
Adlešić, Tin ; Čačić, Vedran
Alternative axiomatization of NFU // Logic and Applications LAP 2022-Book of Abstracts. 2022. str. 5-6
Adlešić, Tin ; Čačić, Vedran
Formal approach to stratification in NF/NFU // FORMALS 2021-Book of Abstract. 2021. str. 5-6
Čačić, Vedran ; Doko, Marko ; Horvat, Marko
Rearranging absolutely covergent well-ordered series in Banach spaces // Rad Hrvatske akademije znanosti i umjetnosti. Matematičke znanosti, 23 (2019), 58; 1-11. doi: 10.21857/yq32oh4qd9