scientific article; zbMATH DE number 6917933

DOI10.23638/LMCS-14(2:14)2018MaRDI QIDQ4580318zbMATH OpenFDO

Authors Eike Neumann, Martin Pape, Thomas Streicher

Publication date 15 August 2018

Full work available at URL https://arxiv.org/abs/1610.09209

Mathematics Subject Classification ID

Computation over the reals, computable analysis (03D78) Categorical semantics of formal languages (18C50) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Recommendations

• Self-adjoint operators as functions. I: Lattices, Galois connections, and the spectral order
• Towards a paraconsistent quantum set theory
• Categorical equivalence between orthomodular dynamic algebras and complete orthomodular lattices
• Admissibly Represented Spaces and Qcb-Spaces
• On the structure of abstract H^*-algebras
• Spectral presheaves, Kochen-Specker contextuality, and quantale-valued relations
• A topos for algebraic quantum theory
• Different orthomodular orthocomplementations on a lattice
• A comparison of two topos-theoretic approaches to quantum theory
• Topos-theoretic extension of a modal interpretation of quantum mechanics

Cites work

• A convenient category of domains
• Admissible representations for probability measures
• Computability of the spectrum of self-adjoint operators
• Computational effects in topological domain theory
• Computational problems in metric fixed point theory and their Weihrauch degrees
• Computer Science Logic
• Computing Schrödinger propagators on type-2 Turing machines
• Continuous Lattices and Domains
• Domain-Theoretic Foundations of Functional Programming
• scientific article; zbMATH DE number 3128586 (Why is no real title available?)
• scientific article; zbMATH DE number 408814 (Why is no real title available?)
• scientific article; zbMATH DE number 1354815 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• scientific article; zbMATH DE number 2183393 (Why is no real title available?)
• scientific article; zbMATH DE number 3216177 (Why is no real title available?)
• scientific article; zbMATH DE number 3233216 (Why is no real title available?)
• scientific article; zbMATH DE number 3345789 (Why is no real title available?)
• scientific article; zbMATH DE number 3186734 (Why is no real title available?)
• Integrals and valuations
• Orthomodular structures as quantum logics. Transl. from the Slovak
• Realizability. An introduction to its categorical side
• What Does the Spectral Theorem Say?

Cited in

(5)

• On an ad hoc computability structure in a Hilbert space
• Recursivity in Quantum Mechanics
• Necessary and Sufficient Conditions for Quantum Computation
• Spectral representation of some computably enumerable sets with an application to quantum provability
• Complementarity in finite quantum mechanics and computer-aided computations of complementary observables

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4580318)