On the public citation graph
The continuum hypothesis in intuitionism
0 signed · 31 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/malq.19800261402openalex-snapshot
Brouwer and Souslin on Transfinite Cardinals
inferredcites →https://doi.org/10.1007/978-3-662-12898-5openalex-snapshot
Recursion-Theoretic Hierarchies
inferredcites →https://doi.org/10.1007/978-3-7091-9516-1_4openalex-snapshot
Ueber unendliche, lineare Punktmannichfaltigkeiten
inferredcites →https://doi.org/10.1007/bf01209181openalex-snapshot
Zur Begr�ndung der intuitionistischen Mathematik. III
inferredcites →https://doi.org/10.1007/bf01443330openalex-snapshot
Ueber unendliche, lineare Punktmannichfaltigkeiten
inferredcites →https://doi.org/10.1007/bf01449963openalex-snapshot
Zur Begr�ndung der intuitionistischen Mathematik. I.
inferredcites →https://doi.org/10.1007/bf01999476openalex-snapshot
Entwicklung der Mengenlehre und ihrer Anwendungen
inferredcites →https://doi.org/10.1016/b978-0-7204-2076-0.50049-0openalex-snapshot
Mathematics. – Beweis dass der Begriff der Menge höherer Ordnung nicht als Grundbegriff der intuitionistischen Mathematik in Betracht kommt
inferredcites →https://doi.org/10.1016/b978-0-7204-2076-0.50054-4openalex-snapshot
CONSCIOUSNESS, PHILOSOPHY, AND MATHEMATICS
inferredcites →https://doi.org/10.1016/s0049-237x(08)71525-8openalex-snapshot
Informal Rigour and Completeness Proofs
inferredcites →https://doi.org/10.1016/s1385-7258(52)50060-xopenalex-snapshot
Over accumulatiekernen van oneindige kernsoorten
inferredcites →https://doi.org/10.1111/j.1468-0149.1978.tb00090.xopenalex-snapshot
CHOICE SEQUENCES: A Chapter of Intuitionistic Mathematics
inferredcites →https://doi.org/10.2307/2313661openalex-snapshot
The Foundations of Intuitionistic Mathematics.
inferredcites →https://doi.org/10.2307/2964110openalex-snapshot
On weak completeness of intuitionistic predicate logic
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/malq.19800261402openalex-snapshot
Brouwer and Souslin on Transfinite Cardinals
inferred← citeshttps://doi.org/10.1007/978-1-4020-9374-6_12openalex-snapshot
The Problem of Determinacy of Infinite Games from an Intuitionistic Point of View
inferred← citeshttps://doi.org/10.1007/bf00247186openalex-snapshot
Intuitionism: An introduction to a seminar
inferred← citeshttps://doi.org/10.1007/s00153-003-0207-xopenalex-snapshot
An intuitionistic proof of Kruskal?s theorem
inferred← citeshttps://doi.org/10.1007/s10479-013-1404-6openalex-snapshot
Using Brouwer’s continuity principle to pick stocks
inferred← citeshttps://doi.org/10.1007/s10699-004-3065-zopenalex-snapshot
On the Foundations of Constructive Mathematics – Especially in Relation to the Theory of Continuous Functions
inferred← citeshttps://doi.org/10.1016/j.indag.2017.05.007openalex-snapshot
Retracing Cantor’s first steps in Brouwer’s company
inferred← citeshttps://doi.org/10.1016/j.indag.2018.06.005openalex-snapshot
The Creating Subject, the Brouwer–Kripke Schema, and infinite proofs
inferred← citeshttps://doi.org/10.1016/s0049-237x(09)70502-6openalex-snapshot
Problematic Principles in Constructive Mathematics
inferred← citeshttps://doi.org/10.1017/s0960129517000172openalex-snapshot
Validating Brouwer's continuity principle for numbers using named exceptions
inferred← citeshttps://doi.org/10.1080/01445349208837203openalex-snapshot
Spreads or choice sequences?
inferred← citeshttps://doi.org/10.1145/2854065.2854077openalex-snapshot
A nominal exploration of intuitionism
inferred← citeshttps://doi.org/10.1365/s13291-021-00230-8openalex-snapshot
Intuitionism: An Inspiration?
inferred← citeshttps://doi.org/10.4115/jla.2022.14.5openalex-snapshot
Projective sets, intuitionistically
inferred← citeshttps://doi.org/10.48550/arxiv.1612.02849openalex-snapshot
Retracing Cantor's first steps in Brouwer's company
inferred← citeshttps://doi.org/10.48550/arxiv.2108.05735openalex-snapshot
Indeterministic finite-precision physics and intuitionistic mathematics
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.