In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl | Paper Citation Record

Observation 60bfdbec-a9ca-4cbb-92fe-ce95a3e091e3 · outbound

This paper cites Aus dem B riefwechsel W ilhelm A ckermanns.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Aus dem B riefwechsel W ilhelm A ckermanns

Reference 1

Resolution: verified exact; doi, observed 2026-08-12T13:10:42.046692Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 4ccdeebd-7efe-46a7-a08c-d945eb8ed038 · outbound

This paper cites Review of hallett84.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Review of hallett84

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-12T13:10:41.395663Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 110f8da4-5966-4898-944f-c0f93b47a18a · outbound

This paper cites Review of pollardbole87.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Review of pollardbole87

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:44.482471Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation d14190b7-ab7a-4eb2-a14e-47f99be27f15 · outbound

This paper cites Review of largeault94.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Review of largeault94

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:44.464508Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 35a1a357-14f4-4144-82bc-022925c883d7 · outbound

This paper cites Review of silva97.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Review of silva97

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:44.449193Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation d316f399-8b50-4195-a532-5fdcdea32d70 · outbound

This paper cites Review of hale00.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Review of hale00

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:44.431571Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation d2314cde-be9c-4502-9e3d-d3037a7c2ad8 · outbound

This paper cites Adventures of abstraction.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Adventures of abstraction

Reference 7

Resolution: verified exact; doi, observed 2026-08-12T13:10:42.028232Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 0e172ef6-d655-4e9f-b63f-79c1900a3fb7 · outbound

This paper cites an unresolved cited work.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Unresolved cited work

Reference 8

Resolution: verified exact; raw_fallback, observed 2026-08-12T13:10:43.749829Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 29b38c97-b5a4-4663-9807-cc85eeb3b85e · outbound

This paper cites Review of lorenzen55.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Review of lorenzen55

Reference 9

Resolution: verified exact; doi, observed 2026-08-12T13:10:42.013125Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 2a58a4dc-5b00-4859-9b5a-ae3398ab9cc4 · outbound

This paper cites David Hilbert and Paul Bernays: Foundations of Mathematics, Vol.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl David Hilbert and Paul Bernays: Foundations of Mathematics, Vol

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:44.415906Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 76d9fb19-e071-4fa0-89f3-11225bc10856 · outbound

This paper cites Foundations of constructive analysis.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Foundations of constructive analysis

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-12T13:10:41.438245Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a6a00cad-7834-47cd-97c8-4d8c9eb57119 · outbound

This paper cites Granice nauki: zarys logiki i metodologji nauk \'s cis ych.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Granice nauki: zarys logiki i metodologji nauk \'s cis ych

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:44.387295Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 4a490f34-6d34-421b-b7af-f06b66dae510 · outbound

This paper cites The limits of science: outline of logic and of the methodology of the exact sciences.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl The limits of science: outline of logic and of the methodology of the exact sciences

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:44.372015Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation a8943ed9-724a-4871-922c-8bbb6a22b6d3 · outbound

This paper cites Lorenzen and constructive mathematics.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Lorenzen and constructive mathematics

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:44.356649Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation ef93f041-8d5a-46ea-86a4-e0c1bd62b66f · outbound

This paper cites An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951).

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)

Reference 16

Resolution: verified exact; local_arxiv, observed 2026-08-12T13:10:43.573124Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 121db78c-668d-4746-9b64-f84cf20702d8 · outbound

This paper cites English Intuitionistic choice and classical logic.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl English Intuitionistic choice and classical logic

Reference 17

Resolution: verified exact; doi, observed 2026-08-12T13:10:41.996266Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 3516b62f-ab23-4d42-ba36-91a383156c7d · outbound

This paper cites Review of lorenzen55.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Review of lorenzen55

Reference 18

Resolution: verified exact; doi, observed 2026-08-12T13:10:41.979555Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation a43d0876-41c9-4a6f-8090-32441a5e663d · outbound

