Imagen de Portada

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

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Suárez, Juan M Santiago, Viale, Matteo
Formato:	Preprint
Publicado:	2025
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

The $\infty$-category of $\infty$-categories in simplicial type theory
por: Gratzer, Daniel, et al.
Publicado: (2026)

A type-theoretic definition of lax $(\infty,\infty)$-limits
por: Mikhail, Thomas Jan
Publicado: (2024)

Space-Bounded OTMs and REG$^{\infty}$
por: Carl, Merlin
Publicado: (2017)

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

The $K_\infty$ Homotopy $λ$-Model
por: Martínez-Rivillas, Daniel O., et al.
Publicado: (2025)

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

Polynomials as terms and the Boolean Independence Theorem
por: Klazar, M.
Publicado: (2024)

Elementary $\infty$-toposes from type theory
por: Apol, Daniël, et al.
Publicado: (2025)

Higher inductive types in $(\infty,1)$-categories
por: Uemura, Taichi
Publicado: (2024)

A Syntax for Strictly Associative and Unital $\infty$-Categories
por: Finster, Eric, et al.
Publicado: (2023)

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

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

Reflecting compact $T_1$-spaces into bounded distributive lattices
por: Gehrke, Mai, et al.
Publicado: (2024)

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

Rings and Boolean Algebras as Algebraic Theories
por: De Faveri, Arturo
Publicado: (2025)

Compact Quantitative Theories of Convex Algebras
por: Mio, Matteo
Publicado: (2025)

Complemented ideals of $\ell_\infty$
por: Hrušák, Michael, et al.
Publicado: (2025)

Boolean basis, formula size, and number of modal operators
por: Berkholz, Christoph, et al.
Publicado: (2024)

Universality properties of forcing
por: Parente, Francesco, et al.
Publicado: (2023)

Universally Baire sets in $2^κ$
por: Ikegami, Daisuke, et al.
Publicado: (2024)

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

The completeness and congruences of quasi-Boolean algebras
por: Liu, Xiaohao, et al.
Publicado: (2025)

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

A remark on $\mathscr{C}^\infty$ definable equivalence
por: Valette, Anna, et al.
Publicado: (2024)

Abstract Model Structures and Compactness Theorems
por: Roy, Sayantan, et al.
Publicado: (2025)

Boolean-valued second-order logic revisited
por: Ikegami, Daisuke
Publicado: (2025)

$(\infty,1)$-Categorical Comprehension Schemes
por: Stenzel, Raffael
Publicado: (2020)

Axiomatization of Boolean Connexive Logics with syncategorematic negation and modalities
por: Jarmuzek, Tomasz, et al.
Publicado: (2024)

Internal sums for synthetic fibered $(\infty,1)$-categories
por: Weinberger, Jonathan
Publicado: (2022)

Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories
por: Weinberger, Jonathan
Publicado: (2022)

Fixed Point Theorems in Computability Theory
por: Terwijn, Sebastiaan A.
Publicado: (2024)

Canonical completion and duality for cylindric ortholattices and cylindric Boolean algebras
por: McDonald, Joseph
Publicado: (2025)

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

Satisfiability of Quantified Boolean Announcements
por: van Ditmarsch, Hans, et al.
Publicado: (2022)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
por: Hermes, Marc, et al.
Publicado: (2023)

Transferring Compactness
por: Benhamou, Tom, et al.
Publicado: (2023)

Compositional Control-Driven Boolean Circuits
por: Arellanes, Damian
Publicado: (2025)

Symmetries of Dependency Quantified Boolean Formulas
por: Hofstadler, Clemens, et al.
Publicado: (2024)

Structural Analysis of Boolean Equation Systems
por: Keiren, Jeroen, et al.
Publicado: (2010)

Classification Strength of Polish Groups: Involving $S_\infty$
por: Allison, Shaun
Publicado: (2023)