The Boolean Compactness Theorem for $\mathrm{L}_{\infty\infty}$

Documenti analoghi

• The $\infty$-category of $\infty$-categories in simplicial type theory
  di: Gratzer, Daniel, et al.
  Pubblicazione: (2026)
• A type-theoretic definition of lax $(\infty,\infty)$-limits
  di: Mikhail, Thomas Jan
  Pubblicazione: (2024)
• Space-Bounded OTMs and REG$^{\infty}$
  di: Carl, Merlin
  Pubblicazione: (2017)
• Homotopy type theory as a language for diagrams of $\infty$-logoses
  di: Uemura, Taichi
  Pubblicazione: (2022)
• The $K_\infty$ Homotopy $λ$-Model
  di: Martínez-Rivillas, Daniel O., et al.
  Pubblicazione: (2025)