FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1973671322> ?p ?o ?g. }

• W1973671322 endingPage "648" @default.
• W1973671322 startingPage "625" @default.
• W1973671322 abstract "Abstract In 1981, Takeuti introduced quantum set theory as the quantum counterpart of Boolean valued models of set theory by constructing a model of set theory based on quantum logic represented by the lattice of closed subspaces in a Hilbert space and showed that appropriate quantum counterparts of ZFC axioms hold in the model. Here, Takeuti's formulation is extended to construct a model of set theory based on the logic represented by the lattice of projections in an arbitrary von Neumann algebra. A transfer principle is established that enables us to transfer theorems of ZFC to their quantum counterparts holding in the model. The set of real numbers in the model is shown to be in one-to-one correspondence with the set of self-adjoint operators affiliated with the von Neumann algebra generated by the logic. Despite the difficulty pointed out by Takeuti that equality axioms do not generally hold in quantum set theory, it is shown that equality axioms hold for any real numbers in the model. It is also shown that any observational proposition in quantum mechanics can be represented by a corresponding statement for real numbers in the model with the truth value consistent with the standard formulation of quantum mechanics, and that the equality relation between two real numbers in the model is equivalent with the notion of perfect correlation between corresponding observables (self-adjoint operators) in quantum mechanics. The paper is concluded with some remarks on the relevance to quantum set theory of the choice of the implication connective in quantum logic." @default.
• W1973671322 created "2016-06-24" @default.
• W1973671322 creator A5012776160 @default.
• W1973671322 date "2007-06-01" @default.
• W1973671322 modified "2023-10-14" @default.
• W1973671322 title "Transfer principle in quantum set theory" @default.
• W1973671322 cites W1373504 @default.
• W1973671322 cites W1546676876 @default.
• W1973671322 cites W1576780498 @default.
• W1973671322 cites W1716023022 @default.
• W1973671322 cites W1966405430 @default.
• W1973671322 cites W1973152825 @default.
• W1973671322 cites W1981687653 @default.
• W1973671322 cites W2017393363 @default.
• W1973671322 cites W2044007958 @default.
• W1973671322 cites W2054772075 @default.
• W1973671322 cites W2073987948 @default.
• W1973671322 cites W2077672278 @default.
• W1973671322 cites W2115456387 @default.
• W1973671322 cites W2123067491 @default.
• W1973671322 cites W2170041071 @default.
• W1973671322 cites W3098253618 @default.
• W1973671322 cites W3126996113 @default.
• W1973671322 cites W4241467129 @default.
• W1973671322 cites W4298228909 @default.
• W1973671322 cites W639882655 @default.
• W1973671322 doi "https://doi.org/10.2178/jsl/1185803627" @default.
• W1973671322 hasPublicationYear "2007" @default.
• W1973671322 type Work @default.
• W1973671322 sameAs 1973671322 @default.
• W1973671322 citedByCount "30" @default.
• W1973671322 countsByYear W19736713222012 @default.
• W1973671322 countsByYear W19736713222013 @default.
• W1973671322 countsByYear W19736713222014 @default.
• W1973671322 countsByYear W19736713222015 @default.
• W1973671322 countsByYear W19736713222016 @default.
• W1973671322 countsByYear W19736713222017 @default.
• W1973671322 countsByYear W19736713222018 @default.
• W1973671322 countsByYear W19736713222019 @default.
• W1973671322 countsByYear W19736713222020 @default.
• W1973671322 countsByYear W19736713222021 @default.
• W1973671322 countsByYear W19736713222022 @default.
• W1973671322 countsByYear W19736713222023 @default.
• W1973671322 crossrefType "journal-article" @default.
• W1973671322 hasAuthorship W1973671322A5012776160 @default.
• W1973671322 hasBestOaLocation W19736713222 @default.
• W1973671322 hasConcept C102565666 @default.
• W1973671322 hasConcept C105295557 @default.
• W1973671322 hasConcept C11255438 @default.
• W1973671322 hasConcept C118615104 @default.
• W1973671322 hasConcept C121332964 @default.
• W1973671322 hasConcept C136119220 @default.
• W1973671322 hasConcept C15184713 @default.
• W1973671322 hasConcept C169460222 @default.
• W1973671322 hasConcept C177264268 @default.
• W1973671322 hasConcept C179957908 @default.
• W1973671322 hasConcept C190474826 @default.
• W1973671322 hasConcept C199360897 @default.
• W1973671322 hasConcept C202444582 @default.
• W1973671322 hasConcept C33923547 @default.
• W1973671322 hasConcept C41008148 @default.
• W1973671322 hasConcept C43682372 @default.
• W1973671322 hasConcept C58053490 @default.
• W1973671322 hasConcept C62520636 @default.
• W1973671322 hasConcept C62799726 @default.
• W1973671322 hasConcept C84114770 @default.
• W1973671322 hasConceptScore W1973671322C102565666 @default.
• W1973671322 hasConceptScore W1973671322C105295557 @default.
• W1973671322 hasConceptScore W1973671322C11255438 @default.
• W1973671322 hasConceptScore W1973671322C118615104 @default.
• W1973671322 hasConceptScore W1973671322C121332964 @default.
• W1973671322 hasConceptScore W1973671322C136119220 @default.
• W1973671322 hasConceptScore W1973671322C15184713 @default.
• W1973671322 hasConceptScore W1973671322C169460222 @default.
• W1973671322 hasConceptScore W1973671322C177264268 @default.
• W1973671322 hasConceptScore W1973671322C179957908 @default.
• W1973671322 hasConceptScore W1973671322C190474826 @default.
• W1973671322 hasConceptScore W1973671322C199360897 @default.
• W1973671322 hasConceptScore W1973671322C202444582 @default.
• W1973671322 hasConceptScore W1973671322C33923547 @default.
• W1973671322 hasConceptScore W1973671322C41008148 @default.
• W1973671322 hasConceptScore W1973671322C43682372 @default.
• W1973671322 hasConceptScore W1973671322C58053490 @default.
• W1973671322 hasConceptScore W1973671322C62520636 @default.
• W1973671322 hasConceptScore W1973671322C62799726 @default.
• W1973671322 hasConceptScore W1973671322C84114770 @default.
• W1973671322 hasIssue "2" @default.
• W1973671322 hasLocation W19736713221 @default.
• W1973671322 hasLocation W19736713222 @default.
• W1973671322 hasLocation W19736713223 @default.
• W1973671322 hasOpenAccess W1973671322 @default.
• W1973671322 hasPrimaryLocation W19736713221 @default.
• W1973671322 hasRelatedWork W1973671322 @default.
• W1973671322 hasRelatedWork W1975652086 @default.
• W1973671322 hasRelatedWork W1981687653 @default.
• W1973671322 hasRelatedWork W1981925145 @default.
• W1973671322 hasRelatedWork W1990558556 @default.
• W1973671322 hasRelatedWork W2076528898 @default.

• next