4 citations · 4 across the 1 of their papers we have counts for
3 papers
cs.PL2021★ 4 cited
Quantum CPOs
Andre Kornell, Bert Lindenhovius, Michael Mislove
We introduce the monoidal closed category qCPO of quantum cpos, whose objects are "quantized" analogs of omega-complete partial orders (cpos). The category qCPO is enriched over th…
math.OA2018
Quantum extensions of ordinary maps
Andre Kornell
We define a loop to be quantum nullhomotopic if and only if it admits a nonempty quantum set of extensions to the unit disk. We show that the canonical loop in the unit circle is n…
math.LO2018
A complete system of deduction for Sigma formulas
Andre Kornell
The Sigma formulas of the language of arithmetic express semidecidable relations on the natural numbers. More generally, whenever a totality of objects is regarded as incomplete, t…