Pregled po CROSBI profilu: Vedran Čačić (CROSBI Profil: 21723, MBZ: 267284)
Pronađeno 19 radova
-
1.Čačić, VedranLogical induction // World Logic Day 2023 Zagreb Book of Abstracts
Zagreb, Hrvatska, 2023. str. 3-3 (predavanje, sažetak, znanstveni) -
2.Adlešić, Tin; Čačić, VedranFormalizing assignment of types to terms in NFU. // Abstract of Contributed Talks / - , 2022, 24-25
Reykjavík, Island, 2022. str. 24-24 (predavanje, sažetak, znanstveni) -
3.Adlešić, Tin; Čačić, VedranAlternative axiomatization of NFU // Logic and Applications LAP 2022-Book of Abstracts
Dubrovnik, Hrvatska, 2022. str. 5-6 (predavanje, sažetak, znanstveni) -
4.Adlešić, Tin; Čačić, VedranTarski's theorem about choice and the alternative axiomatic extension of NFU // Abstract of Contributed Talks
Reykjavík, Island, 2022. str. 24-25 (predavanje, sažetak, znanstveni) -
5.Adlešić, Tin; Čačić, VedranA modern rigorous approach to stratification in NF/NFU // 7th World Congress and School on Universal Logic - Schedule of the General Session
Chania, Grčka, 2022. str. 5-5 (predavanje, sažetak, znanstveni) -
6.Adlešić, Tin; Čačić, VedranA modern rigorous approach to stratification in NF/NFU // Logica universalis, 16 (2022), 451-468 doi:10.1007/s11787-022-00310-y (međunarodna recenzija, članak, znanstveni)
-
7.Adlešić, Tin; Čačić, VedranFormal approach to stratification in NF/NFU // FORMALS 2021-Book of Abstract
Dubrovnik, Hrvatska, 2021. str. 5-6 (predavanje, sažetak, znanstveni) -
8.Čačić, Vedran; Horvat, Marko; Iljazović, ZvonkoComputable subcontinua of semicomputable chainable Hausdorff continua // Theoretical computer science, 892 (2021), 155-169 doi:10.1016/j.tcs.2021.09.018 (međunarodna recenzija, članak, znanstveni)
-
9.Čačić, Vedran; Doko, Marko; Horvat, MarkoRearranging 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 (međunarodna recenzija, članak, znanstveni)
-
10.Adlešić, TinProšireni modeli teorije skupova, 2018., diplomski rad, diplomski, Prirodoslovno-matematički fakultet - Matematički odsjek, Zagreb
-
11.Kovač, Vjekoslav; Čačić, VedranOn the share of closed IL formulas which are also in GL // Archive for mathematical logic, 54 (2015), 7; 741-767 doi:10.1007/s00153-015-0438-7 (međunarodna recenzija, članak, znanstveni)
-
12.Čačić, Vedran; Vuković, MladenInterpretability logic IL does not have finite subtree property // Rad Hrvatske akademije znanosti i umjetnosti. Razred za matematičke, fizičke i kemijske znanosti. Matematičke znanosti, 18=519 (2014), 1-5 (podatak o recenziji nije dostupan, članak, znanstveni)
-
13.Čačić, Vedran; Vuković, MladenA note on normal form for closed fragment of system IL // Mathematical communications, 17 (2012), 1; 195-204 (podatak o recenziji nije dostupan, članak, znanstveni)
-
14.Čačić, Vedran; Vrgoč, DomagojA Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic // Studia Logica, 101 (2011), 1; 31-44 doi:10.1007/s11225-011-9366-7 (međunarodna recenzija, članak, znanstveni)
-
15.Čačić, VedranNormalne forme i svojstvo konačnih modela za logiku interpretabilnosti, 2011., doktorska disertacija, Prirodoslovno-matematički fakultet, Zagreb
-
16.Čačić, VedranTowards the normal form theorem for Interpretability logic // Logic Colloquium
Pariz, Francuska, 2010. str. 1-1 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
17.Čačić, Vedran; Doko, Marko; Horvat, Marko; Vrgoč, DomagojChanging the order of summation for series beyond omega // The Bulletin of Symbolic Logic
Sofija, Bugarska: ASL, 2010. 1, 1 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
18.Čačić, Vedran; Pudlák, Pavel; Restall, Greg; Urquhart, Alasdair; Visser, AlbertDecorated linear order types and the theory of concatenation // Proceedings of Logic Colloquium 2007
Wrocław, Poljska, 2008. str. 1-13 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
19.Čačić, VedranNezavisnost i relativna konzistentnost aksioma izbora i hipoteze kontinuuma, 2007., magistarski rad, Prirodoslovno-matematički fakultet, Zagreb