This paper cites Predicativity and constructive mathematics.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Predicativity and constructive mathematics

Reference 19

Resolution: verified exact; doi, observed 2026-08-12T13:10:41.963922Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation d5b5aaf6-71b7-4f5b-a46f-669f72a11782 · outbound

This paper cites Husserl's phenomenology and W eyl's predic[a]tivism.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Husserl's phenomenology and W eyl's predic[a]tivism

Reference 20

Resolution: malformed identifier; no resolver link, observed 2026-08-12T13:10:41.480580Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5c0730b0-506d-4485-b43b-1fd0ef540b53 · outbound

This paper cites Review of MR0241272.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Review of MR0241272

Reference 21

Resolution: metadata mismatch; raw_fallback, observed 2026-08-12T13:10:43.549917Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 4030f605-75b4-4c18-a77c-d439c2f52d4e · outbound

This paper cites o ssische Technische Hochschule Institute for Advanced Study ( ). Selecta Hermann Weyl. Birkh \.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl o ssische Technische Hochschule Institute for Advanced Study ( ). Selecta Hermann Weyl. Birkh \

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:44.341641Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 86bfe289-908f-4f62-b311-d5cbacd0b27d · outbound

This paper cites Relationships between constructive, predicative and classical systems of analysis.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Relationships between constructive, predicative and classical systems of analysis

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:44.325195Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 8aad8eb0-9e49-47fe-9bc3-a42b59d394ca · outbound

This paper cites Predicativity.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Predicativity

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:44.309382Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 4a6c2051-3367-47ba-92b7-88d42deee8ce · outbound

This paper cites English On the strength of some semi-constructive theories.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl English On the strength of some semi-constructive theories

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:44.291651Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation e52127f5-22a2-4b1c-8f19-f712a5d1fa7e · outbound

This paper cites Dawson, Jr., Warren Goldfarb, Charles Parsons, Wilfried Sieg ( ).

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Dawson, Jr., Warren Goldfarb, Charles Parsons, Wilfried Sieg ( )

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:44.276077Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 5edbe4dc-ad45-41bc-add7-597e27f1ba74 · outbound

This paper cites Dawson, Jr., Stephen C.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Dawson, Jr., Stephen C

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:44.260896Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 8c9ec4f3-408e-4436-b95a-179e8ec34c7d · outbound

This paper cites Fraenkel Yehoshua Bar-Hillel.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Fraenkel Yehoshua Bar-Hillel

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:44.246067Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 65212f91-11d0-422f-9c35-744263452b78 · outbound

This paper cites Review of lorenzen55.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Review of lorenzen55

Reference 29

Resolution: verified exact; raw_fallback, observed 2026-08-12T13:10:43.448976Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation ab5474b0-2062-48a5-9b01-61ab162a3f05 · outbound

This paper cites Review of MR0241272.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Review of MR0241272

Reference 30

Resolution: verified exact; raw_fallback, observed 2026-08-12T13:10:43.347721Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 09179e7c-99fa-4b86-956f-73d8d7de9ec5 · outbound

This paper cites Review of lorenzen55.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Review of lorenzen55

Reference 31

Resolution: verified exact; raw_fallback, observed 2026-08-12T13:10:43.271010Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation f0fd7407-94a5-4466-8eda-3c544e9b8c44 · outbound

This paper cites a ltnis von Ph \.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl a ltnis von Ph \

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:44.230763Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation ad2df7b2-a684-42f6-838c-5711c3f28f5a · outbound

This paper cites Reals by abstraction.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Reals by abstraction

Reference 33

Resolution: verified exact; doi, observed 2026-08-12T13:10:41.937785Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation d3678876-94e0-45c1-b551-da876960a142 · outbound

This paper cites Cantorian set theory and limitation of size.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Cantorian set theory and limitation of size

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:44.215686Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 9e7dd109-2ba9-4f47-9394-c6adbc0be582 · outbound

This paper cites an unresolved cited work.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Unresolved cited work

Reference 35

