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.LO2024
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…