activity
20122025
most citedMAD Families of Projections on l^2 and Real-Valued Functions on Omega

1 citations · 1 across the 5 of their papers we have counts for

collaborators
Showing math.LOShow 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.LO2018

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…