:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Suárez, Juan M Santiago, Viale, Matteo
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic
Online-Zugang:	https://arxiv.org/abs/2507.21005
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A type-theoretic definition of lax $(\infty,\infty)$-limits
von: Mikhail, Thomas Jan
Veröffentlicht: (2024)

The $\infty$-category of $\infty$-categories in simplicial type theory
von: Gratzer, Daniel, et al.
Veröffentlicht: (2026)

Space-Bounded OTMs and REG$^{\infty}$
von: Carl, Merlin
Veröffentlicht: (2017)

Homotopy type theory as a language for diagrams of $\infty$-logoses
von: Uemura, Taichi
Veröffentlicht: (2022)

The $K_\infty$ Homotopy $λ$-Model
von: Martínez-Rivillas, Daniel O., et al.
Veröffentlicht: (2025)

Domain theory in univalent foundations I: Directed complete posets and Scott's $D_\infty$
von: de Jong, Tom
Veröffentlicht: (2024)

Polynomials as terms and the Boolean Independence Theorem
von: Klazar, M.
Veröffentlicht: (2024)

Higher inductive types in $(\infty,1)$-categories
von: Uemura, Taichi
Veröffentlicht: (2024)

Elementary $\infty$-toposes from type theory
von: Apol, Daniël, et al.
Veröffentlicht: (2025)

A Syntax for Strictly Associative and Unital $\infty$-Categories
von: Finster, Eric, et al.
Veröffentlicht: (2023)

Reflecting compact $T_1$-spaces into bounded distributive lattices
von: Gehrke, Mai, et al.
Veröffentlicht: (2024)

Internal languages of locally cartesian closed $(\infty,1)$-categories
von: Cherradi, El Mehdi
Veröffentlicht: (2025)

Classification of Boolean Algebras through von Neumann regular $\mathcal{C}^{\infty}-$Rings
von: Berni, Jean Cerqueira, et al.
Veröffentlicht: (2024)

Almost disjoint families and some automorphic and injective properties of $\ell_\infty/c_0$
von: Koszmider, Piotr, et al.
Veröffentlicht: (2025)

Universality properties of forcing
von: Parente, Francesco, et al.
Veröffentlicht: (2023)

Universally Baire sets in $2^κ$
von: Ikegami, Daisuke, et al.
Veröffentlicht: (2024)

Complemented ideals of $\ell_\infty$
von: Hrušák, Michael, et al.
Veröffentlicht: (2025)

Rings and Boolean Algebras as Algebraic Theories
von: De Faveri, Arturo
Veröffentlicht: (2025)

Compact Quantitative Theories of Convex Algebras
von: Mio, Matteo
Veröffentlicht: (2025)

Boolean basis, formula size, and number of modal operators
von: Berkholz, Christoph, et al.
Veröffentlicht: (2024)

A remark on $\mathscr{C}^\infty$ definable equivalence
von: Valette, Anna, et al.
Veröffentlicht: (2024)

NM-DEKL$^3_\infty$: A Three-Layer Non-Monotone Evolving Dependent Type Logic
von: Chen, Peng
Veröffentlicht: (2026)

Internal sums for synthetic fibered $(\infty,1)$-categories
von: Weinberger, Jonathan
Veröffentlicht: (2022)

$(\infty,1)$-Categorical Comprehension Schemes
von: Stenzel, Raffael
Veröffentlicht: (2020)

Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories
von: Weinberger, Jonathan
Veröffentlicht: (2022)

Abstract Model Structures and Compactness Theorems
von: Roy, Sayantan, et al.
Veröffentlicht: (2025)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
von: Livson, Ori, et al.
Veröffentlicht: (2025)

The completeness and congruences of quasi-Boolean algebras
von: Liu, Xiaohao, et al.
Veröffentlicht: (2025)

Boolean-valued second-order logic revisited
von: Ikegami, Daisuke
Veröffentlicht: (2025)

What model companionship can say about the Continuum problem
von: Venturi, Giorgio, et al.
Veröffentlicht: (2022)

Classification Strength of Polish Groups: Involving $S_\infty$
von: Allison, Shaun
Veröffentlicht: (2023)

Axiomatization of Boolean Connexive Logics with syncategorematic negation and modalities
von: Jarmuzek, Tomasz, et al.
Veröffentlicht: (2024)

Satisfiability of Quantified Boolean Announcements
von: van Ditmarsch, Hans, et al.
Veröffentlicht: (2022)

Fixed Point Theorems in Computability Theory
von: Terwijn, Sebastiaan A.
Veröffentlicht: (2024)

On the $\infty$-topos semantics of homotopy type theory
von: Riehl, Emily
Veröffentlicht: (2022)

Canonical completion and duality for cylindric ortholattices and cylindric Boolean algebras
von: McDonald, Joseph
Veröffentlicht: (2025)

On pseudo-irreducibility and Boolean lifting property of filters in residuated lattices
von: Rostami, Esmaeil
Veröffentlicht: (2025)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
von: Hermes, Marc, et al.
Veröffentlicht: (2023)

Compositional Control-Driven Boolean Circuits
von: Arellanes, Damian
Veröffentlicht: (2025)

Symmetries of Dependency Quantified Boolean Formulas
von: Hofstadler, Clemens, et al.
Veröffentlicht: (2024)