18 citations · 103 across the 34 of their papers we have counts for
Showing math.LOShow all
3 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.LO2021★ 3 cited
The weak Ramsey property and extreme amenability
Adam Bartoš, Tristan Bice, Keegan Dasilva Barbosa +1
We extend the Kechris--Pestov--Todorčević correspondence to weak Fra\"ıssé categories and automorphism groups of generic objects. The new ingredient is the weak Ramsey property. We…
math.LO2018★ 18 cited
General Non-Commutative Locally Compact Locally Hausdorff Stone Duality
Tristan Bice, Charles Starling
We extend the classical Stone duality between zero dimensional compact Hausdorff spaces and Boolean algebras. Specifically, we simultaneously remove the zero dimensionality restric…