Cartesian closed varieties. I: The classification theorem
type: Item
instance of: scholarly article
title: Cartesian closed varieties. I: The classification theorem
author: Richard Garner
published in: Algebra Universalis
publication date: 2024-09-24T00:00:00Z
Mathematics Subject Classification ID: 08C05
Mathematics Subject Classification ID: 18C10
zbMATH DE Number: 7918108
zbMATH Keywords: Cartesian closed variety
zbMATH Keywords: hyperaffine theory
zbMATH Keywords: Boolean algebra
MaRDI profile type: Publication
cites work: Actions of Boolean rings on sets
cites work: Q3722558
cites work: A Set of Independent Axioms for Boolean Algebra
cites work: Q3050433
cites work: SEMIGROUPS WITH if–then–else AND HALTING PROGRAMS
cites work: Cartesian monads on toposes
cites work: Q3965241
cites work: When is a variety a topos ?
cites work: Collapsed toposes and cartesian closed varieties
cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
cites work: Q3751631
cites work: Sound and complete equational reasoning over comodels
DOI: 10.1007/S00012-024-00869-1
description: scientific article; zbMATH DE number 7918108