Properties of the Lattice of Theories
First post and replies | Last post by roybaxter, 8 months ago
Provability rules for existential quantifier
First post and replies | Last post by Joshua Wrigley, 2 years ago
-
By Lingyuan ... 2 years ago
-
By Joshua Wr... 2 years ago
-
By Lingyuan ... 2 years ago
-
By Joshua Wr... 2 years ago
- view all posts
Grothendieck Topology and Inference
First post and replies | Last post by Joshua Wrigley, 3 years ago
-
By Lingyuan ... 3 years ago
-
By Joshua Wr... 3 years ago
-
By Lingyuan ... 3 years ago
-
By Joshua Wr... 3 years ago
- view all posts
Baum-Connes conjecture and topos
First post and replies | Last post by Jens Hemelaer, 3 years ago
-
By Jean-Jacq... 3 years ago
-
By Joshua Wr... 3 years ago
-
By Jean-Jacq... 3 years ago
-
By Jens Heme... 3 years ago
- view all posts
Essential subtopoi of presheaf topoi
First post and replies | Last post by MatteoCapucci, 3 years ago
-
By MatteoCap... 3 years ago
-
By MatteoCap... 3 years ago
-
By Olivia Ca... 3 years ago
-
By MatteoCap... 3 years ago
- view all posts
-
By john-dee 3 years ago
-
By john-dee 3 years ago
-
By Jens Heme... 3 years ago
-
By Morgan Ro... 3 years ago
- view all posts
In what sense does a functor "lift/create/detect" limits?
First post and replies | Last post by Sayantan Roy, 3 years ago
-
By Sayantan ... 3 years ago
-
By Sayantan ... 3 years ago
-
By Joshua Wr... 3 years ago
-
By Sayantan ... 3 years ago
- view all posts