activity
20112026
most citedGeneral Non-Commutative Locally Compact Locally Hausdorff Stone Duality

18 citations · 103 across the 34 of their papers we have counts for

collaborators
Showing 2025Show all

2 papers · 1 filter

math.LO2025

Dependent Types Simplified

Tristan Bice

We present two logical systems based on dependent types that are comparable to ZFC, both in terms of simplicity and having natural set theoretic interpretations. Our perspective is…

math.MG2025

Oscillation stability by the Carlson-Simpson theorem

Tristan Bice, Noé de Rancourt, Jan Hubička +1

We prove oscillation stability for the Banach space : every weak-* Borel, uniformily continuous map from the unit sphere of this space to a compact metric space can be…