lo logic - Robuta Search

https://mathoverflow.net/questions/510075/deriving-morphism-irreversibility-from-dependent-type-asymmetry-in-directed-type lo.logic - Deriving morphism irreversibility from dependent type asymmetry in directed type theory... In directed homotopy type theory (diHoTT) as developed by Riehl and Shulman ("A type theory for synthetic ∞-categories", 2017), the irreversibility of... lo logic deriving morphism irreversibility dependent https://mathoverflow.net/questions/506916/what-good-naming-alternatives-are-there-for-the-schemas lo.logic - What good naming alternatives are there for the schemas? - MathOverflow What to call schema $\forall xT\llcorner A\lrcorner\to T\llcorner\forall x A\lrcorner$ when one doesn't want "Barcan Formula"? And what is a good name for the... lo logic good naming alternatives schemas 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 https://mathoverflow.net/search?q=user:2362+[lo.logic] Posts matching 'user:2362 [lo.logic]' - MathOverflow posts matching user lo logic 2362 mathoverflow https://mathoverflow.net/questions/tagged/lo.logic Newest 'lo.logic' Questions - MathOverflow logic questions mathoverflow newest