Topics:
- Big Witt ring (253 messages, latest: Oct 24 2024 at 20:37)
- Describing models of a theory (11 messages, latest: Oct 11 2024 at 13:30)
- Logical operations on classes of models (as a precursor t... (1 message, latest: Sep 23 2024 at 17:14)
- Free Boolean Algebras (166 messages, latest: Sep 03 2024 at 04:39)
- Exploration into Sets (8 messages, latest: Sep 02 2024 at 17:10)
- Origin of irrationals as non-repeating infinite decimals (12 messages, latest: Aug 05 2024 at 17:36)
- Projective Determinacy (1 message, latest: Jul 22 2024 at 12:47)
- Why does the codomain fibration satisfy the stack conditi... (37 messages, latest: Jul 17 2024 at 19:40)
- Are analogies typically abelian? (44 messages, latest: Jul 14 2024 at 17:29)
- A couple of conjectures on heaps (27 messages, latest: Jun 29 2024 at 19:27)
- Prove that there are no onto functions like f:[0,1]→[0,1]... (44 messages, latest: Jun 26 2024 at 05:18)
- Derivability and Consequence (9 messages, latest: Jun 21 2024 at 13:16)
- Isomorphisms and properties (12 messages, latest: Jun 17 2024 at 21:18)
- Yoneda ext for complexes (4 messages, latest: Jun 04 2024 at 19:41)
- Kuratowski 14 problem (73 messages, latest: Jun 03 2024 at 14:41)
- Wild knots and Borel equivalence relations (56 messages, latest: May 28 2024 at 23:09)
- Basic topology (58 messages, latest: May 27 2024 at 09:15)
- The Coincidence Lemma (5 messages, latest: May 12 2024 at 15:33)
- ✔ Question about pullback *of* toposes. (2 messages, latest: May 10 2024 at 20:22)
- Question about pullback *of* toposes. (2 messages, latest: May 10 2024 at 09:08)
- tangent space of power object in smooth sets (8 messages, latest: May 07 2024 at 20:16)
- Type Theory (1 message, latest: May 05 2024 at 12:07)
- a lemma on the joins of measurable functions (30 messages, latest: May 04 2024 at 03:38)
- Categorifying the modularity theorem (3 messages, latest: Apr 21 2024 at 11:50)
- schemes over Q and their models over Z (121 messages, latest: Apr 19 2024 at 09:13)
- Galois representations (31 messages, latest: Apr 14 2024 at 14:03)
- Some thoughts on dodecaphonic (12-tone) music (10 messages, latest: Apr 09 2024 at 19:25)
- elliptic curve examples (86 messages, latest: Apr 02 2024 at 18:33)
- Categorical understanding of subdivision (14 messages, latest: Mar 31 2024 at 13:35)
- Derived triangular bialgebras (2 messages, latest: Mar 20 2024 at 00:09)
- How often does the law of excluded middle hold? (28 messages, latest: Mar 07 2024 at 01:19)
- Prüfer rings are coherent (7 messages, latest: Feb 12 2024 at 23:47)
- Metrizability for generalized metric spaces (13 messages, latest: Dec 16 2023 at 16:31)
- Metrizability for genetralized metric spaces (7 messages, latest: Dec 16 2023 at 11:42)
- relating left and right actions (3 messages, latest: Nov 29 2023 at 09:46)
- Quillen-Suslin with infinitely many variables (17 messages, latest: Nov 06 2023 at 17:49)
- stream events (1 message, latest: Oct 31 2023 at 11:03)
- Why Quillen adjunctions? (3 messages, latest: Oct 30 2023 at 00:52)
- Computer calculations with presheaves (92 messages, latest: Oct 29 2023 at 18:24)
- GATs with dependent contexts (5 messages, latest: Oct 26 2023 at 15:57)
- Reference for Subcanonical Sites? (4 messages, latest: Oct 22 2023 at 11:46)
