Cover Image

Bochvar algebras: A categorical equivalence and the generated variety

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bonzio, Stefano, Paoli, Francesco, Baldi, Michele Pra
Format:	Preprint
Published:	2024
Subjects:	Logic Commutative Algebra Category Theory 03G25, 03B60
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On the structure of Bochvar algebras
by: Bonzio, Stefano, et al.
Published: (2023)

A category of arrow algebras for modified realizability
by: Tarantino, Umberto
Published: (2024)

Decidability for the theory of modules over a Prüfer domain
by: Gregory, Lorna
Published: (2021)

On the structure and theory of McCarthy algebras
by: Bonzio, Stefano, et al.
Published: (2025)

Arrow algebras
by: Berg, Benno van den, et al.
Published: (2023)

A $j$-translation with Kripke forcing relation
by: Nakata, Satoshi
Published: (2026)

Note on radical and prime E-ideals
by: Fornasiero, Antongiulio, et al.
Published: (2023)

Duality theory for categorical theories
by: Ye, Lingyuan
Published: (2026)

A Completeness Theorem for Topological Doctrines
by: Ghilardi, Silvio, et al.
Published: (2025)

Hochschild cohomology in toposes
by: Michie, Cameron, et al.
Published: (2024)

Connectedness through decidable quotients
by: Hernández, Enrique Ruiz, et al.
Published: (2023)

Uniform terms and local elements
by: Zhuravlov, Volodymyr
Published: (2024)

Azumaya algebras and Barr Theorem
by: Coquand, Thierry, et al.
Published: (2023)

Partition Principle without Choice via Symmetric Iterations and Sheaf-Toposes
by: Gilson, Frank
Published: (2025)

The fork and its role in unification of closure algebras
by: Düntsch, Ivo, et al.
Published: (2023)

Approximation Theory and Elementary Submodels
by: Cox, Sean
Published: (2024)

A topos for extended Weihrauch degrees
by: Maschio, Samuele, et al.
Published: (2025)

Extended Contact Algebras: Algebraic analysis and duality theory
by: Gruszczyński, Rafał, et al.
Published: (2025)

Endogenies and Linearisation
by: Deloro, Adrien, et al.
Published: (2024)

Definable henselian valuations in positive residue characteristic
by: Ketelsen, Margarete, et al.
Published: (2024)

Model theory of valued fields with an endomorphism
by: Ramello, Simone
Published: (2024)

Existentially closed models and locally zero-dimensional toposes
by: Kamsma, Mark, et al.
Published: (2024)

Dp-finite and Noetherian NIP integral domains
by: Johnson, Will
Published: (2023)

Generic derivations on algebraically bounded structures
by: Antongiulio, Fornasiero, et al.
Published: (2023)

Term algebras of elementarily equivalent atom structures
by: Andréka, H., et al.
Published: (2018)

Craig Interpolation for Subgeometric Logics
by: Di Liberti, Ivan, et al.
Published: (2026)

The Gamified Katětov order is not linear (in fact, very much not so)
by: Kihara, Takayuki, et al.
Published: (2026)

Vopěnka's Principle, Maximum Deconstructibility, and singly-generated torsion classes
by: Cox, Sean
Published: (2024)

Double-functorial representation of regular monoidal structures
by: Siqueira, José
Published: (2025)

The lattice of ideals of certain rings
by: Savin, Diana
Published: (2023)

On the theories classified by an étendue
by: Wrigley, Joshua
Published: (2025)

Cardinality of groups and rings via the idempotency of infinite cardinals
by: Tarizadeh, Abolfazl
Published: (2024)

The Game-Theoretic Katětov Order and Idealised Effective Subtoposes
by: Kihara, Takayuki, et al.
Published: (2026)

Closed bounded sets in 1-h-minimal valued fields
by: López, Juan Pablo Acosta
Published: (2024)

Ultrahomogeneity and $ω$-categoricity of monounary algebras
by: Quinn-Gregson, Thomas
Published: (2026)

Categorical structure in coherent theory of arithmetic
by: Ye, Lingyuan
Published: (2023)

Residuated lattices do not have the amalgamation property
by: Jipsen, Peter, et al.
Published: (2025)

The Amalgamation Property for automorphisms of ordered abelian groups
by: Dobrowolski, Jan, et al.
Published: (2022)

Non-Standard Models of Homotopy Type Theory
by: Rasekh, Nima
Published: (2025)

Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
by: Rasekh, Nima
Published: (2025)