:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Suárez, Juan M Santiago, Viale, Matteo
Format:	Preprint
Publié:	2025
Sujets:	Logic
Accès en ligne:	https://arxiv.org/abs/2507.21005
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A type-theoretic definition of lax $(\infty,\infty)$-limits
par: Mikhail, Thomas Jan
Publié: (2024)

The $\infty$-category of $\infty$-categories in simplicial type theory
par: Gratzer, Daniel, et autres
Publié: (2026)

Space-Bounded OTMs and REG$^{\infty}$
par: Carl, Merlin
Publié: (2017)

Homotopy type theory as a language for diagrams of $\infty$-logoses
par: Uemura, Taichi
Publié: (2022)

The $K_\infty$ Homotopy $λ$-Model
par: Martínez-Rivillas, Daniel O., et autres
Publié: (2025)

Domain theory in univalent foundations I: Directed complete posets and Scott's $D_\infty$
par: de Jong, Tom
Publié: (2024)

Polynomials as terms and the Boolean Independence Theorem
par: Klazar, M.
Publié: (2024)

Higher inductive types in $(\infty,1)$-categories
par: Uemura, Taichi
Publié: (2024)

Elementary $\infty$-toposes from type theory
par: Apol, Daniël, et autres
Publié: (2025)

A Syntax for Strictly Associative and Unital $\infty$-Categories
par: Finster, Eric, et autres
Publié: (2023)

Reflecting compact $T_1$-spaces into bounded distributive lattices
par: Gehrke, Mai, et autres
Publié: (2024)

Internal languages of locally cartesian closed $(\infty,1)$-categories
par: Cherradi, El Mehdi
Publié: (2025)

Classification of Boolean Algebras through von Neumann regular $\mathcal{C}^{\infty}-$Rings
par: Berni, Jean Cerqueira, et autres
Publié: (2024)

Almost disjoint families and some automorphic and injective properties of $\ell_\infty/c_0$
par: Koszmider, Piotr, et autres
Publié: (2025)

Universality properties of forcing
par: Parente, Francesco, et autres
Publié: (2023)

Universally Baire sets in $2^κ$
par: Ikegami, Daisuke, et autres
Publié: (2024)

Complemented ideals of $\ell_\infty$
par: Hrušák, Michael, et autres
Publié: (2025)

Rings and Boolean Algebras as Algebraic Theories
par: De Faveri, Arturo
Publié: (2025)

Compact Quantitative Theories of Convex Algebras
par: Mio, Matteo
Publié: (2025)

Boolean basis, formula size, and number of modal operators
par: Berkholz, Christoph, et autres
Publié: (2024)

A remark on $\mathscr{C}^\infty$ definable equivalence
par: Valette, Anna, et autres
Publié: (2024)

NM-DEKL$^3_\infty$: A Three-Layer Non-Monotone Evolving Dependent Type Logic
par: Chen, Peng
Publié: (2026)

Internal sums for synthetic fibered $(\infty,1)$-categories
par: Weinberger, Jonathan
Publié: (2022)

$(\infty,1)$-Categorical Comprehension Schemes
par: Stenzel, Raffael
Publié: (2020)

Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories
par: Weinberger, Jonathan
Publié: (2022)

Abstract Model Structures and Compactness Theorems
par: Roy, Sayantan, et autres
Publié: (2025)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
par: Livson, Ori, et autres
Publié: (2025)

The completeness and congruences of quasi-Boolean algebras
par: Liu, Xiaohao, et autres
Publié: (2025)

Boolean-valued second-order logic revisited
par: Ikegami, Daisuke
Publié: (2025)

What model companionship can say about the Continuum problem
par: Venturi, Giorgio, et autres
Publié: (2022)

Classification Strength of Polish Groups: Involving $S_\infty$
par: Allison, Shaun
Publié: (2023)

Axiomatization of Boolean Connexive Logics with syncategorematic negation and modalities
par: Jarmuzek, Tomasz, et autres
Publié: (2024)

Satisfiability of Quantified Boolean Announcements
par: van Ditmarsch, Hans, et autres
Publié: (2022)

Fixed Point Theorems in Computability Theory
par: Terwijn, Sebastiaan A.
Publié: (2024)

On the $\infty$-topos semantics of homotopy type theory
par: Riehl, Emily
Publié: (2022)

Canonical completion and duality for cylindric ortholattices and cylindric Boolean algebras
par: McDonald, Joseph
Publié: (2025)

On pseudo-irreducibility and Boolean lifting property of filters in residuated lattices
par: Rostami, Esmaeil
Publié: (2025)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
par: Hermes, Marc, et autres
Publié: (2023)

Compositional Control-Driven Boolean Circuits
par: Arellanes, Damian
Publié: (2025)

Symmetries of Dependency Quantified Boolean Formulas
par: Hofstadler, Clemens, et autres
Publié: (2024)