-
By posina 17 hours ago
Properties of the Lattice of Theories
First post and replies | Last post by roybaxter, 1 year ago
Provability rules for existential quantifier
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
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