Zobrazeno 1 - 10
of 76
pro vyhledávání: '"VELIČKOVIĆ, BOBAN"'
Autor:
Vaananen, Jouko, Velickovic, Boban
We define a new class of infinitary logics $\mathscr L^1_{\kappa,\alpha}$ generalizing Shelah's logic $\mathbb L^1_\kappa$ defined in \cite{MR2869022}. If $\kappa=\beth_\kappa$ and $\alpha <\kappa$ is infinite then our logic coincides with $\mathbb L
Externí odkaz:
http://arxiv.org/abs/2402.13344
Autor:
Kasum, Obrad, Veličković, Boban
We give a game-theoretic characterization of when a model of an infinitary propositional formula can be added by a proper, semiproper, and stationary-set-preserving poset. In the latter case, we also give a general sufficient condition for the existe
Externí odkaz:
http://arxiv.org/abs/2308.08293
In \cite{MV} we defined and proved the consistency of the principle ${\rm GM}^+(\omega_3,\omega_1)$ which implies that many consequences of strong forcing axioms hold simultaneously at $\omega_2$ and $\omega_3$. In this paper we formulate a strengthe
Externí odkaz:
http://arxiv.org/abs/2303.17458
Autor:
Kasum, Obrad, Veličković, Boban
By a virtual model, we mean a model of set theory which is elementary in its transitive closure. Virtual models are first used by Neeman \cite{neeman2014forcing} to iterate forcing. That paper is concerned with proper forcing. The method was then adj
Externí odkaz:
http://arxiv.org/abs/2303.12565
Autor:
Kivimaki, Siiri, Velickovic, Boban
The logic $\mathcal L^1_\kappa$ was introduced by Shelah in [3]. In [4], he proved that for a strongly compact cardinal $\kappa$, it admits the following algebraic characterization: two structures are $\mathcal L^1_\kappa$-equivalent if and only if t
Externí odkaz:
http://arxiv.org/abs/2303.10759
Autor:
De Bondt, Ben, Velickovic, Boban
We introduce a new and natural stationary set preserving forcing $\mathbb P^{c-c}({\lambda},{\mu})$ that (under $\mathsf{NS}_{\omega_1}$ precipitous + existence of $H_{\theta}^#$ for a sufficiently large regular ${\theta}$) increases the second unifo
Externí odkaz:
http://arxiv.org/abs/2212.13797
We analyze $\mathrm{C}^\ast$-algebras, particularly AF-algebras, and their $K_0$-groups in the context of the infinitary logic $\mathcal{L}_{\omega_1 \omega}$. Given two separable unital AF-algebras $A$ and $B$, and considering their $K_0$-groups as
Externí odkaz:
http://arxiv.org/abs/2204.04087
Autor:
Velickovic, Boban, Vignati, Alessandro
In the study of strong homology Marde\v{s}i\'c and Prasolov isolated a certain inverse system of abelian groups $\mathbf A$ indexed by elements of $\omega^\omega$. They showed that if strong homology is additive on a class of spaces containing closed
Externí odkaz:
http://arxiv.org/abs/2107.03787
Starting with two supercompact cardinals we produce a generic extension of the universe in which a principle that we call ${\rm GM}^+(\omega_3,\omega_1)$ holds. This principle implies ${\rm ISP}(\omega_2)$ and ${\rm ISP}(\omega_3)$, and hence the tre
Externí odkaz:
http://arxiv.org/abs/1802.10125
Autor:
Perovic, Zikica, Velickovic, Boban
Solving a well-known problem of Maharam, Talagrand [17] constructed an exhaustive non uniformly exhaustive submeasure, thus also providing the first example of a Maharam algebra that is not a measure algebra. To each exhaustive submeasure one can can
Externí odkaz:
http://arxiv.org/abs/1608.02468