{"as_of":"2026-08-13T00:39:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:69c4c302e49300cd5ebbc03bd6c105552c1bdf9b17205b844efa7d29f7994d23","coverage":[{"denominator":81,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":81,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T13:10:41.777613Z","state":"measured"},{"denominator":81,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":81,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-12T06:34:41.77262+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2411.16469/citation-record","integrity":"/paper/2411.16469/integrity","json":"/paper/2411.16469/citation-record.json","paper":"/paper/2411.16469"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1080/01445348308837054","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:42.041022Z","title":"Aus dem B riefwechsel W ilhelm A ckermanns","venue":null,"work_id":"c23e3a25-01ff-4fc7-b71b-f074bd089bb3","year":1983},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.390513Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:d487118a8bccbdf787e58bfbaef28cac0bbd77bdaeedfe992066ecfe3ddf4bef","observation_id":"60bfdbec-a9ca-4cbb-92fe-ce95a3e091e3","resolution":{"observed_at":"2026-08-12T13:10:42.046692Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:41.395663Z","title":"Review of hallett84","venue":null,"work_id":null,"year":1986},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.395663Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:10da3a4b38ac40f188551f59392ce7e6383ca1bcd04c45b06bd63ced2760fbfd","observation_id":"4ccdeebd-7efe-46a7-a08c-d945eb8ed038","resolution":{"observed_at":"2026-08-12T13:10:41.395663Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:44.476250Z","title":"Review of pollardbole87","venue":null,"work_id":"3dc04348-b6e3-422f-af8f-131a49717447","year":1991},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.400461Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:42ca4e77030334da70ae5551e9abbe17bc25c9aa8d3f8ea7885e718a56ca5b6a","observation_id":"110f8da4-5966-4898-944f-c0f93b47a18a","resolution":{"observed_at":"2026-08-12T13:10:44.482471Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:44.459627Z","title":"Review of largeault94","venue":null,"work_id":"1dd7ebce-9687-49f6-b576-46e9855024ba","year":1997},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.405125Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:73a96c591992298b76feee56e33711735142cc1512353fe0212e259ff02a37f9","observation_id":"d14190b7-ab7a-4eb2-a14e-47f99be27f15","resolution":{"observed_at":"2026-08-12T13:10:44.464508Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:44.442871Z","title":"Review of silva97","venue":null,"work_id":"cbbf3f7e-661c-40e1-8af5-57bcbccbdcd6","year":1998},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.409920Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:ef7629756293d4f8d208490cd32fbda8829bfb6939890d2bb9f9c8a7676be225","observation_id":"35a1a357-14f4-4144-82bc-022925c883d7","resolution":{"observed_at":"2026-08-12T13:10:44.449193Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:44.426223Z","title":"Review of hale00","venue":null,"work_id":"09e8d74f-21c2-430d-a015-9de12823ffbe","year":2001},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.414602Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:ef159741d3fecd293e753197179b1e1366c7be4a78f982e2aca9355ffd644260","observation_id":"d316f399-8b50-4195-a532-5fdcdea32d70","resolution":{"observed_at":"2026-08-12T13:10:44.431571Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1163/9789004333215_003","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:42.023027Z","title":"Adventures of abstraction","venue":null,"work_id":"244374a1-b302-4207-bb42-f1b3c2e54af8","year":2004},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.419678Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:9ee83518c233a603b09f5e3ba4a41d3fc3050799c2561f59b17af7a4b05dc6ab","observation_id":"d2314cde-be9c-4502-9e3d-d3037a7c2ad8","resolution":{"observed_at":"2026-08-12T13:10:42.028232Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"stable/2452460","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:43.742466Z","title":null,"venue":null,"work_id":"732c8908-a235-4bb1-9115-f4b581c1c8e6","year":1956},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.424145Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:27d7fd2b958b53adcd55acc561de93ffbfae0912b4fff25fa5ce45831c8758ea","observation_id":"0e172ef6-d655-4e9f-b63f-79c1900a3fb7","resolution":{"observed_at":"2026-08-12T13:10:43.749829Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1515/kant.1957.48.1-4.437","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:42.007900Z","title":"Review of lorenzen55","venue":null,"work_id":"339da449-6585-450f-a5cd-2f66b2fae7ad","year":1957},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.428690Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:181eac8f00c5726a98c8c7224aba07770c19194d341b2d8d81d4d598304fc8cb","observation_id":"29b38c97-b5a4-4663-9807-cc85eeb3b85e","resolution":{"observed_at":"2026-08-12T13:10:42.013125Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:44.410333Z","title":"David Hilbert and Paul Bernays: Foundations of Mathematics, Vol","venue":null,"work_id":"f092006b-4402-40fa-9671-0fa994406469","year":1934},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.433856Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:c0c8cea047e34164ac1c851818b8aa86d6f13e961bf195fb18eb6b6e14555133","observation_id":"2a58a4dc-5b00-4859-9b5a-ae3398ab9cc4","resolution":{"observed_at":"2026-08-12T13:10:44.415906Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:41.438245Z","title":"Foundations of constructive analysis","venue":null,"work_id":null,"year":1967},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.438245Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:eb22717fcd39a1193980ed6c6e3ec330b07e46689c0e6b1a4d0a19bf2a31c3fe","observation_id":"76d9fb19-e071-4fa0-89f3-11225bc10856","resolution":{"observed_at":"2026-08-12T13:10:41.438245Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:44.381826Z","title":"Granice nauki: zarys logiki i metodologji nauk \\'s cis ych","venue":null,"work_id":"959fb9f1-08ce-42bd-8a2a-7f48a27d70d1","year":1935},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.442506Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:d1900e13da950390af8b877169058221a3ba9142fdd7de9af88f1baf4cd454ba","observation_id":"a6a00cad-7834-47cd-97c8-4d8c9eb57119","resolution":{"observed_at":"2026-08-12T13:10:44.387295Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:44.367013Z","title":"The limits of science: outline of logic and of the methodology of the exact sciences","venue":null,"work_id":"2f559184-2f67-4c1a-95d3-6d0e24f0eda3","year":1948},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.447347Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:836edaa04ce9778a0c6c375c476913a006cd95c84b15193823c1bf1079bb5c20","observation_id":"4a490f34-6d34-421b-b7af-f06b66dae510","resolution":{"observed_at":"2026-08-12T13:10:44.372015Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:44.351958Z","title":"Lorenzen and constructive mathematics","venue":null,"work_id":"b7b13035-2abc-4c10-948b-c6e3b0647384","year":2021},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.452454Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:f4b8c765bd56d393851233b4fafd65caf252e16de9108015ebe8417626a750f6","observation_id":"a8943ed9-724a-4871-922c-8bbb6a22b6d3","resolution":{"observed_at":"2026-08-12T13:10:44.356649Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1711.06139","last_updated":"2024-11-25T16:35:56Z","snapshot_observed_at":"2026-07-06T06:09:50.743518Z","submitted_at":"2017-11-14T21:45:23Z","title":"An introduction to Lorenzen's \"Algebraic and logistic investigations on free lattices\" (1951)","version":3},"cited_work":{"arxiv_id":"1711.06139","doi":null,"metadata_source":"pith","pith_arxiv_id":"1711.06139","snapshot_observed_at":"2026-08-12T13:10:43.567345Z","title":"An introduction to Lorenzen's \"Algebraic and logistic investigations on free lattices\" (1951)","venue":"math.LO","work_id":"7db661bc-ac49-45b6-87ab-66dc037d38f7","year":2017},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.461143Z"},"links":{"cited_paper":"/paper/1711.06139","citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:293887373893b2a3a9aacf5f17e6b0292a12348fe0e41373d4b17d5b7791530d","observation_id":"ef93f041-8d5a-46ea-86a4-e0c1bd62b66f","resolution":{"observed_at":"2026-08-12T13:10:43.573124Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s001530050003","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:41.990327Z","title":"English Intuitionistic choice and classical logic","venue":null,"work_id":"1dcb5cce-3356-48a9-8df7-c62138af8879","year":2000},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.466125Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:8fb97bbfe3b38b1e1f75d68c77f9b910d919e354f0ac3fbc239cd3e661f63fde","observation_id":"121db78c-668d-4746-9b64-f84cf20702d8","resolution":{"observed_at":"2026-08-12T13:10:41.996266Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1090/s0002-9904-1957-10127-x","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:41.973924Z","title":"Review of lorenzen55","venue":null,"work_id":"23a4381b-a9f9-456e-8217-c3505cdc7905","year":1957},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.470873Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:94f5bcd23ec5c3951c2ca342346df21db9ff630a34a9a3b8d4f63354dedc4b9e","observation_id":"3516b62f-ab23-4d42-ba36-91a383156c7d","resolution":{"observed_at":"2026-08-12T13:10:41.979555Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-84706-7","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:41.959136Z","title":"Predicativity and constructive mathematics","venue":null,"work_id":"35c78253-bba8-465b-a0f1-13e55f0bbb8f","year":2022},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.476096Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:798576960024242ad9e9d7210b8d4c0031eb6909a145e319294350374071b540","observation_id":"a43d0876-41c9-4a6f-8090-32441a5e663d","resolution":{"observed_at":"2026-08-12T13:10:41.963922Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:41.480580Z","title":"Husserl's phenomenology and W eyl's predic[a]tivism","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.480580Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:40d065788b26ed9c117985e4c57b30deb8c00320bada594c7816407649cc522d","observation_id":"d5b5aaf6-71b7-4f5b-a46f-669f72a11782","resolution":{"observed_at":"2026-08-12T13:10:41.480580Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1972.11774","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:43.539736Z","title":"Review of MR0241272","venue":null,"work_id":"b03bf71c-a400-4e1b-95a1-8e336d518f07","year":1972},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.485023Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:3653b0664e2c8fb6dab20a88e1b3d3c1905a591a4e79b6c944af1c4d824d3ebc","observation_id":"5c0730b0-506d-4485-b43b-1fd0ef540b53","resolution":{"observed_at":"2026-08-12T13:10:43.549917Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:44.336207Z","title":"o ssische Technische Hochschule Institute for Advanced Study ( ). Selecta Hermann Weyl. Birkh \\","venue":null,"work_id":"84191c21-3bd7-4a97-a7f6-3cc58775254d","year":1956},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.489353Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:a49c2f51d5bf0d1ec72d00c0baeec598d00e3bb01b2c27870d4a581a4ee1ed76","observation_id":"4030f605-75b4-4c18-a77c-d439c2f52d4e","resolution":{"observed_at":"2026-08-12T13:10:44.341641Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:44.320402Z","title":"Relationships between constructive, predicative and classical systems of analysis","venue":null,"work_id":"c24fb982-2ec1-4669-aa1e-1b8caa8e4d79","year":2000},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.493788Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:4fea008c9057c1419b4bae029c7a791e041ec65b81e64673437d4275e3468c8d","observation_id":"86bfe289-908f-4f62-b311-d5cbacd0b27d","resolution":{"observed_at":"2026-08-12T13:10:44.325195Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:44.302842Z","title":"Predicativity","venue":null,"work_id":"4892567b-cce8-4610-af73-bc0c52788971","year":2005},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.498223Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:9bfa2e3f6e5f94fe2047715e737476626886a90d562ba14709cbace7e93bc9ad","observation_id":"8aad8eb0-9e49-47fe-9bc3-a42b59d394ca","resolution":{"observed_at":"2026-08-12T13:10:44.309382Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:44.286047Z","title":"English On the strength of some semi-constructive theories","venue":null,"work_id":"f468c09c-83cb-41a2-a5ca-f70dcede173f","year":2012},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.502649Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:cd2a1725ba1b1ac96728bc8e411405cc69bf8cbbfab2df0b2622486e38814c2f","observation_id":"4a6c2051-3367-47ba-92b7-88d42deee8ce","resolution":{"observed_at":"2026-08-12T13:10:44.291651Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:44.271385Z","title":"Dawson, Jr., Warren Goldfarb, Charles Parsons, Wilfried Sieg ( )","venue":null,"work_id":"256e9f81-8dc2-43bc-993b-c934386a6b13","year":2003},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.507346Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:5018b67e0bb5f410e14e08dbc559381380d8e371b451f3ea6fc8fd30fd57ee48","observation_id":"e52127f5-22a2-4b1c-8f19-f712a5d1fa7e","resolution":{"observed_at":"2026-08-12T13:10:44.276077Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:44.255956Z","title":"Dawson, Jr., Stephen C","venue":null,"work_id":"188c260f-576c-4d4e-be5a-b63750a4f779","year":1938},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.512077Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:130a05c2fe30d24ed296c9f2c5f338862efcf1726f559fe610a94dcca453fd5b","observation_id":"5edbe4dc-ad45-41bc-add7-597e27f1ba74","resolution":{"observed_at":"2026-08-12T13:10:44.260896Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:44.241366Z","title":"Fraenkel Yehoshua Bar-Hillel","venue":null,"work_id":"fe486555-94f3-4b50-9e51-fe49fa44c8fe","year":1958},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.517584Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:9da5583dd71831e02c55a9f31f3027a69dfe62dcf5ff33ca1ecd53112dfd1504","observation_id":"8c9ec4f3-408e-4436-b95a-179e8ec34c7d","resolution":{"observed_at":"2026-08-12T13:10:44.246067Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"stable/2048095","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:43.439568Z","title":"Review of lorenzen55","venue":null,"work_id":"59c489db-7063-48d2-ba2d-bb6b25a528f2","year":1957},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.522067Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:672a5595135e629a0a027a6bcee9b793d31e062d0f0c3bbc4077dbd2398c7c4c","observation_id":"65212f91-11d0-422f-9c35-744263452b78","resolution":{"observed_at":"2026-08-12T13:10:43.448976Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"stable/2084622","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:43.339161Z","title":"Review of MR0241272","venue":null,"work_id":"4559816a-0158-461f-aee1-473018d9ef06","year":1972},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.526568Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:bbbb827f383ac8b678bd652a511480c769b1363370ecdcc5e6f25ce20019b21a","observation_id":"ab5474b0-2062-48a5-9b01-61ab162a3f05","resolution":{"observed_at":"2026-08-12T13:10:43.347721Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"0068.00801","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:43.263418Z","title":"Review of lorenzen55","venue":null,"work_id":"4837a66e-92c6-4324-befe-4704ef9bfbec","year":1961},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.530923Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:67623b86b8637f18aec71ab41f81dac9f857d1c1db6a1a02eddae89857d5e1a4","observation_id":"09179e7c-99fa-4b86-956f-73d8d7de9ec5","resolution":{"observed_at":"2026-08-12T13:10:43.271010Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:44.226015Z","title":"a ltnis von Ph \\","venue":null,"work_id":"0223caee-8549-4027-95aa-b32d07da0293","year":1991},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.535382Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:f6e331c922a3f177cec682a065737e10c78f519b5f568d92f9418de32df9a782","observation_id":"f0fd7407-94a5-4466-8eda-3c544e9b8c44","resolution":{"observed_at":"2026-08-12T13:10:44.230763Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1093/philmat/8.2.100","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:41.932996Z","title":"Reals by abstraction","venue":null,"work_id":"83aba44b-9523-4789-b970-0d3d6e222b31","year":2000},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.539938Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:daf834fe91919a09d838936b1d366f4d1d8ea94eb6f05647d2807ddfa301cc47","observation_id":"ad2df7b2-a684-42f6-838c-5711c3f28f5a","resolution":{"observed_at":"2026-08-12T13:10:41.937785Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:44.210874Z","title":"Cantorian set theory and limitation of size","venue":null,"work_id":"19aa2d33-9c17-4143-bc30-6de7a878d221","year":1984},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.544663Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:b8355c6d4059aff3aedc0b92981b1e312985887e0940b01fa8099ef71369ce03","observation_id":"d3678876-94e0-45c1-b551-da876960a142","resolution":{"observed_at":"2026-08-12T13:10:44.215686Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1017/s0031819100046404","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:41.918556Z","title":null,"venue":null,"work_id":"a163fedb-ad1d-458b-8e4b-76aa7636f5e5","year":1956},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.549162Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:7187f82b1489ab7c8592aa88ac11c9c28d754225b560e3ef590862d200ea7052","observation_id":"9e7dd109-2ba9-4f47-9394-c6adbc0be582","resolution":{"observed_at":"2026-08-12T13:10:41.923255Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:44.195811Z","title":"Review of MR0241272","venue":null,"work_id":"927a670b-8e29-41dc-8035-6cc830377fd3","year":1971},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.562303Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:073cd98bd77d01e58419b78012bea835a363469314fe2d401f99a9fef4154bd9","observation_id":"68c61ccd-0ff1-42a1-b202-5b6c2b0a0c5e","resolution":{"observed_at":"2026-08-12T13:10:44.200559Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:44.180806Z","title":"German Grundlagen der Mathematik I","venue":null,"work_id":"7f8f28c0-a250-43ac-a910-e93ee17e12ab","year":1934},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.567131Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:a21d310f776b1267434a89167ca6ae47aeadf86d11ddc60f56b289b94152d8f6","observation_id":"c3f19193-af06-400f-b896-afa22523afcc","resolution":{"observed_at":"2026-08-12T13:10:44.185832Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:44.165997Z","title":"Lorenzen between G entzen and S ch \\\"u tte","venue":null,"work_id":"54dd03f0-e4a1-494e-a732-87eb89f9102e","year":2021},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.571625Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:3a9c02f271b86fe31aafd6406e416683980e3cd6c43240acd7e145fc87a67ba2","observation_id":"9aa7b001-b8aa-44e1-ad3a-20e1a1173e23","resolution":{"observed_at":"2026-08-12T13:10:44.170684Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"stable/4340920","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:43.171426Z","title":"Review of lorenzen55","venue":null,"work_id":"0e8f8e65-59d8-4cf6-86c2-469ef590804d","year":1955},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.576058Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:98d546864cbfb5eca31d4650706a4026b3279be4b208e051d443a875816947d0","observation_id":"98b12b58-8cb0-4414-a49b-019002f98ca1","resolution":{"observed_at":"2026-08-12T13:10:43.179468Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:44.150648Z","title":"Hermann Weyl: L e continu et autres \\' e crits","venue":null,"work_id":"c58a0ff3-5411-45be-b1cd-d153b8de0807","year":1994},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.580836Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:66aac24754ddef32e5f6d1a62c524488f13e7638ff2dbb9523b43d94e1e61872","observation_id":"1f89e967-6f0b-4d92-ac52-9b39022a4b4f","resolution":{"observed_at":"2026-08-12T13:10:44.155946Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.36446/rlf2020204","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:41.887893Z","title":"Ignacio Angelelli (1933-2019)","venue":null,"work_id":"838f1a3a-b4c3-4b14-8c49-e4238f88e23d","year":1933},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.585406Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:62a552b1b248b65ee040b88778e410e150afc29b00c0b16325b8b7db39877bb8","observation_id":"f909dac9-4726-479a-bcc4-591da8564d5a","resolution":{"observed_at":"2026-08-12T13:10:41.893110Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1023/a:1010367416884","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:41.871720Z","title":"Basic objectives of dialogue logic in historical perspective","venue":null,"work_id":"ab9b39c8-a481-4a7b-96b0-4fde3c7b2dd1","year":2001},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.590158Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:f4c5040bc0deb05857df275594a1248d803ba60bdbe137034f2e41cf639be8bf","observation_id":"36de6f39-03a0-4e92-8617-2f382b5d79bc","resolution":{"observed_at":"2026-08-12T13:10:41.876469Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:44.134666Z","title":"b K onstruktive B egr\\\"undung der M athematik","venue":null,"work_id":"63cc7b9f-5942-4102-92d9-456866a77d29","year":1950},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.599271Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:a3e3e09f43c6573d7316040abb162b6e0855ae49f7101b067bd0a89fe236d2be","observation_id":"3189c255-d6d3-403d-8146-1ab62afe7ce6","resolution":{"observed_at":"2026-08-12T13:10:44.139821Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"stable/2266681","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:43.073069Z","title":"uber freie V erb\\","venue":null,"work_id":"cacea276-7d28-4e17-abb4-03a7dce70b2e","year":1951},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.603734Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:d51e63916a6939ce03bbd5dbadb4601c33a6b9bd00b205b683b09f87295ea311","observation_id":"2a99cb41-888a-4bb0-a31b-27e4d7a60e82","resolution":{"observed_at":"2026-08-12T13:10:43.080190Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:44.119430Z","title":"Die W iderspruchsfreiheit der klassischen A nalysis","venue":null,"work_id":"08d66b1e-9baf-463f-9c0f-09e8d922a62f","year":1951},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.608381Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:edb8c5bf41babb2871b1b17ffe9380311951770afe1dc2c92495450947762d19","observation_id":"15b269ec-ea5b-4673-bd31-b9aefc0eb43b","resolution":{"observed_at":"2026-08-12T13:10:44.124538Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:44.103892Z","title":"uhrung in die operative L ogik und M athematik . Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Ber\\","venue":null,"work_id":"2db788d3-0615-44a6-8039-629ea2004a5c","year":1955},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.613786Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:271cf195a58a1b36c07e737b50ca0341c51a7f644c1bd9d0e54f1aee77eb2ff2","observation_id":"5300d988-daa7-4dcc-9a37-f3d4077b44e9","resolution":{"observed_at":"2026-08-12T13:10:44.109212Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"stable/2964281","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:42.981994Z","title":"Logical reflection and formalism","venue":null,"work_id":"dcce6c98-d798-42de-b42b-93d395d3f57d","year":1958},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.619301Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:b521c6996a19e16166e80f19d37c6415b641c2f561fec4895537fd94dd3dd58a","observation_id":"e83ba604-729a-497b-bbce-5f81c3a9a554","resolution":{"observed_at":"2026-08-12T13:10:42.990597Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"stable/2964720","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:42.897371Z","title":"Review of weyl60","venue":null,"work_id":"dab2a59d-229c-4d98-a0e7-2ce842296214","year":1960},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.623436Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:14abac4e84245e4b7675dd6afe5e4c27aee5f27a10594c485882baf0e12b41e2","observation_id":"98a0eb03-208c-4421-9d03-568353cf0ca3","resolution":{"observed_at":"2026-08-12T13:10:42.904311Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:44.088547Z","title":"german Metamathematik","venue":null,"work_id":"60efb9b2-d75d-4af1-beb3-03282fc68b8d","year":1962},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.628207Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:9abc4b5d820740c02b8665f0a93a5ed3b2673809607fbeab610d19ba68fa74be","observation_id":"a5444d7c-defa-47e2-9325-e58537e0e3f9","resolution":{"observed_at":"2026-08-12T13:10:44.093488Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:44.073040Z","title":"Wie ist die O bjektivität der P hysik möglich? Argumentationen: Festschrift für Josef König, Harald Delius Günther Patzig, 143--150","venue":null,"work_id":"a331190d-de97-4384-854b-e7c0e472c21c","year":1964},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":53,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.632591Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:5067ed417883023e0935fc7b34b842955bd104208993abdd2b5a8589a80533ac","observation_id":"fcaecb46-cd53-499f-9045-bd7dfbe33710","resolution":{"observed_at":"2026-08-12T13:10:44.078361Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:44.057189Z","title":"Differential und I ntegral: eine konstruktive E inf\\\"uhrung in die klassische A nalysis","venue":null,"work_id":"f71d18c5-9489-4c9d-86d8-8708c0a859dd","year":1965},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":54,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.637040Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:e0cb11a7ae75aa32cff200709e05d733c4218fe65b583dafdd2c23483e57822c","observation_id":"b601b032-2aea-4648-abc8-de3f71ac5b8f","resolution":{"observed_at":"2026-08-12T13:10:44.062329Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:44.039327Z","title":"uhrung in die operative L ogik und M athematik . Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Ber\\","venue":null,"work_id":"73b58699-96e4-4abb-8989-dbadd9f56ab3","year":1969},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":55,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.641381Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:b8114b036cbb960acc2b168989671f28845fb90e5e51ac73fc9d1633aaad1f05","observation_id":"0064e051-66e7-4e47-9d23-b5b370bb039b","resolution":{"observed_at":"2026-08-12T13:10:44.045763Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:44.022637Z","title":"Normative logic and ethics","venue":null,"work_id":"c970324d-51d6-4083-9933-9792063e1b93","year":1969},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":56,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.646389Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:aabebc8f08bdacb57aa47d1267e9cb30c36fb6a7fc573718e7ed2151679e2911","observation_id":"d56a2d70-27f5-4bbf-bec6-86482b0b5d25","resolution":{"observed_at":"2026-08-12T13:10:44.027999Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:44.007562Z","title":"a higkeit des K ontinuums . Jahrbuch \\","venue":null,"work_id":"f7c7ec25-f8bb-4b3b-b33d-65bf35dbad86","year":1986},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":57,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.650608Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:cdddf91ef1068fa7f405eae7b61fdc4a3ee13b13be4a1c9de61445cc0b406699","observation_id":"89fd589c-374c-40b0-80a5-3fd37059df42","resolution":{"observed_at":"2026-08-12T13:10:44.012236Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5340.2020","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:43.643912Z","title":"Constructive philosophy","venue":null,"work_id":"4a677cdd-dcfe-4112-a303-7ccce2161511","year":1987},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":58,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.654947Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:5573151442af248f9e711b108e4cc6606494f03078a5adf57dace9d5afcdf486","observation_id":"cb4df832-141e-41b3-b083-cc54f5d3267e","resolution":{"observed_at":"2026-08-12T13:10:43.652103Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"stable/2964572","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:42.819037Z","title":"Constructive definition of certain analytic sets of numbers","venue":null,"work_id":"5ef4d924-0bc0-415e-920e-825978cad4f1","year":1959},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":59,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.659435Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:cba28e22fc237cae2c09f85869858feb3fd929bc300643ca702079965fed7d28","observation_id":"cc6c8b6f-5a12-47ee-8521-c5c6db790922","resolution":{"observed_at":"2026-08-12T13:10:42.828211Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"stable/4303317","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:42.707620Z","title":null,"venue":null,"work_id":"ac386962-c2f7-4f45-a1df-2be35988273a","year":1970},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":60,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.663917Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:5d0f090b4bf1067a465296159258586782d42616823e1f42419876681a69b429","observation_id":"fb9651b4-9304-45ea-8d19-b6d1b9887b55","resolution":{"observed_at":"2026-08-12T13:10:42.718761Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:43.992864Z","title":"On the operational foundations of logic and mathematics","venue":null,"work_id":"4863b405-3ce2-4d4f-b7d5-e79f14156b2f","year":1957},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":61,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.668388Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:3f05f0f11695044f3a154e8ead103c9c9a334df32ae4e40a6b67bcc77e89d6d4","observation_id":"041dff40-4b49-473b-8285-79f30b40f06b","resolution":{"observed_at":"2026-08-12T13:10:43.997595Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"0066.24802","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:42.615186Z","title":"Review of lorenzen55","venue":null,"work_id":"70c18e4a-9941-4a03-9513-8332768391cb","year":1957},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":62,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.672915Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:2e273276f1d43bfc92896869b0ca27719c3fe9b7e96f35e01175171869c76801","observation_id":"17d80fe4-141b-4c75-8bff-fa5c7ffbd895","resolution":{"observed_at":"2026-08-12T13:10:42.623991Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:43.978090Z","title":"Zur operativen Begründung von Logik und Mathematik","venue":null,"work_id":"98ce56a1-8cec-4ca7-b6f5-733e7d357cc3","year":1957},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":63,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.677318Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:ec627e949ec0a6b435486bb4a46c863ebd036e34492173f06cab5266b50879b9","observation_id":"f59b5713-4008-46c1-af9e-69c0f2985e62","resolution":{"observed_at":"2026-08-12T13:10:43.982981Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-65824-3","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:41.903388Z","title":"Lorenzen's correspondence with H asse, K rull, and A ubert, together with some relevant documents","venue":null,"work_id":"dc253890-4ce1-4921-bd1e-7e3a370117a0","year":2021},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":64,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.681540Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:ae8bbe77b87b768e16df6d32dccad0504bcdad4bc5d95fe5b13978e0e6d298e0","observation_id":"9515ebf8-bff3-45fd-af00-09d101a9d7ce","resolution":{"observed_at":"2026-08-12T13:10:41.908339Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:43.962300Z","title":"French Sur quelques th\\'eor\\`emes d'existence","venue":null,"work_id":"28ed5b8c-63ec-4685-9c54-8ed83c34b7f1","year":1939},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":65,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.685590Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:1c1f456d01b83eeb2be94b88153e2944907d6b78f2fb8bd7c18857afb5fde617","observation_id":"40b0f289-b950-40f0-a6e3-3a94625a6be2","resolution":{"observed_at":"2026-08-12T13:10:43.968126Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:43.947852Z","title":"On the consistency of certain logical calculus","venue":null,"work_id":"6a9c1a52-7f57-4542-aef9-10a749a6be05","year":1943},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":66,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.690097Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:825382dc2dc52df83e8d116c3b84836c282e6495d9c412c8d72f6c77b67f3061","observation_id":"ca07f9f3-dfdf-4007-b050-e60db1a926df","resolution":{"observed_at":"2026-08-12T13:10:43.952336Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:43.932929Z","title":"Mathematical thought and its objects","venue":null,"work_id":"bdfa7f86-222e-453e-96fc-023e3d17ce3c","year":2008},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":67,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.694466Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:3554b550fb48b047af96bb9168d3a6f4c349d5d748bb23aaff24407513bdac6a","observation_id":"7ce46e7c-1a3a-46c8-948e-000dfa53a70c","resolution":{"observed_at":"2026-08-12T13:10:43.938355Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:43.916062Z","title":"a ge \\\"u ber ausgew \\","venue":null,"work_id":"25d30d66-749b-4481-afaa-617b909b8591","year":1910},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":68,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.698871Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:2bf4b290997a8e157b9cc30cda00e5cf1d29750664bf76baefbbc09a4cadf35c","observation_id":"81e02a80-4d8d-4ef8-9cb3-6519da190813","resolution":{"observed_at":"2026-08-12T13:10:43.922384Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:43.901301Z","title":"English Property is prior to set: F ichte and W eyl","venue":null,"work_id":"ed7d7ab1-4829-44e3-8b4b-45c830ad74d9","year":2005},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":69,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.703634Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:9f9a59da786e13bfc60af74dc874d9de43611db685c1597a5224347085d83db7","observation_id":"db4cbd60-8019-4817-867c-3ec5a3a7955a","resolution":{"observed_at":"2026-08-12T13:10:43.906206Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:43.885721Z","title":"Hermann Weyl: The continuum: a critical examination of the foundation of analysis","venue":null,"work_id":"f764c82f-c211-4c97-873e-713ca8d884f5","year":1987},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":70,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.708866Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:a555aa7d66320d68185f1618d4a27f5c28e2e5ba93246fa111ec29074ec31652","observation_id":"78bcec62-2cc4-40b8-8ba1-ebec45354a1d","resolution":{"observed_at":"2026-08-12T13:10:43.890845Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.indag.2019.01.004","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:41.856860Z","title":"English The scope of F eferman's semi-intuitionistic set theories and his second conjecture","venue":null,"work_id":"984f99d2-18a6-4d6e-a253-f5d8a60f9ddc","year":2019},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":71,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.713276Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:1e222e742b368f20d7323b8943313a994b53d284bf68a5b5616137c6127cceaa","observation_id":"2f54bb7f-ff2e-4051-b103-f568861f4359","resolution":{"observed_at":"2026-08-12T13:10:41.861827Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:43.870853Z","title":"Review of lorenzen55","venue":null,"work_id":"b20d8718-0026-4e24-9db7-3c885e9ddcfe","year":1956},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":72,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.717885Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:13a0b74e7aae9f15c4564d0cdab052d9fb73b3b30f094ba1dacf0f57f706ab1f","observation_id":"1fd543f7-8a0d-46fc-ad76-2fe0665af6aa","resolution":{"observed_at":"2026-08-12T13:10:43.875742Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4000/philosophiascientiae.931","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:41.841256Z","title":"Hugo D ingler et l’épistémologie pragmatiste en A llemagne","venue":null,"work_id":"32372f83-c465-40dc-bd20-6e3f1790cd99","year":2014},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":73,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.722340Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:9c176d0b7e6050c52bb2fd7d3bbb85cb89aa6c8bc76795e4b0531a425cdd8c54","observation_id":"dadf5071-9bb9-4cc9-a71c-909844a889fa","resolution":{"observed_at":"2026-08-12T13:10:41.846969Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4000/philosophiascientiae.934","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:41.826462Z","title":"Introduction g \\'e n \\'e rale","venue":null,"work_id":"cc85d726-bbde-4e2c-bad8-9b44bf5c41ac","year":2014},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":74,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.727456Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:6aa943b0be9a9c7b7910cd1ffe2bf27df00932930b4890cf1cde5fb8e2492daa","observation_id":"3a112d10-eaa2-4be9-adb0-828c5541a427","resolution":{"observed_at":"2026-08-12T13:10:41.831247Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:43.855898Z","title":"Lorenzens operative L ogik und moderne beweistheoretische S emantik","venue":null,"work_id":"50d1c64c-2b8c-4d4e-baac-3399715b71f7","year":2008},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":75,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.732163Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:ab5773b2f4fd4bc6dfb2df5d530361cb73996120b0178a8bff1f1c5348198225","observation_id":"c33ffc95-3b0d-4921-a20b-affe6cca7532","resolution":{"observed_at":"2026-08-12T13:10:43.861317Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:43.841373Z","title":"b Lorenzen's operative justification of intuitionistic logic","venue":null,"work_id":"3bed6cff-49c4-429f-a7e3-bba64be32db6","year":1907},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":76,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.736570Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:ff5ceec74e465df467d6dfac74987aa49d6ff11ca0ad37641bfd5fde877bbf77","observation_id":"d48c3a3d-80c6-4d04-b57b-eda4951dfaaf","resolution":{"observed_at":"2026-08-12T13:10:43.846467Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"stable/2963596","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:42.527572Z","title":"Review of lorenzen55","venue":null,"work_id":"be10b27c-54b9-402a-a595-e63e30da5dea","year":1957},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":77,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.742108Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:a734fdfeca7917b9b5acdc07a560d3d1ca6d963b55788e38631e02dc4fe64131","observation_id":"748b1bc9-c690-4603-acd8-f8cb3ce8aa02","resolution":{"observed_at":"2026-08-12T13:10:42.537755Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"stable/4257033","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:42.422511Z","title":"Review of lorenzen55","venue":null,"work_id":"dc8295f9-ae19-47d4-b379-5943cb48ee96","year":1958},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":78,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.746585Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:c95ea043c40012354ca786bcb0d2cdfcf045a3d2cef5b6b093bebd0f74232441","observation_id":"976c8f3e-6d98-4391-a101-68ef1b04a4cc","resolution":{"observed_at":"2026-08-12T13:10:42.434693Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:43.826255Z","title":"Gibt es noch eine G rundlagenkrise der M athematik? M anfred R iedel zum 60","venue":null,"work_id":"1a71ea60-d605-4353-94f0-7d86f422100d","year":2000},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":79,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.750927Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:086dc2fd72c942fb5df3dc06be08257fe77409734f695fdff2771d95ee7ca811","observation_id":"81921ec3-70cd-4821-a34a-8e8b275a1d27","resolution":{"observed_at":"2026-08-12T13:10:43.831347Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:43.810778Z","title":"Homotopy type theory: univalent foundations of mathematics","venue":null,"work_id":"b9ed9d25-3a99-453b-b020-89de4fead40d","year":2013},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":80,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.755219Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:0887d2b5dc6d08f94ae39376deec9bf21c287b51726f0dbedbb6a53136becfb9","observation_id":"4a745f80-49f6-436a-a43c-221cb2530db2","resolution":{"observed_at":"2026-08-12T13:10:43.815811Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bf00629088","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:41.810597Z","title":null,"venue":null,"work_id":"7461a35a-7ade-41db-bbdf-7c71035884af","year":1957},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":81,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.759467Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:ef89e65989babcfbea942296bdceef05826c5ab09b4a9669ecbc4260572a50ad","observation_id":"799d527c-fbd0-4b71-836a-8669ccc53dae","resolution":{"observed_at":"2026-08-12T13:10:41.816271Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"stable/2267732","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:42.142173Z","title":"The formalization of mathematics","venue":null,"work_id":"d1d4609b-725c-4b88-baad-6c706fdb5c0a","year":1954},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":82,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.764278Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:e59b8aa1cff89fcaff6a4da3c63466c01b62d02057c003db2bf3e0b67b394534","observation_id":"e36e8e22-f191-46d3-b769-cc73315dc6b6","resolution":{"observed_at":"2026-08-12T13:10:42.151160Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:43.792264Z","title":"On denumerable bases of formal systems","venue":null,"work_id":"8ecbac4a-ba1b-47d4-90f3-444ea630309f","year":1955},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":83,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.768720Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:640e8803d86b6e0e9d0ef6f292bf72296f01cf71312f89d401351b8bc6926d0c","observation_id":"e74d7630-12d1-41e8-ada2-4afd5a283e7b","resolution":{"observed_at":"2026-08-12T13:10:43.798271Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:43.776351Z","title":"german Das K ontinuum: kritische U ntersuchungen \\\"u ber die G rundlagen der A nalysis","venue":null,"work_id":"89214c08-a72e-468c-a1d7-8078afbe9355","year":1918},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":84,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.773097Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:3b1d2d64149cf73bd851847e02f1bbfe3801eec524156baf537d7ea4bd68df3a","observation_id":"c4d6fe08-d2f7-48b9-a957-ac536ac3ffc1","resolution":{"observed_at":"2026-08-12T13:10:43.781271Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:10:43.759868Z","title":"U ber die neue G rundlagenkrise der M athematik ( V ortr \\","venue":null,"work_id":"7e4d31f0-7cda-44e8-8792-9b7d8ec34c00","year":1921},"citing_paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","version":1},"reference_index":85,"source":"arxiv_source","source_observed_at":"2026-08-12T13:10:41.777613Z"},"links":{"citing_paper":"/paper/2411.16469"},"observation_digest":"sha256:8b014244844bf873915ce587893f09b9e54794191c3f72cfa236b942c42ea3a7","observation_id":"eece22db-5342-45db-860e-b1c6a188d2ea","resolution":{"observed_at":"2026-08-12T13:10:43.764592Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2411.16469","last_updated":"2024-11-25T15:15:18Z","latest_version":1,"primary_category":"math.HO","snapshot_observed_at":"2026-08-12T13:02:36.917744Z","submitted_at":"2024-11-25T15:15:18Z","title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl"},"reference_resolution":{"displayed":81,"state_counts":{"malformed_identifier":1,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":2,"verified_exact":31,"verified_fuzzy":46},"total_outbound_references":81},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 81 of 81 outbound references and 0 inbound Pith citation observations for arXiv:2411.16469."}