Quantum key distribution without the wavefunction

A well-known feature of quantum mechanics is the secure exchange of secret bit strings which can then be used as keys to encrypt messages transmitted over any classical communication channel. It is demonstrated that this quantum key distribution allows a much more general and abstract access than commonly thought. The results include some generalizations for the Hilbert space version of quantum key distribution,but base upon a general non-classical extension of conditional probability. A special state-independent conditional probability is identified as origin of the superior security of quantum key distribution and may have more profound implications for the foundations and interpretation of quantum mechanics,quantum information theory, and the philosophical question what actually constitutes physical reality.Comment: 16 pages. arXiv admin note: text overlap with arXiv:1502.0215

Uniform interpolation and coherence

A variety V is said to be coherent if any finitely generated subalgebra of a finitely presented member of V is finitely presented. It is shown here that V is coherent if and only if it satisfies a restricted form of uniform deductive interpolation: that is, any compact congruence on a finitely generated free algebra of V restricted to a free algebra over a subset of the generators is again compact. A general criterion is obtained for establishing failures of coherence, and hence also of uniform deductive interpolation. This criterion is then used in conjunction with properties of canonical extensions to prove that coherence and uniform deductive interpolation fail for certain varieties of Boolean algebras with operators (in particular, algebras of modal logic K and its standard non-transitive extensions), double-Heyting algebras, residuated lattices, and lattices

Finitely generated free Heyting algebras via Birkhoff duality and coalgebra

Algebras axiomatized entirely by rank 1 axioms are algebras for a functor and thus the free algebras can be obtained by a direct limit process. Dually, the final coalgebras can be obtained by an inverse limit process. In order to explore the limits of this method we look at Heyting algebras which have mixed rank 0-1 axiomatizations. We will see that Heyting algebras are special in that they are almost rank 1 axiomatized and can be handled by a slight variant of the rank 1 coalgebraic methods

Changing a semantics: opportunism or courage?

The generalized models for higher-order logics introduced by Leon Henkin, and their multiple offspring over the years, have become a standard tool in many areas of logic. Even so, discussion has persisted about their technical status, and perhaps even their conceptual legitimacy. This paper gives a systematic view of generalized model techniques, discusses what they mean in mathematical and philosophical terms, and presents a few technical themes and results about their role in algebraic representation, calibrating provability, lowering complexity, understanding fixed-point logics, and achieving set-theoretic absoluteness. We also show how thinking about Henkin's approach to semantics of logical systems in this generality can yield new results, dispelling the impression of adhocness. This paper is dedicated to Leon Henkin, a deep logician who has changed the way we all work, while also being an always open, modest, and encouraging colleague and friend.Comment: 27 pages. To appear in: The life and work of Leon Henkin: Essays on his contributions (Studies in Universal Logic) eds: Manzano, M., Sain, I. and Alonso, E., 201