mathrm - Robuta Search

https://mathoverflow.net/questions/510202/the-right-adjoint-of-mathrmmod-mathrmend-c1v-to-c-for-c-in-mathr ct.category theory - The right adjoint of $\mathrm{Mod}_{\mathrm{End}_C(1)}(V)\to C$ for $C\in... ct category theory 1 v right adjoint mathrm https://mathoverflow.net/questions/509991/does-mathsfizf-mathrmrep-prove-that-l-omega-1-mathrmck-is-a set theory - Does $\mathsf{IZF}_{\mathrm{Rep}}$ prove that $L_{\omega_1^{\mathrm{CK}}}$ is a model... Let $\def\IZF{\mathsf{IZF}_{\mathrm{Rep}}}\IZF$ be intuitionistic Zermelo-Fraenkel set theory with the replacement scheme. (See this SEP article for a... set theory omega 1 izf mathrm rep https://mathoverflow.net/questions/469622/the-first-order-theory-of-the-second-order-theory-of-mathrmzfc lo.logic - The "first-order theory of the second-order theory of $\mathrm{ZFC}$" - MathOverflow $\newcommand\ZFC{\mathrm{ZFC}}\DeclareMathOperator\Con{Con}$It is often interesting to look at the theory of all first-order statements that are true in some... lo logic first order theory second mathrm