Resolution: verified exact; doi, observed 2026-08-12T13:10:41.923255Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 68c61ccd-0ff1-42a1-b202-5b6c2b0a0c5e · outbound

This paper cites Review of MR0241272.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Review of MR0241272

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:44.200559Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation c3f19193-af06-400f-b896-afa22523afcc · outbound

This paper cites German Grundlagen der Mathematik I.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl German Grundlagen der Mathematik I

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:44.185832Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 9aa7b001-b8aa-44e1-ad3a-20e1a1173e23 · outbound

This paper cites Lorenzen between G entzen and S ch \"u tte.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Lorenzen between G entzen and S ch \"u tte

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:44.170684Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 98b12b58-8cb0-4414-a49b-019002f98ca1 · outbound

This paper cites Review of lorenzen55.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Review of lorenzen55

Reference 41

Resolution: verified exact; raw_fallback, observed 2026-08-12T13:10:43.179468Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 1f89e967-6f0b-4d92-ac52-9b39022a4b4f · outbound

This paper cites Hermann Weyl: L e continu et autres \' e crits.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Hermann Weyl: L e continu et autres \' e crits

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:44.155946Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation f909dac9-4726-479a-bcc4-591da8564d5a · outbound

This paper cites Ignacio Angelelli (1933-2019).

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Ignacio Angelelli (1933-2019)

Reference 43

Resolution: verified exact; doi, observed 2026-08-12T13:10:41.893110Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 36de6f39-03a0-4e92-8617-2f382b5d79bc · outbound

This paper cites Basic objectives of dialogue logic in historical perspective.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Basic objectives of dialogue logic in historical perspective

Reference 44

Resolution: verified exact; doi, observed 2026-08-12T13:10:41.876469Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 3189c255-d6d3-403d-8146-1ab62afe7ce6 · outbound

This paper cites b K onstruktive B egr\"undung der M athematik.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl b K onstruktive B egr\"undung der M athematik

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:44.139821Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 2a99cb41-888a-4bb0-a31b-27e4d7a60e82 · outbound

This paper cites uber freie V erb\.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl uber freie V erb\

Reference 47

Resolution: verified exact; raw_fallback, observed 2026-08-12T13:10:43.080190Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 15b269ec-ea5b-4673-bd31-b9aefc0eb43b · outbound

This paper cites Die W iderspruchsfreiheit der klassischen A nalysis.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Die W iderspruchsfreiheit der klassischen A nalysis

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:44.124538Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 5300d988-daa7-4dcc-9a37-f3d4077b44e9 · outbound

This paper cites uhrung in die operative L ogik und M athematik . Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Ber\.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl uhrung in die operative L ogik und M athematik . Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Ber\

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:44.109212Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation e83ba604-729a-497b-bbce-5f81c3a9a554 · outbound

This paper cites Logical reflection and formalism.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Logical reflection and formalism

Reference 50

Resolution: verified exact; raw_fallback, observed 2026-08-12T13:10:42.990597Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 98a0eb03-208c-4421-9d03-568353cf0ca3 · outbound

This paper cites Review of weyl60.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Review of weyl60

Reference 51

Resolution: verified exact; raw_fallback, observed 2026-08-12T13:10:42.904311Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation a5444d7c-defa-47e2-9325-e58537e0e3f9 · outbound

This paper cites german Metamathematik.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl german Metamathematik

Reference 52

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:44.093488Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation fcaecb46-cd53-499f-9045-bd7dfbe33710 · outbound

This paper cites 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.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl 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

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:44.078361Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation b601b032-2aea-4648-abc8-de3f71ac5b8f · outbound

This paper cites Differential und I ntegral: eine konstruktive E inf\"uhrung in die klassische A nalysis.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Differential und I ntegral: eine konstruktive E inf\"uhrung in die klassische A nalysis

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:44.062329Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 0064e051-66e7-4e47-9d23-b5b370bb039b · outbound

This paper cites uhrung in die operative L ogik und M athematik . Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Ber\.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl uhrung in die operative L ogik und M athematik . Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Ber\

