On the public citation graph
Lectures on intuitionism
0 signed · 99 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.1007/978-3-642-88664-5openalex-snapshot
Vollständige Systeme modaler und intuitionistischer Logik
inferredcites →https://doi.org/10.1007/bf01186549openalex-snapshot
Zur Deutung der intuitionistischen Logik
inferredcites →https://doi.org/10.1007/bf01206621openalex-snapshot
Zur Begründung der intuitionistischen Mathematik. II
inferredcites →https://doi.org/10.1007/bf01209181openalex-snapshot
Zur Begr�ndung der intuitionistischen Mathematik. III
inferredcites →https://doi.org/10.1007/bf01360048openalex-snapshot
On disjunctions and existential statements in intuitionistic systems of logic
inferredcites →https://doi.org/10.1007/bf01449963openalex-snapshot
Zur Begr�ndung der intuitionistischen Mathematik. I.
inferredcites →https://doi.org/10.1007/bf01458382openalex-snapshot
Besitzt jede reelle Zahl eine Dezimalbruchentwicklung?
inferredcites →https://doi.org/10.1007/bf02028143openalex-snapshot
Die intuitionistische Grundlegung der Mathematik
inferredcites →https://doi.org/10.1007/bf02297268openalex-snapshot
Informal theory of choice sequences
inferredcites →https://doi.org/10.1016/0003-4843(70)90001-xopenalex-snapshot
Formal systems for some branches of intuitionistic analysis
inferredcites →https://doi.org/10.1016/s0049-237x(08)70515-9openalex-snapshot
Saturated Intuitionistic Theories
inferredcites →https://doi.org/10.1016/s0049-237x(08)70527-5openalex-snapshot
A Survey of Some Connections Between Classical, Intuitionistic and Minimal Logic
inferredcites →https://doi.org/10.1016/s0049-237x(08)70738-9openalex-snapshot
The Ultra-Intuitionistic Criticism and the Antitraditional Program for Foundations of Mathematics
inferredcites →https://doi.org/10.1016/s0049-237x(08)70745-6openalex-snapshot
A Theory of Constructions Equivalent to Arithmetic
inferredcites →https://doi.org/10.1016/s0049-237x(08)70748-1openalex-snapshot
Projections of Lawless Sequences
inferredcites →https://doi.org/10.1016/s0049-237x(08)70752-3openalex-snapshot
A Characterization of the Intuitionistic Propositional Calculus
inferredcites →https://doi.org/10.1016/s0049-237x(08)70754-7openalex-snapshot
An Abstract Notion of Realizability for Which Intuitionistic Predicate Calculus is Complete
inferredcites →https://doi.org/10.1016/s0049-237x(08)70845-0openalex-snapshot
A Survey of Proof Theory II
inferredcites →https://doi.org/10.1016/s0049-237x(08)70847-4openalex-snapshot
Hauptsatz for the Intuitionistic Theory of Iterated Inductive Definitions
inferredcites →https://doi.org/10.1016/s0049-237x(08)70849-8openalex-snapshot
Ideas and Results in Proof Theory
inferredcites →https://doi.org/10.1016/s0049-237x(08)71196-0openalex-snapshot
The Theory of Choice Sequences
inferredcites →https://doi.org/10.1016/s0049-237x(08)71685-9openalex-snapshot
Semantical Analysis of Intuitionistic Logic I
inferredcites →https://doi.org/10.1016/s0049-237x(08)x7038-7openalex-snapshot
Intuitionistic Logic Model Theory and Forcing
inferredcites →https://doi.org/10.1016/s0049-237x(08)x7039-9openalex-snapshot
The Collected Papers of Gerhard Gentzen
inferredcites →https://doi.org/10.1016/s0049-237x(08)x7073-9openalex-snapshot
Intuitionism An Introduction
inferredcites →https://doi.org/10.1016/s1385-7258(64)50066-9openalex-snapshot
A Philosophically Plausible Formal Interpretation of Intuitionistic Logic
inferredcites →https://doi.org/10.1016/s1385-7258(70)80014-2openalex-snapshot
Notes on the intuitionistic theory of sequences (II)
inferredcites →https://doi.org/10.1016/s1385-7258(70)80030-0openalex-snapshot
Notes on the intuitionistic theory of sequences (III)
inferredcites →https://doi.org/10.1016/s1385-7258(71)80052-5openalex-snapshot
Independence problems in subsystems of intuitionistic arithmetic
inferredcites →https://doi.org/10.1017/s0022481200039876openalex-snapshot
Stanisław Jaśkowski. Recherches sur le système de la logique intuitioniste. Actes du Congrès International de Philosophie Scientifique, VI Philosophie des mathématiques, Actualités scientifiques et industrielles 393, Hermann & Cie, Paris 1936, pp. 58–61.
inferredcites →https://doi.org/10.1017/s0022481200127094openalex-snapshot
Second Scandinavian Logic Symposium
inferredcites →https://doi.org/10.1090/pspum/005/0154801openalex-snapshot
Provably recursive functionals of analysis: a consistency proof of analysis by an extension of principles formulated in current intuitionistic mathematics
inferredcites →https://doi.org/10.1090/s0002-9947-1953-0055952-4openalex-snapshot
Propositional Calculus and Realizability
inferredcites →https://doi.org/10.1090/s0002-9947-1959-0102480-9openalex-snapshot
Recursive functionals and quantifiers of finite types. I
inferredcites →https://doi.org/10.2307/2270047openalex-snapshot
On the strong semantical completeness of the intuitionistic predicate calculus
inferredcites →https://doi.org/10.2307/2270450openalex-snapshot
Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis
inferredcites →https://doi.org/10.2307/2271658openalex-snapshot
Intensional interpretations of functionals of finite type I
inferredcites →https://doi.org/10.2307/2313661openalex-snapshot
The Foundations of Intuitionistic Mathematics.
inferredcites →https://doi.org/10.2307/2316720openalex-snapshot
Theory of Recursive Functions and Effective Computability.
inferredcites →https://doi.org/10.2307/2963675openalex-snapshot
Disjunction and existence under implication in elementary intuitionistic formalisms
inferredcites →https://doi.org/10.2307/2964012openalex-snapshot
A remark on free choice sequences and the topological completeness proofs
inferredcites →https://doi.org/10.2307/2964110openalex-snapshot
On weak completeness of intuitionistic predicate logic
inferredcites →https://doi.org/10.2307/2964291openalex-snapshot
Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae
inferredcites →https://doi.org/10.4064/fm-54-1-73-93openalex-snapshot
Recursive objects in all finite types
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/9780470755501.ch8openalex-snapshot
Science as A Triumph of the Human Spirit and Science in Crisis: Husserl and the Fortunes of Reason
inferred← citeshttps://doi.org/10.1007/978-3-319-22686-6_3openalex-snapshot
Kreisel’s Theory of Constructions, the Kreisel-Goodman Paradox, and the Second Clause
inferred← citeshttps://doi.org/10.1007/978-3-540-87531-4_14openalex-snapshot
A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms
inferred← citeshttps://doi.org/10.1007/978-94-009-7066-3_6openalex-snapshot
Algorithms and Decision Problems: A Crash Course in Recursion Theory
inferred← citeshttps://doi.org/10.1007/978-94-009-9056-2_12openalex-snapshot
The Interplay Between Logic and Mathematics: Intuitionism
inferred← citeshttps://doi.org/10.1007/978-94-009-9825-4_5openalex-snapshot
Equality in the Presence of Apartness
inferred← citeshttps://doi.org/10.1007/978-94-010-1138-9_4openalex-snapshot
Axioms for Intuitionistic Mathematics Incompatible with Classical Logic
inferred← citeshttps://doi.org/10.1007/978-94-015-8334-3_3openalex-snapshot
The Philosophy of Arithmetic: Frege and Husserl
inferred← citeshttps://doi.org/10.1007/978-94-015-9833-0_4openalex-snapshot
Algorithms and Decision Problems: A Crash Course in Recursion Theory
inferred← citeshttps://doi.org/10.1007/978-94-017-1592-8_13openalex-snapshot
Realizability and Intuitionistic Logic
inferred← citeshttps://doi.org/10.1007/bf00247187openalex-snapshot
Constructions, proofs and the meaning of logical constants
inferred← citeshttps://doi.org/10.1007/bf00257838openalex-snapshot
Skolem's paradox and constructivism
inferred← citeshttps://doi.org/10.1007/bf00869406openalex-snapshot
Phenomenology and mathematical knowledge
inferred← citeshttps://doi.org/10.1007/bf01084980openalex-snapshot
Theory of proofs (arithmetic and analysis)
inferred← citeshttps://doi.org/10.1007/bfb0079563openalex-snapshot
Markov's principle and Markov's rule for theores of choice sequences
inferred← citeshttps://doi.org/10.1016/0003-4843(78)90029-3openalex-snapshot
An interpretation of intuitionistic analysis
inferred← citeshttps://doi.org/10.1016/0003-4843(82)90010-9openalex-snapshot
Concepts of general topology in constructive mathematics and in sheaves, II
inferred← citeshttps://doi.org/10.1016/s0049-237x(08)71127-3openalex-snapshot
Aspects of Constructive Mathematics
inferred← citeshttps://doi.org/10.1016/s0049-237x(08)71265-5openalex-snapshot
Intuitionistic Analysis: The Search for Axiomatization and Understanding
inferred← citeshttps://doi.org/10.1016/s0049-237x(09)70161-2openalex-snapshot
Intuitionistic formal systems
inferred← citeshttps://doi.org/10.1016/s0049-237x(98)80013-xopenalex-snapshot
Chapter 12 A bibliography of recursive analysis and recursive topology
inferred← citeshttps://doi.org/10.1016/s0168-0072(97)00058-4openalex-snapshot
Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I
inferred← citeshttps://doi.org/10.1017/cbo9780511498589openalex-snapshot
Phenomenology, Logic, and the Philosophy of Mathematics
inferred← citeshttps://doi.org/10.1017/cbo9780511498589.001openalex-snapshot
Introduction: Themes and Issues
inferred← citeshttps://doi.org/10.1017/cbo9780511498589.002openalex-snapshot
Science as a Triumph of the Human Spirit and Science in Crisis: Husserl and the Fortunes of Reason
inferred← citeshttps://doi.org/10.1017/cbo9780511498589.003openalex-snapshot
Mathematics and Transcendental Phenomenology
inferred← citeshttps://doi.org/10.1017/cbo9780511498589.004openalex-snapshot
Free Variation and the Intuition of Geometric Essences: Some Reflections on Phenomenology and Modern Geometry
inferred← citeshttps://doi.org/10.1017/cbo9780511498589.005openalex-snapshot
Kurt Gödel and Phenomenology
inferred← citeshttps://doi.org/10.1017/cbo9780511498589.006openalex-snapshot
Gödel's Philosophical Remarks on Logic and Mathematics
inferred← citeshttps://doi.org/10.1017/cbo9780511498589.007openalex-snapshot
Gödel's Path from the Incompleteness Theorems (1931) to Phenomenology (1961)
inferred← citeshttps://doi.org/10.1017/cbo9780511498589.008openalex-snapshot
Gödel and the Intuition of Concepts
inferred← citeshttps://doi.org/10.1017/cbo9780511498589.009openalex-snapshot
Gödel and Quine on Meaning and Mathematics
inferred← citeshttps://doi.org/10.1017/cbo9780511498589.010openalex-snapshot
Maddy on Realism in Mathematics
inferred← citeshttps://doi.org/10.1017/cbo9780511498589.011openalex-snapshot
Penrose on Minds and Machines
inferred← citeshttps://doi.org/10.1017/cbo9780511498589.012openalex-snapshot
Intuitionism, Meaning Theory, and Cognition
inferred← citeshttps://doi.org/10.1017/cbo9780511498589.013openalex-snapshot
The Philosophical Background of Weyl's Mathematical Constructivism
inferred← citeshttps://doi.org/10.1017/cbo9780511498589.014openalex-snapshot
Proofs and Fulfillable Mathematical Intentions
inferred← citeshttps://doi.org/10.1017/cbo9780511498589.015openalex-snapshot
Logicism, Impredicativity, Formalism: Some Remarks on Poincaré and Husserl
inferred← citeshttps://doi.org/10.1017/cbo9780511498589.016openalex-snapshot
The Philosophy of Arithmetic: Frege and Husserl
inferred← citeshttps://doi.org/10.1017/s0022481200027912openalex-snapshot
Constructive validity is nonarithmetic
inferred← citeshttps://doi.org/10.1023/a:1004881914911openalex-snapshot
Five Observations Concerning the Intended Meaning of the Intuitionistic Logical Constants
inferred← citeshttps://doi.org/10.1023/a:1021247624209openalex-snapshot
Gödel And The Intuition Of Concepts
inferred← citeshttps://doi.org/10.1093/logcom/exae034openalex-snapshot
Serial properties, selector proofs and the provability of consistency
inferred← citeshttps://doi.org/10.1093/philmat/8.3.274openalex-snapshot
The philosophical Background of Weyl's Mathematical Constructivism†
inferred← citeshttps://doi.org/10.1111/j.1933-1592.2005.tb00509.xopenalex-snapshot
Free Variation and the Intuition of Geometric Essences: Some Reflections on Phenomenology and Modern Geometry
inferred← citeshttps://doi.org/10.1305/ndjfl/1093635833openalex-snapshot
Incompleteness in intuitionistic metamathematics.
inferred← citeshttps://doi.org/10.2307/2271877openalex-snapshot
An intuitionistically plausible interpretation of intuitionistic logic
inferred← citeshttps://doi.org/10.2307/421022openalex-snapshot
Gödel's Path from the Incompleteness Theorems (1931) To Phenomenology (1961)
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.