Vedran Čačić

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The Cardinal Squaring Principle and an Alternative Axiomatization of NFU Bulletin of the Section of Logic	2024-02-29	Paper
A modern rigorous approach to stratification in NF/NFU Logica Universalis	2022-10-18	Paper
Computable subcontinua of semicomputable chainable Hausdorff continua Theoretical Computer Science	2021-10-21	Paper
Rearranging absolutely convergent well-ordered series in Banach spaces Rad Hrvatske akademije znanosti i umjetnosti. Matematičke znanosti	2020-03-06	Paper
On the share of closed \(\mathsf {IL}\) formulas which are also in \(\mathsf {GL}\) Archive for Mathematical Logic	2015-11-18	Paper
Interpretability logic IL does not have finite subtree property	2015-01-26	Paper
A note on bisimulation and modal equivalence in provability logic and interpretability logic Studia Logica	2013-08-19	Paper
A note on normal forms for the closed fragment of system IL Mathematical Communications	2012-09-18	Paper
Decorated linear order types and the theory of concatenation	2011-03-02	Paper

Research outcomes over time

This page was built for person: Vedran Čačić