Results 1 to 10 of about 1,593 (46)
Revisiting the Duality of Computation: An Algebraic Analysis of Classical Realizability Models [PDF]
International ...
core +4 more sources
Stone duality above dimension zero: Axiomatising the algebraic theory of C(X) [PDF]
It has been known since the work of Duskin and Pelletier four decades ago that KH^op, the category opposite to compact Hausdorff spaces and continuous maps, is monadic over the category of sets.
Marra, Vincenzo, Reggio, Luca
core +2 more sources
Boolean Differential Operators [PDF]
We consider four combinatorial interpretations for the algebra of Boolean differential operators.
Catumba, Jorge, Diaz, Rafael
core +2 more sources
Generic absoluteness and boolean names for elements of a Polish space [PDF]
It is common knowledge in the set theory community that there exists a duality relating the commutative $C^*$-algebras with the family of $B$-names for complex numbers in a boolean valued model for set theory $V^B$.
Vaccaro, Andrea, Viale, Matteo
core +2 more sources
Axiomatizing complex algebras by games [PDF]
Submitted ...
Hodkinson, I, Mikulas, S, Venema, Y
core +3 more sources
A note on drastic product logic [PDF]
The drastic product $*_D$ is known to be the smallest $t$-norm, since $x *_D y = 0$ whenever $x, y < 1$. This $t$-norm is not left-continuous, and hence it does not admit a residuum.
B. Schweizer +9 more
core +1 more source
The resurrection axioms are forcing axioms introduced recently by Hamkins and Johnstone, developing on ideas of Chalons and Velickovi\'c. We introduce a stronger form of resurrection axioms (the \emph{iterated} resurrection axioms $\textrm{RA}_\alpha ...
Audrito, Giorgio, Viale, Matteo
core +1 more source
Monotone, free, and boolean cumulants: a shuffle algebra approach
The theory of cumulants is revisited in the "Rota way", that is, by following a combinatorial Hopf algebra approach. Monotone, free, and boolean cumulants are considered as infinitesimal characters over a particular combinatorial Hopf algebra. The latter
Ebrahimi-Fard, Kurusch, Patras, Frederic
core +1 more source
Logic and $\mathrm{C}^*$-algebras: set theoretical dichotomies in the theory of continuous quotients [PDF]
Given a nonunital $\mathrm{C}^*$-algebra $A$ one constructs its corona algebra $\mathcal M(A)/A$. This is the noncommutative analog of the \v{C}ech-Stone remainder of a topological space. We analyze the two faces of these algebras: the first one is given
Vignati, Alessandro
core +1 more source
Noncommmutative theorems: Gelfand Duality, Spectral, Invariant Subspace, and Pontryagin Duality [PDF]
We extend the Gelfand-Naimark duality of commutative C*-algebras, "A COMMUTATIVE C*-ALGEBRA -- A LOCALLY COMPACT HAUSDORFF SPACE" to "A C*-ALGEBRA--A QUOTIENT OF A LOCALLY COMPACT HAUSDORFF SPACE".
Patel, Mukul S.
core

