Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-05T17:50:08.999730Z
Paper Citation Record · LEDGER
Orthocomplemented subspaces and partial projections on a Hilbert space
As of 19 August 2026, this Paper Citation Record lists 63 of 63 outbound references and 0 inbound Pith citation observations for arXiv:2508.15906.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-19T06:32:44.657259+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
63 of 63 outbound references displayed
- verified exact4
- verified fuzzy37
- unresolved22
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 79518ce2-31d1-42f3-8174-38a3c1b0b980 · outbound
This paper cites Aczel, M.
Orthocomplemented subspaces and partial projections on a Hilbert space Aczel, M
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T17:50:17.558344Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 8fdff0fb-2bb0-4657-a016-e788b3d3d3e8 · outbound
This paper cites Birkhoff, J.
Orthocomplemented subspaces and partial projections on a Hilbert space Birkhoff, J
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T17:50:17.546435Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 36238f29-48f6-4327-8877-550cd6eaccf4 · outbound
This paper cites Bishop: Foundations of Constructive Analysis, McGraw-Hill, 1967.
Orthocomplemented subspaces and partial projections on a Hilbert space Bishop: Foundations of Constructive Analysis, McGraw-Hill, 1967
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T17:50:17.535094Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 95bdccf8-206b-45d8-9923-70064b192ed2 · outbound
This paper cites Bishop, H.
Orthocomplemented subspaces and partial projections on a Hilbert space Bishop, H
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T17:50:17.523367Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation babfb4b0-3dd2-480d-86c1-b2be95b3fa91 · outbound
This paper cites Bishop, D.
Orthocomplemented subspaces and partial projections on a Hilbert space Bishop, D
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T17:50:17.511609Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 2c948155-34e0-4dd0-abe4-b5cc5b74aa08 · outbound
This paper cites an unresolved cited work.
Orthocomplemented subspaces and partial projections on a Hilbert space Unresolved cited work
Reference 6
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T17:50:17.499765Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 69798914-28ba-428b-b77d-f0da646901f5 · outbound
This paper cites Bridges: Towards a constructive foundation for quantum mechanics.
Orthocomplemented subspaces and partial projections on a Hilbert space Bridges: Towards a constructive foundation for quantum mechanics
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T17:50:17.487136Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 52be9a4b-299d-4700-af48-0d8b38159ed4 · outbound
This paper cites an unresolved cited work.
Orthocomplemented subspaces and partial projections on a Hilbert space Unresolved cited work
Reference 8
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T17:50:17.474522Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 2dd41c78-5a57-4790-bcf9-1b6ba4f6978e · outbound
This paper cites an unresolved cited work.
Orthocomplemented subspaces and partial projections on a Hilbert space Unresolved cited work
Reference 9
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T17:50:17.462396Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation b7651335-86d5-472f-84d0-5118fcd03025 · outbound
This paper cites an unresolved cited work.
Orthocomplemented subspaces and partial projections on a Hilbert space Unresolved cited work
Reference 10
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T17:50:17.450003Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 362acfdc-76e3-4399-91f0-23a1be237fcd · outbound
This paper cites an unresolved cited work.
Orthocomplemented subspaces and partial projections on a Hilbert space Unresolved cited work
Reference 11
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T17:50:17.437874Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 69c56f65-81f3-46ea-9708-caac5f32c66a · outbound
This paper cites an unresolved cited work.
Orthocomplemented subspaces and partial projections on a Hilbert space Unresolved cited work
Reference 12
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T17:50:17.425117Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 7837046c-56a0-4108-8701-44a2429e04b1 · outbound
This paper cites Ciraulo and G.
Orthocomplemented subspaces and partial projections on a Hilbert space Ciraulo and G
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T17:50:17.413173Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 87c64d27-04eb-492f-a1f0-a3cc67681bb6 · outbound
This paper cites an unresolved cited work.
Orthocomplemented subspaces and partial projections on a Hilbert space Unresolved cited work
Reference 14
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T17:50:17.401412Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation ab1c8dd8-cb02-4d62-af0e-c5738a34774c · outbound
This paper cites Hidden constructions in abstract algebra, Krull Dimension, Going Up, Going Down.
Orthocomplemented subspaces and partial projections on a Hilbert space Hidden constructions in abstract algebra, Krull Dimension, Going Up, Going Down
Reference 15
- Resolution
- verified exact
- local_arxiv, observed 2026-08-05T17:50:09.750533Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 86a12044-617a-47fe-9416-2fe4626cf606 · outbound
This paper cites an unresolved cited work.
Orthocomplemented subspaces and partial projections on a Hilbert space Unresolved cited work
Reference 16
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T17:50:17.389231Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 8704821c-b7c5-46fe-b973-425f993cb4fc · outbound
This paper cites Engesser, D.
Orthocomplemented subspaces and partial projections on a Hilbert space Engesser, D
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T17:50:17.377040Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 3c141b60-3790-43c4-8c59-2eb1989c0e96 · outbound
This paper cites Constructive Reverse Mathematics.
Orthocomplemented subspaces and partial projections on a Hilbert space Constructive Reverse Mathematics
Reference 18
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T17:50:05.171889Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3acee3e7-bdce-4827-a9a4-8f686d92057b · outbound
This paper cites Feferman: Constructive Theories of Functions and Classes, in Boffa et.
Orthocomplemented subspaces and partial projections on a Hilbert space Feferman: Constructive Theories of Functions and Classes, in Boffa et
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T17:50:17.321394Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 548d30af-1602-413c-b494-2acd1bb7ebb8 · outbound
This paper cites an unresolved cited work.
Orthocomplemented subspaces and partial projections on a Hilbert space Unresolved cited work
Reference 20
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T17:50:17.118848Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 9b87a852-94ac-4c7b-a15d-5a9323d26e41 · outbound
This paper cites Goldberg: Unbounded Linear Operators: Theory and Applications, McGraw-Hill, 1966.
Orthocomplemented subspaces and partial projections on a Hilbert space Goldberg: Unbounded Linear Operators: Theory and Applications, McGraw-Hill, 1966
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T17:50:16.937592Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation c8e47ff6-dc8d-42b3-ba49-ba31ff7ae925 · outbound
This paper cites an unresolved cited work.
Orthocomplemented subspaces and partial projections on a Hilbert space Unresolved cited work
Reference 22
- Resolution
- verified exact
- doi, observed 2026-08-05T17:50:09.373265Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 377dbfc7-e8f0-412a-8707-d30017490e4c · outbound
This paper cites an unresolved cited work.
Orthocomplemented subspaces and partial projections on a Hilbert space Unresolved cited work
Reference 23
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T17:50:16.743303Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 756a667d-17eb-4725-8bda-4cba5521d4dd · outbound
This paper cites an unresolved cited work.
Orthocomplemented subspaces and partial projections on a Hilbert space Unresolved cited work
Reference 24
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T17:50:16.513050Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation e9c547bf-c86b-4a0c-b8f5-c0f32b539e8d · outbound
This paper cites an unresolved cited work.
Orthocomplemented subspaces and partial projections on a Hilbert space Unresolved cited work
Reference 25
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T17:50:16.345911Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation e13f3fc3-9282-4c7d-b68c-8940d5fea6e4 · outbound
This paper cites Landsman: Foundations of Quantum Theory, From Classical Concepts to Operator Algebras, Springer, 2017.
Orthocomplemented subspaces and partial projections on a Hilbert space Landsman: Foundations of Quantum Theory, From Classical Concepts to Operator Algebras, Springer, 2017
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T17:50:16.108865Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 0e268a4d-1300-4023-842a-9e7201dbf334 · outbound
This paper cites A categorical derivation of Lebesgue integration.
Orthocomplemented subspaces and partial projections on a Hilbert space A categorical derivation of Lebesgue integration
Reference 28
- Resolution
- verified exact
- local_arxiv, observed 2026-08-05T17:50:09.548897Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 7752b2b2-324a-45a3-b729-c99995f77b7e · outbound
This paper cites an unresolved cited work.
Orthocomplemented subspaces and partial projections on a Hilbert space Unresolved cited work
Reference 29
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T17:50:15.898829Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation eff10b6f-476d-468a-9ddf-318a3dca0675 · outbound
This paper cites Mines, F.
Orthocomplemented subspaces and partial projections on a Hilbert space Mines, F
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T17:50:15.739495Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation b816c899-80b9-4315-bf07-6c0214ceef0a · outbound
This paper cites Misselbeck-Wessel, I.
Orthocomplemented subspaces and partial projections on a Hilbert space Misselbeck-Wessel, I
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T17:50:15.432150Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation ae9c7ec4-0b58-46ca-8339-cf12c8d519e8 · outbound
This paper cites Misselbeck-Wessel, I.
Orthocomplemented subspaces and partial projections on a Hilbert space Misselbeck-Wessel, I
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T17:50:15.114212Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 05780edd-7297-43f5-9722-808bda787c9c · outbound
This paper cites Misselbeck-Wessel, I.
Orthocomplemented subspaces and partial projections on a Hilbert space Misselbeck-Wessel, I
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T17:50:14.797077Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 4a15371d-6220-4f35-823d-2e698dedee57 · outbound
This paper cites Misselbeck-Wessel, I.
Orthocomplemented subspaces and partial projections on a Hilbert space Misselbeck-Wessel, I
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T17:50:14.466676Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 61bb9e60-c91c-4ed0-9a5f-9434e4cc3ea2 · outbound
This paper cites Myhill: Constructive Set Theory, J.
Orthocomplemented subspaces and partial projections on a Hilbert space Myhill: Constructive Set Theory, J
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T17:50:14.088281Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 3cdfc862-b3e2-4758-b03e-fb8b76f0a13b · outbound
This paper cites Palmgren: Constructivist and structuralist foundations: Bishop’s and Lawvere’s theories of sets, Annals of Pure and Applied Logic 163, 2012, 1384–1399.
Orthocomplemented subspaces and partial projections on a Hilbert space Palmgren: Constructivist and structuralist foundations: Bishop’s and Lawvere’s theories of sets, Annals of Pure and Applied Logic 163, 2012, 1384–1399
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T17:50:13.724991Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 6cf2d4dc-c375-4af4-a84e-49aaeb939fe6 · outbound
This paper cites Palmgren: Bishop-style constructive mathematics in type theory - A tutorial, Slides, 2013.
Orthocomplemented subspaces and partial projections on a Hilbert space Palmgren: Bishop-style constructive mathematics in type theory - A tutorial, Slides, 2013
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T17:50:13.412042Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 762d8114-b7a9-4952-bca7-890f96f11f16 · outbound
This paper cites Palmgren: Lecture Notes on Type Theory, manuscript, 2014.
Orthocomplemented subspaces and partial projections on a Hilbert space Palmgren: Lecture Notes on Type Theory, manuscript, 2014
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T17:50:13.088283Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation d4a11c29-92b8-4590-9689-ed24bf7941dc · outbound
This paper cites Palmgren, O.
Orthocomplemented subspaces and partial projections on a Hilbert space Palmgren, O
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T17:50:12.786179Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 338f9a7f-db57-4578-9927-1e4959b7dd26 · outbound
This paper cites Palmgren: Constructions of categories of setoids from proof-irrelevant families, Archive for Mathematical Logic 56, 2017, 51–66.
Orthocomplemented subspaces and partial projections on a Hilbert space Palmgren: Constructions of categories of setoids from proof-irrelevant families, Archive for Mathematical Logic 56, 2017, 51–66
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T17:50:12.679677Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 256a38c5-a6ba-4d60-9f98-39df60b118ac · outbound
This paper cites Palmgren: From type theory to setoids and back, preprint, 2019.
Orthocomplemented subspaces and partial projections on a Hilbert space Palmgren: From type theory to setoids and back, preprint, 2019
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T17:50:12.492978Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 203f606d-234a-4f2b-9c36-0baa9f9f3c33 · outbound
This paper cites Pavicic, N.
Orthocomplemented subspaces and partial projections on a Hilbert space Pavicic, N
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T17:50:12.351031Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 6df73c89-45f9-4d76-b75f-92e15377ae23 · outbound
This paper cites Petrakis: Borel and Baire sets in Bishop Spaces, in F.
Orthocomplemented subspaces and partial projections on a Hilbert space Petrakis: Borel and Baire sets in Bishop Spaces, in F
Reference 43
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T17:50:12.208558Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 83617249-c178-4b1a-b75c-938b515bbb84 · outbound
This paper cites Petrakis: Families of Sets in Bishop Set Theory, Habilitationsschrift, LMU, Munich, 2020, available athttps://www.mathematik.uni-muenchen.de/~petrakis/content/Theses.php.
Orthocomplemented subspaces and partial projections on a Hilbert space Petrakis: Families of Sets in Bishop Set Theory, Habilitationsschrift, LMU, Munich, 2020, available athttps://www.mathematik.uni-muenchen.de/~petrakis/content/Theses.php
Reference 44
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T17:50:12.074551Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation f0bd4161-386c-46a0-a535-8292534f039e · outbound
This paper cites Petrakis: Proof-relevance in Bishop-style constructive mathematics, Mathematical Structures in Computer Science, Volume 32, Issue 1, 2022, 1–43.
Orthocomplemented subspaces and partial projections on a Hilbert space Petrakis: Proof-relevance in Bishop-style constructive mathematics, Mathematical Structures in Computer Science, Volume 32, Issue 1, 2022, 1–43
Reference 45
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T17:50:07.136447Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c3e6f829-689d-4aac-8d9e-ee80eb1124d4 · outbound
This paper cites Petrakis: Sets Completely Separated by Functions in Bishop Set Theory, Notre Dame Journal of Formal Logic, 65(2): 151-180 (May 2024) DOI: 10.1215/00294527-2024-0010.
Orthocomplemented subspaces and partial projections on a Hilbert space Petrakis: Sets Completely Separated by Functions in Bishop Set Theory, Notre Dame Journal of Formal Logic, 65(2): 151-180 (May 2024) DOI: 10.1215/00294527-2024-0010
Reference 46
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T17:50:07.238370Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f6189504-bb94-4e73-a874-8bf47d845adf · outbound
This paper cites Petrakis: The apart algebra of regular closed sets, in preparation, 2025.
Orthocomplemented subspaces and partial projections on a Hilbert space Petrakis: The apart algebra of regular closed sets, in preparation, 2025
Reference 47
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T17:50:11.946321Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 9efb4685-c8f8-4ebc-acd7-a27c2593cf28 · outbound
This paper cites Topologies of open complemented subsets.
Orthocomplemented subspaces and partial projections on a Hilbert space Topologies of open complemented subsets
Reference 48
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T17:50:07.418976Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e670c51d-2547-4e98-8c93-2fab07c7f4ee · outbound
This paper cites Petrakis, D.
Orthocomplemented subspaces and partial projections on a Hilbert space Petrakis, D
Reference 49
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T17:50:11.815777Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 79707787-e18f-468a-b963-d90db78fb689 · outbound
This paper cites Petrakis, M.
Orthocomplemented subspaces and partial projections on a Hilbert space Petrakis, M
Reference 50
- Resolution
- verified exact
- doi, observed 2026-08-05T17:50:09.188220Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 23c2e094-ca23-4f1b-83a4-dc41bc0fa6bb · outbound
This paper cites Piron: Foundations of Quantum Physics, W.A.
Orthocomplemented subspaces and partial projections on a Hilbert space Piron: Foundations of Quantum Physics, W.A
Reference 51
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T17:50:11.660905Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation a2d5e37e-eca3-491c-b529-e13532a1bd9e · outbound
This paper cites Richman: Gleason’s theorem has a constructive proof.
Orthocomplemented subspaces and partial projections on a Hilbert space Richman: Gleason’s theorem has a constructive proof
Reference 52
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T17:50:11.490335Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation f3093f20-6244-4859-b9c2-91489f62e3d0 · outbound
This paper cites Richman: Constructive mathematics without choice, in P.
Orthocomplemented subspaces and partial projections on a Hilbert space Richman: Constructive mathematics without choice, in P
Reference 53
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T17:50:11.369900Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 63b4ef21-f0be-4ff4-a1d7-644384636778 · outbound
This paper cites Richman: Algebraic Functions, Calculus Style, Communications in Algebra, 40, 2012, 2671– 2683.
Orthocomplemented subspaces and partial projections on a Hilbert space Richman: Algebraic Functions, Calculus Style, Communications in Algebra, 40, 2012, 2671– 2683
Reference 54
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T17:50:11.252752Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 200596e6-f9cf-4bd4-9651-5b4a7a9b4c3c · outbound
This paper cites Richman, D.
Orthocomplemented subspaces and partial projections on a Hilbert space Richman, D
Reference 55
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T17:50:11.077511Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 0218205b-f304-4b7d-a956-91274bdf0680 · outbound
This paper cites Introduction to Homotopy Type Theory.
Orthocomplemented subspaces and partial projections on a Hilbert space Introduction to Homotopy Type Theory
Reference 56
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T17:50:08.188596Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 91962ce3-394e-4fba-95ec-ecc1a4f641af · outbound
This paper cites Shulman: Affine logic for constructive mathematics, The Bulletin of Symbolic Logic, Volume 28, Number 3, 2022, 327–386.
Orthocomplemented subspaces and partial projections on a Hilbert space Shulman: Affine logic for constructive mathematics, The Bulletin of Symbolic Logic, Volume 28, Number 3, 2022, 327–386
Reference 57
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T17:50:10.943318Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation fd5c25aa-4570-4251-81ea-ac73c13c2ae6 · outbound
This paper cites an unresolved cited work.
Orthocomplemented subspaces and partial projections on a Hilbert space Unresolved cited work
Reference 58
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T17:50:10.829030Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation bf750568-9f38-4361-91a2-e7cd30e2d4e5 · outbound
This paper cites Spitters: Constructive results on operator algebras, Journal of Universal Computer Science, 12, 2005, 2096–2113.
Orthocomplemented subspaces and partial projections on a Hilbert space Spitters: Constructive results on operator algebras, Journal of Universal Computer Science, 12, 2005, 2096–2113
Reference 59
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T17:50:10.661328Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation b4e0640c-d61f-4f26-a6a8-e4c1e4c8cd05 · outbound
This paper cites an unresolved cited work.
Orthocomplemented subspaces and partial projections on a Hilbert space Unresolved cited work
Reference 60
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T17:50:10.517893Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation c693f2bb-8a5d-4a86-b0bc-40d1b245f804 · outbound
This paper cites an unresolved cited work.
Orthocomplemented subspaces and partial projections on a Hilbert space Unresolved cited work
Reference 61
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T17:50:10.362558Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 1559ee7d-f6af-4866-acf4-978efc9c8831 · outbound
This paper cites an unresolved cited work.
Orthocomplemented subspaces and partial projections on a Hilbert space Unresolved cited work
Reference 62
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T17:50:10.198989Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation a3e6ddea-be2b-4684-8956-b3a14c81c382 · outbound
This paper cites Ye: Toward a constructive theory of unbounded linear operators, The Journal of Symbolic Logic, 65 (1), 357–370.
Orthocomplemented subspaces and partial projections on a Hilbert space Ye: Toward a constructive theory of unbounded linear operators, The Journal of Symbolic Logic, 65 (1), 357–370
Reference 63
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T17:50:10.071426Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 1b6e7cf9-274c-4c78-af7d-053faaa60215 · outbound
This paper cites Ye:Strict Finitism and the Logic of Mathematical Applications, Synthese Library 355, Springer, 2011.
Orthocomplemented subspaces and partial projections on a Hilbert space Ye:Strict Finitism and the Logic of Mathematical Applications, Synthese Library 355, Springer, 2011
Reference 64
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T17:50:09.890861Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Pith citing papers
No inbound Pith citation observations are available.