activity
20182020
most citedImplicative algebras II: completeness w.r.t. Set-based triposes

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

collaborators
Showing math.LOShow all

2 papers · 1 filter

math.LO2020★ 5 cited

Implicative algebras II: completeness w.r.t. Set-based triposes

Alexandre Miquel

We prove that all Set-based triposes are implicative triposes.

math.LO2018

Implicative algebras: a new foundation for realizability and forcing

Alexandre Miquel

We introduce the notion of implicative algebra, a simple algebraic structure intended to factorize the model constructions underlying forcing and realizability (both in intuitionis…