Reference 55

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:44.045763Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation d56a2d70-27f5-4bbf-bec6-86482b0b5d25 · outbound

This paper cites Normative logic and ethics.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Normative logic and ethics

Reference 56

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:44.027999Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 89fd589c-374c-40b0-80a5-3fd37059df42 · outbound

This paper cites a higkeit des K ontinuums . Jahrbuch \.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl a higkeit des K ontinuums . Jahrbuch \

Reference 57

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:44.012236Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation cb4df832-141e-41b3-b083-cc54f5d3267e · outbound

This paper cites Constructive philosophy.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Constructive philosophy

Reference 58

Resolution: verified exact; raw_fallback, observed 2026-08-12T13:10:43.652103Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation cc6c8b6f-5a12-47ee-8521-c5c6db790922 · outbound

This paper cites Constructive definition of certain analytic sets of numbers.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Constructive definition of certain analytic sets of numbers

Reference 59

Resolution: verified exact; raw_fallback, observed 2026-08-12T13:10:42.828211Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation fb9651b4-9304-45ea-8d19-b6d1b9887b55 · outbound

This paper cites an unresolved cited work.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Unresolved cited work

Reference 60

Resolution: verified exact; raw_fallback, observed 2026-08-12T13:10:42.718761Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 041dff40-4b49-473b-8285-79f30b40f06b · outbound

This paper cites On the operational foundations of logic and mathematics.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl On the operational foundations of logic and mathematics

Reference 61

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:43.997595Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 17d80fe4-141b-4c75-8bff-fa5c7ffbd895 · outbound

This paper cites Review of lorenzen55.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Review of lorenzen55

Reference 62

Resolution: verified exact; raw_fallback, observed 2026-08-12T13:10:42.623991Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation f59b5713-4008-46c1-af9e-69c0f2985e62 · outbound

This paper cites Zur operativen Begründung von Logik und Mathematik.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Zur operativen Begründung von Logik und Mathematik

Reference 63

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:43.982981Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 9515ebf8-bff3-45fd-af00-09d101a9d7ce · outbound

This paper cites Lorenzen's correspondence with H asse, K rull, and A ubert, together with some relevant documents.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Lorenzen's correspondence with H asse, K rull, and A ubert, together with some relevant documents

Reference 64

Resolution: verified exact; doi, observed 2026-08-12T13:10:41.908339Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 40b0f289-b950-40f0-a6e3-3a94625a6be2 · outbound

This paper cites French Sur quelques th\'eor\`emes d'existence.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl French Sur quelques th\'eor\`emes d'existence

Reference 65

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:43.968126Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation ca07f9f3-dfdf-4007-b050-e60db1a926df · outbound

This paper cites On the consistency of certain logical calculus.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl On the consistency of certain logical calculus

Reference 66

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:43.952336Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 7ce46e7c-1a3a-46c8-948e-000dfa53a70c · outbound

This paper cites Mathematical thought and its objects.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Mathematical thought and its objects

Reference 67

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:43.938355Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 81e02a80-4d8d-4ef8-9cb3-6519da190813 · outbound

This paper cites a ge \"u ber ausgew \.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl a ge \"u ber ausgew \

Reference 68

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:43.922384Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation db4cbd60-8019-4817-867c-3ec5a3a7955a · outbound

This paper cites English Property is prior to set: F ichte and W eyl.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl English Property is prior to set: F ichte and W eyl

Reference 69

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:43.906206Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 78bcec62-2cc4-40b8-8ba1-ebec45354a1d · outbound

This paper cites Hermann Weyl: The continuum: a critical examination of the foundation of analysis.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Hermann Weyl: The continuum: a critical examination of the foundation of analysis

Reference 70

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:43.890845Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 2f54bb7f-ff2e-4051-b103-f568861f4359 · outbound

This paper cites English The scope of F eferman's semi-intuitionistic set theories and his second conjecture.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl English The scope of F eferman's semi-intuitionistic set theories and his second conjecture

