Continuous theory of operator expansions of finite dimensional Hilbert spaces and decidability

Mathematical Logic Quarterly (forthcoming)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.202000013

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,225

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Hilbert spaces expanded with a unitary operator.Camilo Argoty & Alexander Berenstein - 2009 - Mathematical Logic Quarterly 55 (1):37-50.
The Axiom of Choice in Quantum Theory.Norbert Brunner, Karl Svozil & Matthias Baaz - 1996 - Mathematical Logic Quarterly 42 (1):319-340.
An approximate Herbrand’s theorem and definable functions in metric structures.Isaac Goldbring - 2012 - Mathematical Logic Quarterly 58 (3):208-216.
Model theory of a Hilbert space expanded with an unbounded closed selfadjoint operator.Camilo Enrique Argoty Pulido - 2014 - Mathematical Logic Quarterly 60 (6):403-424.
Decidability of the Equational Theory of the Continuous Geometry CG(\Bbb {F}).John Harding - 2013 - Journal of Philosophical Logic 42 (3):461-465.
Definable Operators on Hilbert Spaces.Isaac Goldbring - 2012 - Notre Dame Journal of Formal Logic 53 (2):193-201.
A Finite Hilbert‐Style Axiomatization of the Implication‐Less Fragment of the Intuitionistic Propositional Calculus.Jordi Rebagliato & Ventura Verdú - 1994 - Mathematical Logic Quarterly 40 (1):61-68.
The SB-property on metric structures.Camilo Argoty, Alexander Berenstein & Nicolás Cuervo Ovalle - forthcoming - Archive for Mathematical Logic:1-29.
On Some Dynamics in Conceptual Spaces.Piotr Lisowski & Roman Urban - 2024 - Journal of Logic, Language and Information 33 (4):339-361.
Imaginaries in Hilbert spaces.Itay Ben-Yaacov & Alexander Berenstein - 2004 - Archive for Mathematical Logic 43 (4):459-466.

Analytics

Added to PP
2021-04-29

Downloads
8 (#1,579,186)

6 months
3 (#1,470,822)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Hyperlinear and sofic groups: a brief guide.Vladimir G. Pestov - 2008 - Bulletin of Symbolic Logic 14 (4):449-480.
Pseudofinite and Pseudocompact Metric Structures.Isaac Goldbring & Vinicius Cifú Lopes - 2015 - Notre Dame Journal of Formal Logic 56 (3):493-510.
Hilbert spaces expanded with a unitary operator.Camilo Argoty & Alexander Berenstein - 2009 - Mathematical Logic Quarterly 55 (1):37-50.
The model theory of modules of a C*-algebra.Camilo Argoty - 2013 - Archive for Mathematical Logic 52 (5-6):525-541.

View all 9 references / Add more references