Source author record

Boban Velickovic

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO math.FA math.OA

Catalog footprint

Research overview

10works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Games on AF-algebras

We analyze $\mathrm{C}^\ast$ -algebras, particularly AF-algebras, and their $K_0$ -groups in the context of the infinitary logic $\mathcal{L}_{ω_1 ω}$ . Given two separable unital AF-algebras $A$ and $B$ , and considering their $K_0$ -groups as ordered unital groups, we prove that $K_0(A) \equiv_{ω\cdot α} K_0(B)$ implies $A \equiv_αB$ , where $M \equiv_βN$ means that $M$ and $N$ agree on all sentences of quantifier rank at most $β$ . This implication is proved using techniques from Elliott's classification of separable AF-algebras, together with an adaptation of the Ehrenfeucht-Fraïssé game to the metric setting. We use moreover this result to build a family $\{ A_α\}_{α< ω_1}$ of pairwise non-isomorphic separable simple unital AF-algebras which satisfy $A_α\equiv_αA_β$ for every $α< β$ . In particular, we obtain a set of separable simple unital AF-algebras of arbitrarily high Scott rank. Next, we give a partial converse to the aforementioned implication, showing that $A \otimes \mathcal{K} \equiv_{ω+ 2 \cdot α+2} B \otimes \mathcal{K}$ implies $K_0(A) \equiv_αK_0(B)$ , for every unital $\mathrm{C}^\ast$ -algebras $A$ and $B$ .

preprint2016arXiv

A direct proof of the five element basis theorem

We present a direct proof of the consistency of the existence of a five element basis for the uncountable linear orders. Our argument is based on the approach of notion of saturation of Aronszajn trees considered by Koenig, Larson, Moore and Velickovic and simplifies the original proof of Moore.

preprint2016arXiv

Ranks of Maharam algebras

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 canonically assign a certain countable ordinal, its exhaustivity rank. In this paper, we use carefully constructed Schreier families and norms derived from them to provide examples of exhaustive submeasures of arbitrary high exhaustivity rank. This gives rise to uncountably many non isomorphic separable atomless Maharam algebras.

preprint2015arXiv

PFA and precipitousness of the nonstationary ideal

We apply Neeman's method of forcing with side conditions to show that PFA does not imply the precipitousness of the nonstationary ideal on $ω_1$ .

preprint2014arXiv

Iteration of Semiproper Forcing Revisited

We present a method for iterating semiproper forcing which uses side conditions and is inspired by the technique recently introduced by Neeman.

preprint2013arXiv

Positional strategies in long Ehrenfeucht-Fraissé games

We prove that it is relatively consistent with ZF + CH that there exist two models of cardinality \aleph_2 such that the second player has a winning strategy in the Ehrenfeucht-Fraïssé-game of length ω_1 but there is no σ-closed back-and-forth set for the two models. If CH fails, no such pairs of models exist.

preprint2013arXiv

Proper forcing remastered

In these notes we present the method introduced by Neeman of generalized side conditions with two types of models. We then discuss some applications: the Friedman-Mitchell poset for adding a club in ω_2 with finite conditions, Koszmider's forcing construction of a strong chain of length ω_2 of functions from ω_1 to ω_1, and the Baumgartner-Shelah forcing construction of a thin very tall superatomic Boolean algebra.

preprint2013arXiv

Stationary reflection principles and two cardinal tree properties

We study consequences of stationary and semi-stationary set reflection. We show that the semi stationary reflection principle implies the Singular Cardinal Hypothesis, the failure of weak square principle, etc. We also consider two cardinal tree properties introduced recently by Weiss and prove that they follow from stationary and semi stationary set reflection augmented with a weak form of Martin's Axiom. We also show that there are some differences between the two reflection principles which suggest that stationary set reflection is analogous to supercompactness whereas semi-stationary set reflection is analogous to strong compactness.

preprint2011arXiv

Oscillations and their applications in partition calculus

Oscillations are a powerful tool for building examples of colorings witnessing negative partition relations. We survey several results illustrating the general technique and present a number of applications.

preprint1995arXiv

The complexity of the reals in inner models of set theory

The usual definition of the set of constructible reals is $Σ^1_2$ . This set can have a simpler definition if, for example, it is countable or if every real is constructible. H. Friedman asked if the set of constructible reals can be analytic or even Borel in a nontrivial way. A related problem was posed by K. Prikry: can there exist a nonconstructible perfect set of constructible reals? The main result of this paper is a negative answer to Friedman's question. In fact we prove that if $M$ is an inner model of set theory and the set of reals in $M$ is analytic then either all reals are in $M$ or else $\aleph _1^M$ is countable. We also extend this result to higher levels of the projective hierarchy under appropriate large cardinal assumptions. Concerning Prikry's problem we show that the answer is negative if "perfect" is replaced by "superperfect" but that it can be positive if "constructible" is replaced by "belonging to some inner model $M$ ".

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Boban Velickovic

Research overview

Is this your work?

10 publications

Games on AF-algebras

A direct proof of the five element basis theorem

Ranks of Maharam algebras

PFA and precipitousness of the nonstationary ideal

Iteration of Semiproper Forcing Revisited

Positional strategies in long Ehrenfeucht-Fraissé games

Proper forcing remastered

Stationary reflection principles and two cardinal tree properties

Oscillations and their applications in partition calculus

The complexity of the reals in inner models of set theory

See the researcher in context

Building this map preview