Reference 71

Resolution: verified exact; doi, observed 2026-08-12T13:10:41.861827Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 1fd543f7-8a0d-46fc-ad76-2fe0665af6aa · outbound

This paper cites Review of lorenzen55.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Review of lorenzen55

Reference 72

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:43.875742Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation dadf5071-9bb9-4cc9-a71c-909844a889fa · outbound

This paper cites Hugo D ingler et l’épistémologie pragmatiste en A llemagne.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Hugo D ingler et l’épistémologie pragmatiste en A llemagne

Reference 73

Resolution: verified exact; doi, observed 2026-08-12T13:10:41.846969Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 3a112d10-eaa2-4be9-adb0-828c5541a427 · outbound

This paper cites Introduction g \'e n \'e rale.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Introduction g \'e n \'e rale

Reference 74

Resolution: verified exact; doi, observed 2026-08-12T13:10:41.831247Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation c33ffc95-3b0d-4921-a20b-affe6cca7532 · outbound

This paper cites Lorenzens operative L ogik und moderne beweistheoretische S emantik.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Lorenzens operative L ogik und moderne beweistheoretische S emantik

Reference 75

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:43.861317Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation d48c3a3d-80c6-4d04-b57b-eda4951dfaaf · outbound

This paper cites b Lorenzen's operative justification of intuitionistic logic.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl b Lorenzen's operative justification of intuitionistic logic

Reference 76

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:43.846467Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 748b1bc9-c690-4603-acd8-f8cb3ce8aa02 · outbound

This paper cites Review of lorenzen55.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Review of lorenzen55

Reference 77

Resolution: verified exact; raw_fallback, observed 2026-08-12T13:10:42.537755Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 976c8f3e-6d98-4391-a101-68ef1b04a4cc · outbound

This paper cites Review of lorenzen55.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Review of lorenzen55

Reference 78

Resolution: verified exact; raw_fallback, observed 2026-08-12T13:10:42.434693Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 81921ec3-70cd-4821-a34a-8e8b275a1d27 · outbound

This paper cites Gibt es noch eine G rundlagenkrise der M athematik? M anfred R iedel zum 60.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Gibt es noch eine G rundlagenkrise der M athematik? M anfred R iedel zum 60

Reference 79

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:43.831347Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 4a745f80-49f6-436a-a43c-221cb2530db2 · outbound

This paper cites Homotopy type theory: univalent foundations of mathematics.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Homotopy type theory: univalent foundations of mathematics

Reference 80

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:43.815811Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 799d527c-fbd0-4b71-836a-8669ccc53dae · outbound

This paper cites an unresolved cited work.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl Unresolved cited work

Reference 81

Resolution: verified exact; doi, observed 2026-08-12T13:10:41.816271Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation e36e8e22-f191-46d3-b769-cc73315dc6b6 · outbound

This paper cites The formalization of mathematics.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl The formalization of mathematics

Reference 82

Resolution: verified exact; raw_fallback, observed 2026-08-12T13:10:42.151160Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation e74d7630-12d1-41e8-ada2-4afd5a283e7b · outbound

This paper cites On denumerable bases of formal systems.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl On denumerable bases of formal systems

Reference 83

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:43.798271Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation c4d6fe08-d2f7-48b9-a957-ac536ac3ffc1 · outbound

This paper cites german Das K ontinuum: kritische U ntersuchungen \"u ber die G rundlagen der A nalysis.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl german Das K ontinuum: kritische U ntersuchungen \"u ber die G rundlagen der A nalysis

Reference 84

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:43.781271Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation eece22db-5342-45db-860e-b1c6a188d2ea · outbound

This paper cites U ber die neue G rundlagenkrise der M athematik ( V ortr \.

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl U ber die neue G rundlagenkrise der M athematik ( V ortr \

Reference 85

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:43.764592Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Coverage vector

Reference resolution

Outbound references

Pith citing papers