Ben de Bondt

activity

20222026

collaborators

Showing 2022 · math.LOShow all

2 papers · 2 filters

math.LO2022

Increasing the second uniform indiscernible by strongly ssp forcing

Ben De Bondt, Boban Velickovic

We introduce a new and natural stationary set preserving forcing $P^{c - c} (λ, μ)$ that (under $NS_{ω_{1}}$ precipitous + existence of $H_θ^#$ for a sufficiently large…

math.LO2022

Games on AF-algebras

Ben De Bondt, Andrea Vaccaro, Boban Velickovic +1

We analyze $C^{*}$ -algebras, particularly AF-algebras, and their $K_{0}$ -groups in the context of the infinitary logic $L_{ω_{1} ω}$ . Given two separable unital AF-…