Provability rules for existential quantifier
First post and replies | Last post by Joshua Wrigley, 2 years ago
Grothendieck Topology and Inference
First post and replies | Last post by Joshua Wrigley, 2 years ago
Baum-Connes conjecture and topos
First post and replies | Last post by Jens Hemelaer, 2 years ago
Properties of the Lattice of Theories
First post and replies | Last post by Joshua Wrigley, 2 years ago
Essential subtopoi of presheaf topoi
First post and replies | Last post by MatteoCapucci, 2 years ago