19 citations · 19 across the 2 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2021
Congruence Filter Pairs, Adjoints and Leibniz Hierarchy
Peter Arndt, Hugo Luiz Mariano, Darllan Conceição Pinto
We review the notion of (finitary) filter pair as a tool for creating and analyzing logics. A filter pair can be seen as a presentation of a logic, given by presenting its lattice…
math.LO2012★ 19 cited
Homotopy Theoretic Models of Type Theory
Peter Arndt, Chris Kapulkin
We introduce the notion of a logical model category which is a Quillen model category satisfying some additional conditions. Those conditions provide enough expressive power that o…