Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2507.21005 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
A type-theoretic definition of lax $(\infty,\infty)$-limits
by: Mikhail, Thomas Jan
Published: (2024)
by: Mikhail, Thomas Jan
Published: (2024)
The $\infty$-category of $\infty$-categories in simplicial type theory
by: Gratzer, Daniel, et al.
Published: (2026)
by: Gratzer, Daniel, et al.
Published: (2026)
Space-Bounded OTMs and REG$^{\infty}$
by: Carl, Merlin
Published: (2017)
by: Carl, Merlin
Published: (2017)
Homotopy type theory as a language for diagrams of $\infty$-logoses
by: Uemura, Taichi
Published: (2022)
by: Uemura, Taichi
Published: (2022)
The $K_\infty$ Homotopy $λ$-Model
by: Martínez-Rivillas, Daniel O., et al.
Published: (2025)
by: Martínez-Rivillas, Daniel O., et al.
Published: (2025)
Domain theory in univalent foundations I: Directed complete posets and Scott's $D_\infty$
by: de Jong, Tom
Published: (2024)
by: de Jong, Tom
Published: (2024)
Polynomials as terms and the Boolean Independence Theorem
by: Klazar, M.
Published: (2024)
by: Klazar, M.
Published: (2024)
Higher inductive types in $(\infty,1)$-categories
by: Uemura, Taichi
Published: (2024)
by: Uemura, Taichi
Published: (2024)
Elementary $\infty$-toposes from type theory
by: Apol, Daniël, et al.
Published: (2025)
by: Apol, Daniël, et al.
Published: (2025)
A Syntax for Strictly Associative and Unital $\infty$-Categories
by: Finster, Eric, et al.
Published: (2023)
by: Finster, Eric, et al.
Published: (2023)
Reflecting compact $T_1$-spaces into bounded distributive lattices
by: Gehrke, Mai, et al.
Published: (2024)
by: Gehrke, Mai, et al.
Published: (2024)
Internal languages of locally cartesian closed $(\infty,1)$-categories
by: Cherradi, El Mehdi
Published: (2025)
by: Cherradi, El Mehdi
Published: (2025)
Classification of Boolean Algebras through von Neumann regular $\mathcal{C}^{\infty}-$Rings
by: Berni, Jean Cerqueira, et al.
Published: (2024)
by: Berni, Jean Cerqueira, et al.
Published: (2024)
Almost disjoint families and some automorphic and injective properties of $\ell_\infty/c_0$
by: Koszmider, Piotr, et al.
Published: (2025)
by: Koszmider, Piotr, et al.
Published: (2025)
Universality properties of forcing
by: Parente, Francesco, et al.
Published: (2023)
by: Parente, Francesco, et al.
Published: (2023)
Universally Baire sets in $2^κ$
by: Ikegami, Daisuke, et al.
Published: (2024)
by: Ikegami, Daisuke, et al.
Published: (2024)
Complemented ideals of $\ell_\infty$
by: Hrušák, Michael, et al.
Published: (2025)
by: Hrušák, Michael, et al.
Published: (2025)
Rings and Boolean Algebras as Algebraic Theories
by: De Faveri, Arturo
Published: (2025)
by: De Faveri, Arturo
Published: (2025)
Compact Quantitative Theories of Convex Algebras
by: Mio, Matteo
Published: (2025)
by: Mio, Matteo
Published: (2025)
Boolean basis, formula size, and number of modal operators
by: Berkholz, Christoph, et al.
Published: (2024)
by: Berkholz, Christoph, et al.
Published: (2024)
A remark on $\mathscr{C}^\infty$ definable equivalence
by: Valette, Anna, et al.
Published: (2024)
by: Valette, Anna, et al.
Published: (2024)
NM-DEKL$^3_\infty$: A Three-Layer Non-Monotone Evolving Dependent Type Logic
by: Chen, Peng
Published: (2026)
by: Chen, Peng
Published: (2026)
Internal sums for synthetic fibered $(\infty,1)$-categories
by: Weinberger, Jonathan
Published: (2022)
by: Weinberger, Jonathan
Published: (2022)
$(\infty,1)$-Categorical Comprehension Schemes
by: Stenzel, Raffael
Published: (2020)
by: Stenzel, Raffael
Published: (2020)
Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories
by: Weinberger, Jonathan
Published: (2022)
by: Weinberger, Jonathan
Published: (2022)
Abstract Model Structures and Compactness Theorems
by: Roy, Sayantan, et al.
Published: (2025)
by: Roy, Sayantan, et al.
Published: (2025)
Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
by: Livson, Ori, et al.
Published: (2025)
by: Livson, Ori, et al.
Published: (2025)
The completeness and congruences of quasi-Boolean algebras
by: Liu, Xiaohao, et al.
Published: (2025)
by: Liu, Xiaohao, et al.
Published: (2025)
Boolean-valued second-order logic revisited
by: Ikegami, Daisuke
Published: (2025)
by: Ikegami, Daisuke
Published: (2025)
What model companionship can say about the Continuum problem
by: Venturi, Giorgio, et al.
Published: (2022)
by: Venturi, Giorgio, et al.
Published: (2022)
Classification Strength of Polish Groups: Involving $S_\infty$
by: Allison, Shaun
Published: (2023)
by: Allison, Shaun
Published: (2023)
Axiomatization of Boolean Connexive Logics with syncategorematic negation and modalities
by: Jarmuzek, Tomasz, et al.
Published: (2024)
by: Jarmuzek, Tomasz, et al.
Published: (2024)
Satisfiability of Quantified Boolean Announcements
by: van Ditmarsch, Hans, et al.
Published: (2022)
by: van Ditmarsch, Hans, et al.
Published: (2022)
Fixed Point Theorems in Computability Theory
by: Terwijn, Sebastiaan A.
Published: (2024)
by: Terwijn, Sebastiaan A.
Published: (2024)
On the $\infty$-topos semantics of homotopy type theory
by: Riehl, Emily
Published: (2022)
by: Riehl, Emily
Published: (2022)
Canonical completion and duality for cylindric ortholattices and cylindric Boolean algebras
by: McDonald, Joseph
Published: (2025)
by: McDonald, Joseph
Published: (2025)
On pseudo-irreducibility and Boolean lifting property of filters in residuated lattices
by: Rostami, Esmaeil
Published: (2025)
by: Rostami, Esmaeil
Published: (2025)
An Analysis of Tennenbaum's Theorem in Constructive Type Theory
by: Hermes, Marc, et al.
Published: (2023)
by: Hermes, Marc, et al.
Published: (2023)
Compositional Control-Driven Boolean Circuits
by: Arellanes, Damian
Published: (2025)
by: Arellanes, Damian
Published: (2025)
Symmetries of Dependency Quantified Boolean Formulas
by: Hofstadler, Clemens, et al.
Published: (2024)
by: Hofstadler, Clemens, et al.
Published: (2024)